基于时间约束的分区覆盖测试用例生成方法第十九届全国容错计算学术会议 CFTC 2021

报告详情

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

编号：96 访问权限：仅限参会人更新：2021-12-07 10:20:09 浏览：268次口头报告

报告开始：2021年12月12日 10:45（Asia/Shanghai）

报告时间：15min

所在会场：[S2] 论文报告会场2 [S2.4] Session 4 软件测试

暂无文件

摘要

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