嵌入式软件仿真与覆盖测试工具的研究与实现
文献类型 | 学位 |
作者 | 魏光新[1] |
机构 | 北京航空航天大学 ↓ |
授予学位 | 硕士 |
年度 | 2003 |
学位授予单位 | 北京航空航天大学 |
语言 | 中文 |
关键词 | 嵌入式软件;逻辑覆盖;覆盖测试;仿真;指令级仿真器 |
摘要 | 该文描述的是对MCS-51单片机进行仿真以及对汇编程序进行覆盖测试的工具——EST的设计与实现.作为一个完整的、实用的测试工具,其目的是要改善嵌入式软件开发、测试中发展滞后的状况.该文所描述的,就是一种较适合于针对嵌入式软件的测试方法,它将在目标系统中运行的程序,放在宿主机上专门构造的仿真环境中,通过仿真运行,来获得覆盖测试结果.为提高嵌入式软件的质量保证提供了一种工具支持.该文以嵌入式软件在航天领域的实际需求为背景,结合仿真技术的发展,介绍了该系统的工作原理、关键技术和难点,对其中层次化的仿真器模型进行了分析和总结,对覆盖测试方法和途径进行了分析和比较. |
影响因子:
dc:title:嵌入式软件仿真与覆盖测试工具的研究与实现
dc:creator:魏光新
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media:北京航空航天大学
dc:identifier: LnterrelatedLiterature:北京航空航天大学.2003.
dc:identifier:DOI:
dc: identifier:ISBN: