沃新书屋 - 基于模型的测试:一个软件工艺师的方法 - 出版社:冶金工业出版社/机械工业出版社

冶金工业出版社/机械工业出版社

出版社信息:

类型:

成立时间:

出版社特色:

出版社简介:

暂无相关内容,正在全力查找中


基于模型的测试:一个软件工艺师的方法书籍相关信息

基于模型的测试:一个软件工艺师的方法精美图片

内容简介:

本书是知名的“Craftsman”系列软件测试书籍中的新作,主要讨论基于模型的测试(MBT)技术。作为一门手艺而非艺术,其关键在于:对被测软件或系统的理解,选择合适工具的能力,以及使用这些工具的经验。围绕这三个方面,书中不仅综合阐述了MBT的理论知识及工具,而且分享了作者的实战经验。 本书共两个部分:第一部分讲解理论知识,介绍了9种不同的测试模型,包括流程图、决策表、有限状态机、Petri网和UML等;第二部分关注工具及实践,介绍了6个商用的MBT产品和6个开源的MBT工具,包括Yest、CertifyIt、TestOptimal和ModelJUnit 2.5等。书中设计了两个贯穿各章的例子,一个简单的保费计算系统,一个事件驱动的车库门控系统,以帮助读者深入理解建模过程和工具的应用技巧。