游客,欢迎访问首都图书馆! 帮助中心 您的建议
| 纸书荐购 | 收藏

作者:

出版社:

西南交通大学出版社
出版时间:2019.07
ISBN:978-7-5643-6939-2

本书共分15章,主要包括软件工程与软件测试软件测试概论、软件测试基础知识、软件测试过程、黑盒测试、白盒测试、自动化测试技术及其工具、性能测试、面向对象测试、软件测试管理以及软件测试文档模板等相关内容。

作者:

出版社:

四川大学出版社
出版时间:2012.01
ISBN:978-7-5614-5729-0

本书系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法,其中包括UML模型图到B方法形式规约的比较全面的转换方法。