基于动态Wright体系结构描述语言测试方法

作者：刘宜鑫; 伦立军软件体系结构软件测试路径生成dynamicwright标号迁移系统

摘要：软件体系结构测试是对构件功能描述和接口描述的测试，是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构层配置信息的测试方法，该方法用Dynamic Wright描述软件系统的体系结构及对系统配置信息进行新从配置，利用标号迁移系统LTS描述软件系统的状态变化及迁移信息，指导测试路径生成。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社