HI,欢迎来到学术之家,期刊咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

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

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

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

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

科学技术创新

《科学技术创新》(CN:23-1600/N)是一本有较高学术价值的大型旬刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《科学技术创新》杂志以刊登实用信息技术转让科研成果为主要内容,侧重于科研成果转让,同时为广大科技、经济工作者提供一个展示平台,以弘扬科教兴国、科学技术是第一生产力为办刊宗旨,读者对象为广大科技、经济教育工作者和中小企业。

杂志详情