超级会员免费看
实时嵌入式软件自动化测试描述技术解析
1. 形式化方法助力实时嵌入式软件测试自动化
形式化方法的引入有助于提高实时嵌入式软件测试的自动化程度，这是软件测试的未来趋势和方向。基于形式化方法的嵌入式软件系统测试技术，首先对软件形式化测试技术进行了全面总结和梳理，重点介绍了基于有限状态机（FSM）和扩展有限状态机（EFSM）的测试技术。给出了实时扩展有限状态机模型（RT - EFSM），并深入研究了模型验证技术，为后续基于RT - EFSM的测试用例生成奠定了基础。
2. 测试描述概念与分类
2.1 测试描述概念
随着现代软件产业的发展，软件规模日益增大，传统的手动软件测试效率低下。当软件规模很大时，测试代码数量众多，这必然导致软件测试成本增加和测试周期变长。建立可维护、有效的软件测试可以大大降低工程成本，因此软件测试自动化的需求日益迫切。
实时嵌入式软件由于其复杂的运行环境和接口交联关系，对实时测试输入和反馈处理要求较高，传统手动测试难以保证有效性。因此，越来越多的研究将自动化测试技术引入实时嵌入式软件测试领域。
实时嵌入式软件自动化测试本质上基于用户编程测试，引入测试描述技术是实现测试自动化的有效手段，它可以减轻测试人员的工作量，提高软件测试的可维护性。同时，增强测试描述语言的可移植性有利于实现跨平台，提高测试代码的可重用性和测试的可重复性。
测试描述的目的包括：定义测试用例运行场景；允许测试人员自定义测试“元数据”；便于在特定测试平台上运行。测试描述主要是对测试用例的描述，目前尚无测试描述的标准或规范。
一个好的测试描述方法应具备以下特点：
- 准确清晰，无歧义；
订阅专栏 解锁全文
扫一扫
5953
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
