公开(公告)号：CN102053910A

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

申请号：CN201010554273.2

申请日：2010-11-18

Applicant: 西北工业大学

Inventor： 董云卫 ,  张凡 ,  孙博 ,  路晓丽 ,  周兴社

IPC: G06F11/36

Abstract: 本发明涉及一种基于AADL模态蜕变关系的嵌入式软件测试方法，技术特征在于：基于AADL架构模型文件中的模态信息，构造模态迁移图，根据改进的深度优先遍历算法将该图转换成蜕变测试需要的模态关系树。通过遍历该模态关系树，构造出模态蜕变关系中的源测试用例，然后借助由AADL模型中的模态蜕变关系生成后续测试用例，验证模态蜕变关系，得出蜕变测试的结论。解决了嵌入式软件测试中存在的“Oracle问题”，方便用户在软件设计的早期对嵌入式软件进行测试，在系统的架构级别保证软件的可靠性，如果模型架构不能满足相应的要求，可以在开发的早期修改软件的架构，这样不仅节约了开发成本，同时也可以缩短开发周期。

公开(公告)号：CN102053910B

公开(公告)日：2013-01-16

申请号：CN201010554273.2

申请日：2010-11-18

Applicant: 西北工业大学

Inventor： 董云卫 ,  张凡 ,  孙博 ,  路晓丽 ,  周兴社

IPC: G06F11/36

Abstract: 本发明涉及一种基于AADL模态蜕变关系的嵌入式软件测试方法，技术特征在于：基于AADL架构模型文件中的模态信息，构造模态迁移图，根据改进的深度优先遍历算法将该图转换成蜕变测试需要的模态关系树。通过遍历该模态关系树，构造出模态蜕变关系中的源测试用例，然后借助由AADL模型中的模态蜕变关系生成后续测试用例，验证模态蜕变关系，得出蜕变测试的结论。解决了嵌入式软件测试中存在的“Oracle问题”，方便用户在软件设计的早期对嵌入式软件进行测试，在系统的架构级别保证软件的可靠性，如果模型架构不能满足相应的要求，可以在开发的早期修改软件的架构，这样不仅节约了开发成本，同时也可以缩短开发周期。