公开(公告)号：CN102063369B

公开(公告)日：2014-03-12

申请号：CN201010610279.7

申请日：2010-12-23

Applicant: 西北工业大学

Inventor： 董云卫 ,  张云峰 ,  马春燕 ,  张凡 ,  周伟超 ,  朱宇峰

IPC: G06F11/36

Abstract: 本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动机的验证工具，对AADL模型模态转换的正确性及时间属性进行验证。本发明方法能够在嵌入式软件设计早期阶段对模型实施测试，尽早发现软件模型的正确性和实时性是否满足设计需求，及时修订设计方案，从而缩短了嵌入式实时系统开发的周期并节约了开发成本。

公开(公告)号：CN102063369A

公开(公告)日：2011-05-18

申请号：CN201010610279.7

申请日：2010-12-23

Applicant: 西北工业大学

Inventor： 董云卫 ,  张云峰 ,  马春燕 ,  张凡 ,  周伟超 ,  朱宇峰

IPC: G06F11/36

Abstract: 本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动机的验证工具，对AADL模型模态转换的正确性及时间属性进行验证。本发明方法能够在嵌入式软件设计早期阶段对模型实施测试，尽早发现软件模型的正确性和实时性是否满足设计需求，及时修订设计方案，从而缩短了嵌入式实时系统开发的周期并节约了开发成本。