时间属性的软件建模与验证方法2018.9许海洋, 王萍, 著 软件验证与确认2011.4刘斌, 主编 数学建模方法与实用软件2014.5黄世华, 编著 数学建模方法与软件实现2012.10王爱文, 等编著 软件的质量、软件的分析、测试与验证2009.06(德) 里格斯麦尔 (Liggersmeyer,P.) , 著 软件工程与建模2010.8王长元, 赵莉, 王淑蓉, 编著 基于模型的软件验证与测试2013.8郑炜, 编著 软件安全性需求形式化建模和验证2019.11李震, 著 软件性能测试学习笔记之LoadRunner实战2018.151Testing软件测试网, 组编 软件工程及软件建模2019.8朱建凯, 主编 软件方法2018.潘加宇, 著 数学建模与数学软件2012.6杨云峰, 胡金燕, 宋国亮, 主编 软件方法2013.潘加宇, 编著 方程建模与MATLAB软件2016.司守奎, 孙玺菁, 王兴平, 周刚, 编著 软件工程之全程建模实现2010.8青润, 著