Presentation Details
  1. Home
  2. Presentation List
  3. Presentation Details
基于时间约束的分区覆盖测试用例生成方法
ID：96 View Protection：ATTENDEE Updated Time：2021-12-07 10:20:09 Hits：451 Oral Presentation

Start Time：2021-12-12 10:45（Asia/Shanghai）

Duration：15min

Session：S2 论文报告会场2 » S2.4Session 4 软件测试

No files

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

Submission Author
仵林博 中国工程物理研究院计算机应用研究所； 南京大学
Submit Comment
Verify Code Change Another
All Comments
Important Date

  • Conference Date

    Dec 11

    2021

    to

    Dec 12

    2021

  • Aug 18 2021

    Registration deadline

Sponsored By
中国计算机学会
Organized By
中国计算机学会容错计算专业委员会
同济大学软件学院
Contact Information
Login to view full contact details
Previous Conferences