文献详情


实时嵌入式软件测试技术及支持工具的研究与开发

文献类型	学位
作者	靳若明[1]
机构	北京航空航天大学 ↓
授予学位	硕士
年度	1999
学位授予单位	北京航空航天大学
语言	中文
关键词	实时嵌入式软件;软件测试;测试工具;静态时间分析
摘要	该课题通过对实时嵌入式软件测试技术的研究,实现了一个支持实时嵌入式软件静态分析和动态结构测试的软件测试工具SafePro/RESTT.它是为改善当前实时嵌入式软件测试状况所进行的一种有益探索.同时也是北航软件所从通用软件测试工具的研究向实时嵌入式软件测试工具的研究过渡的重要尝试.该文的研究内容如下:首先研究了实时嵌入式软件的特性,将其总结为具有严格时间约束、硬件约束、功能约束和质量约束的软件;在此基础上研究了由约束所引发的测试问题,以及对这些问题的研究现状和解决方法.通过对实时嵌入式软件特点和结构的研究,提出了将实时嵌入式软件的测试划分为单元、包/类、程序、子系统和系统等五个测试阶段进行,并在测试实施时采取宿主机和目标机环境选择策略.针对实时嵌入式软件测试的特点,并根据实际需求制定了实时嵌入式软件测试工具SafePro/RESST的功能目标,并最终设计和实现了SafePro/RESTT.

影响因子：


暂无成果共有人
dc:title:实时嵌入式软件测试技术及支持工具的研究与开发
dc:creator:靳若明
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media：北京航空航天大学
dc:identifier: LnterrelatedLiterature：北京航空航天大学.1999.
dc:identifier:DOI：
dc: identifier:ISBN: