2018年12月10日
UML-Based Modeling of Robustness Testing
摘要： 一、基本信息 标题：UML Based Modeling of Robustness Testing 时间：2014 出版源：IEEE会议论文 领域分类：稳健性测试；UML测试Prole；UML Prole扩展；案例分析 二、研究背景 问题定义：基于UML的鲁棒性测试建模 难点：测试的标准化； 相关 阅读全文
posted @ 2018-12-10 14:20 Icebrag 阅读(273) 评论(0) 推荐(0) 编辑
SAwUML – UML-based, contractual software architectures and their formal analysis using SPIN
摘要： 一、基本信息 标题：SAwUML – UML based, contractual software architectures and their formal analysis using SPIN 时间：2018 出版源：Computer Languages, Systems & Struct 阅读全文
posted @ 2018-12-10 12:43 Icebrag 阅读(275) 评论(0) 推荐(0) 编辑