作者:
出版社:
本书共分15章,主要包括软件工程与软件测试软件测试概论、软件测试基础知识、软件测试过程、黑盒测试、白盒测试、自动化测试技术及其工具、性能测试、面向对象测试、软件测试管理以及软件测试文档模板等相关内容。
本书系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法,其中包括UML模型图到B方法形式规约的比较全面的转换方法。