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

摘要

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