摘要详情

ID / 提交时间

4 / 2021-12-06 17:48:59

标题

基于时间约束的分区覆盖测试用例生成方法

关键字

时间约束；时序语义扩展；分区覆盖；测试用例自动生成

主题及专题

Session 4: 软件测试

状态

终稿

作者

仵林博 / 中国工程物理研究院计算机应用研究所；南京大学

摘要

针对传统的基于人工时序测试设计方法难以系统地考虑测试场景中大量的时间约束、时间约束之间相互依赖关系，本文提取嵌入式软件常见的时间约束和时序关系特性，对现有的活动模型图进行时序语义扩展，将不同任务的执行时间之间的时间约束和特定关系进行精确、定量描述，依据基于时间约束的分区覆盖准则，实现了基于用户不同风险级别的测试用例自动生成，最后结合一个典型实时嵌入式软件系统，在研制工具中应用验证了该设计方法的有效性。