| 基于UML模型的嵌入式软件测试用例生成方法 |
| |
| 引用本文： | 黄晨,段永颢.基于UML模型的嵌入式软件测试用例生成方法[J].空间控制技术与应用,2013,39(1):57-62. |
| |
| 作者姓名： | 黄晨 段永颢 |
| |
| 作者单位： | 北京控制工程研究所,北京,100190 |
| |
| 基金项目： | 国家自然科学基金资助项目(91118007) |
| |
| 摘 要： | 软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言(UML)状态图生成测试用例集的方法,根据状态、迁移不变性原则以及动作映射,将UML状态图转换为扩展有限状态机(EFSM),采用广度优先搜索满足状态、迁移覆盖准则,由测试序列建立查找表生成测试用例集.最后给出实例说明该方法的可行性和有效性.
|
| 关 键 词： | 嵌入式软件 测试用例 UML状态图 EFSM |
Generation Method of Embedded Software Testing Cases Based on UML Model |
| |
| HUANG Chen,DUAN Yonghao.Generation Method of Embedded Software Testing Cases Based on UML Model[J].Aerospace Contrd and Application,2013,39(1):57-62. |
| |
| Authors: | HUANG Chen DUAN Yonghao |
| |
| Institution: | (Beijing Institute of Control Engineering,Beijing 100190,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《空间控制技术与应用》浏览原始摘要信息 |
| 点击此处可从《空间控制技术与应用》下载免费的PDF全文 |
|
