王轶辰

人物简介:

保罗·C. 乔根森(Paul C.Jorgensen) 软件工程领域的知名学者,大峡谷州立大学荣誉退休教授,在软件产业界和教育界拥有50多年的从业经验。在职业生涯的前20年中,他主要从事工业软件开发和管理工作。1986年以来,他一直在大学为研究生讲授软件工程课程并进行相关研究。他著有《Software Testing:A Craftsman's Approach》和《Modeling Software Behavior:A Craftsman's Approach》等书籍,在程序员中影响甚广。

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


内容简介:

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