具有状态图的面向对象软件的最小测试用例生成 电子书下载

原名:Minimal TestCase Generation for Object-Oriented Software with State Charts
作品简介:我们的测试生成技术的一个特点是，它通过测试生成技术、测试序列生成、状态图/状态图、扩展 JUnit 以支持基于模型的测试的测试用例库来优化测试覆盖率。它允许我们编写简单的 FSM 。塔塔·麦格劳-希尔，第二版。……