摘要:
一、基本信息 标题:UML Based Modeling of Robustness Testing 时间:2014 出版源:IEEE会议论文 领域分类:稳健性测试;UML测试Prole;UML Prole扩展;案例分析 二、研究背景 问题定义:基于UML的鲁棒性测试建模 难点:测试的标准化; 相关 阅读全文
摘要:
一、基本信息 标题:SAwUML – UML based, contractual software architectures and their formal analysis using SPIN 时间:2018 出版源:Computer Languages, Systems & Struct 阅读全文