基于状态转移图的箭载软件时序控制测试用例生成方法

发布时间：2022-11-12 10:31

　　为提升箭载嵌入式软件测试的效率和质量,针对箭载软件时序控制这一测试需求,文章提出了一种基于状态转移图的测试用例自动生成算法设计方法;具体分析步骤为首先分析时序控制特性,其次选取状态转移图来表征,自定义所需图元属性以及图元关系、触发条件全面性与一致性的约束条件从而保证模型合理性;再次采用基路径覆盖、转移对覆盖、条件元覆盖3种覆盖准则相结合方式实现测试用例的自动生成;最后以某箭上软件全飞行周期时序控制为基础,多次结果表明该方法生成的软件测试用例可完全覆盖时序控制功能和性能需求,验证了方法的有效性和稳定性,可为箭载软件自动化测试工程化实践提供一定的借鉴。 

【文章页数】：4 页

【文章目录】：
0 引言
1 时序控制特性分析
2 状态转移图设计
    2.1 图元属性定义
    2.2 语法约束
        2.2.1 基本图元关系约束
        2.2.2 触发条件全面性与一致性约束
3 测试用例自动生成算法
    3.1 基路径覆盖准则
    3.2 转移对覆盖准则
    3.3 路径相关的状态转移条件判断
    3.4 条件元覆盖
4 算法结果验证
5 结束语


【参考文献】：
期刊论文
[1]UML测试用例自动生成方法研究[J]. 张卉,高仲合,黄铭,任志迁.  电子技术. 2016(04)
[2]UML状态图的测试用例自动生成[J]. 佟轶,董碧丹.  微计算机信息. 2011(09)
[3]基于UML状态图的测试用例自动生成方法[J]. 杨晶,顾春华.  华东理工大学学报(自然科学版). 2011(03)
[4]软件测试工具综述[J]. 王雅文,宫云战,杨朝红.  北京化工大学学报(自然科学版). 2007(S1)

硕士论文
[1]基于混沌遗传算法的测试用例自动生成研究[D]. 黄陈辉.上海师范大学 2019
[2]嵌入式箭载计算机控制软件测试关键技术研究[D]. 林晨.上海交通大学 2014
[3]箭载飞行控制软件通用仿真动态测试平台研究和实现[D]. 王海燕.同济大学 2007



本文编号：3706204