测试方法、测试系统、及其程序

摘要

在用于对一对象中的状态进行验证所使用的测试系统、测试方法、以及程序中，预先将一预定状态定义为该对象所采用的状态当中的中间状态。在使得在该对象中出现了从先前状态转换至下一状态这样的转换时，使得在该对象中出现了从先前状态转换至中间状态这样的转换。此后，该对象使得从中间状态转换至下一状态。为此目的，该测试系统存储从先前状态转换至中间状态这样的中间状态转换过程以及从中间状态转换至下一状态这样的自状态转移过程。

主权项

1、一种通过利用计算机而使一对象中出现了从第一验证的结束状态转换至第二验证的起始状态这样的一转换来对该对象进行验证的测试方法，包括步骤：使该对象中出现了从第一验证的结束状态转换至预定中间状态的第一转换；以及此后使该对象中出现了从中间状态转换至第二验证的起始状态的第二转换。