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