基于UML模型的嵌入式软件测试用例生成方法*

doi:10.3969/j.issn.1674-1579.2013.01.010

空间控制技术与应用 ›› 2013, Vol. 39 ›› Issue (1): 57-62.doi: 10.3969/j.issn.1674-1579.2013.01.010

• 技术交流 • 上一篇

基于UML模型的嵌入式软件测试用例生成方法*

摘要：软件测试是保证嵌入式软件质量的重要手段之一，测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言（UML）状态图生成测试用例集的方法，根据状态、迁移不变性原则以及动作映射，将UML状态图转换为扩展有限状态机（EFSM），采用广度优先搜索满足状态、迁移覆盖准则，由测试序列建立查找表生成测试用例集.最后给出实例说明该方法的可行性和有效性.

(北京控制工程研究所, 北京 100190)

出版日期:2013-02-24 发布日期:2013-02-26
作者简介:作者简介：黄晨（1983—），女，工程师，研究方向为软件测试；段永颢（1973—），男，研究员，研究方向为软件测试.
基金资助:
*国家自然科学基金资助项目(91118007).

Generation Method of Embedded Software Testing Cases Based on UML Model

Abstract：Software testing is an important means of ensuring embeddedsoftware quality, in which the completeness of test cases is a key factor. In this paper, a method of generating test cases based on the unified modal language (UML) state diagram is studied. According to the state, migration invariance principles and action mapping, the UML state diagram can be transformed to an extended finite state machine (EFSM). With breadthfirst search, the state and migration covering principles are satisfied. Then test cases are generated by test sequences and the lookup table. Finally, an example is given to demonstrate the feasibility and efficiency of the method.

(Beijing Institute of Control Engineering, Beijing 100190，China）

Online:2013-02-24 Published:2013-02-26

摘要/Abstract

摘要： 摘要：软件测试是保证嵌入式软件质量的重要手段之一，测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言（UML）状态图生成测试用例集的方法，根据状态、迁移不变性原则以及动作映射，将UML状态图转换为扩展有限状态机（EFSM），采用广度优先搜索满足状态、迁移覆盖准则，由测试序列建立查找表生成测试用例集.最后给出实例说明该方法的可行性和有效性.

关键词: 关键词：嵌入式软件, 测试用例, UML状态图, EFSM

Abstract: Abstract：Software testing is an important means of ensuring embeddedsoftware quality, in which the completeness of test cases is a key factor. In this paper, a method of generating test cases based on the unified modal language (UML) state diagram is studied. According to the state, migration invariance principles and action mapping, the UML state diagram can be transformed to an extended finite state machine (EFSM). With breadthfirst search, the state and migration covering principles are satisfied. Then test cases are generated by test sequences and the lookup table. Finally, an example is given to demonstrate the feasibility and efficiency of the method.

Key words: Keywords：embedded software, test case, UML state chart, EFSM

中图分类号:

TP311

黄晨, 段永颢. 基于UML模型的嵌入式软件测试用例生成方法*[J]. 空间控制技术与应用, 2013, 39(1): 57-62.

Huang-Chen, DUAN Yong-Hao. Generation Method of Embedded Software Testing Cases Based on UML Model[J]. , 2013, 39(1): 57-62.

[1]	李雷, 陈朝晖, 董晓刚, 李轶. 9基于聚类分析的软件多故障定位技术[J]. 空间控制技术与应用, 2019, 45(5): 55-.
[2]	王小丽, 段永颢 . 软件回归测试用例选取方法研究[J]. 空间控制技术与应用, 2010, 36(3): 47-50.

基于UML模型的嵌入式软件测试用例生成方法*

Generation Method of Embedded Software Testing Cases Based on UML Model

PDF (PC)

赞

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

Metrics

本文评价

推荐阅读 0