|
|||||
|
|
| 面向嵌入式软件测试的仿真建模 | |
| 作者姓名： | 蒋崇武 杨顺昆 刘斌 |
| 作者单位： | 北京航空航天大学14系011教研室,北京,100083;北京航空航天大学14系011教研室,北京,100083;北京航空航天大学14系011教研室,北京,100083 |
| 摘 要： | 论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。 |
| 关 键 词： | 嵌入式软件 软件测试 基于接口 模型驱动 |
| 文章编号： | 1000-3428（2008）04-0087-03 |
| 收稿时间： | 2007-04-25 |
| 修稿时间： | 2007-04-25 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载免费的PDF全文 | |