专利名称：测试方法、测试系统、及其程序的制作方法
技术领域：
本发明涉及一种用于对诸如汽车音频系统这样的电子设备进行测试的测试系统。
背景技术：
通常，这类电子设备除了安装有调频器之外还安装有诸如CD、盒式磁带、MD、以及DVD记录器这样的各种部件。当制造其包括有如上所述多个部件的一电子设备时，需要在交运该电子设备以前执行一测试以勘测该部件中的各种操作是否正常执行。所要测试的电子设备以下简称为对象或者对象设备。
在对其包括有多个部件的对象进行测试的过程中，需要对用户很可能使用的所有操作进行测试。因此，由于包括在该对象之内的部件数目增加了，因此所需测试的项也大大增加了。实际上，甚至存在这样一种情况，即需要花费一个月来完成该测试。
这里利用一简单示例来其进行说明。在对切断对象这样一种状态进行测试的过程中，使所切断状态的先前状态进入将电源提供给对象这样一种接通状态。类似的，用户使其构成了一部件的盒式磁带录音机从播放状态进入快速倒带状态或者进入快速进带状态或者录音状态。此外，用户可停止倾听盒式磁带录音机并且此后将当前模式切换为CD、MD、DVD、或者其他任何模式。因此，应该考虑到这样一种可能性，即如果用户将部件模式从盒式磁带切换到CD、MD、DVD、或者其他任何模式，那么用户为操作所要切换到的每个部件选择播放、暂停、停止、快速进带、及快速倒带功能中的一个。
如果该部件具有多个功能，那么需要通过切换前后的部件数目以及每个部件的功能数目来测试功能。因此，因为包括在对象之内的部件数目及每个部件的功能数目越来越增加了，因此所要测试的功能急速的增加。
通常，通过使用计算机来执行这样的一程序来对其包括有多个部件的一对象进行测试，该程序包括对与选择每个部件前后的功能相对应的一测试方案的说明。在这种情况下，利用对其随每个测试方案而变的测试过程的说明，每个测试方案定义了选择之前一部件功能中的预定状态以作为起始条件并且定义了执行之后的一状态以作为结束状态。
考虑到此，通过使用计算机来自动对该对象进行测试。在这种情况下，一控制自动的从先前的测验方案进展为随后的测验方案。然而，如果根据先前测试方案的对象的结束状态不同于根据随后测试方案的对象的起始状态，那么需要进行状态转换过程以使在该对象中出现了从先前测试方案的结束状态转换为随后测试方案的起始状态这样的一转换。
包含在电子设备之内的部件数目的增加以及其功能的增加引起了测验方案的增加以及起始状态和结束状态的增加。尤其是，状态转移前后的状态增加需要比测试方案的数目更多的大量状态转移过程。因此，需要花费大约一个月的时间来测试对象。此外，如果由于对象功能等等的变化而造成状态转移前后的状态数目改变了，那么需要配备大量的状态转移过程以及测试方案。
在下文中，通过参考图9来对上述测试方法进行更加具体的描述。所说明的测验方案1描述了一起始状态S1、一测试过程、以及一结束状态S2。另一方面，测试方案2描述了一起始状态S4、一测试过程、以及一结束状态S3。此外，测试方案3描述了一起始状态S2、一测试过程、以及一结束状态S4。
这里假定顺次执行测试方案1、2、以及3。在根据测试过程而从测试执行部件中读取测试方案1并且执行该测试之后，测试方案1进入结束状态S2。因此，为了随后执行处于起始状态S4的测试方案2，在执行测试方案1之后在测试执行部件中执行从状态S2转换为状态S4的转换过程以使得会出现转换为状态S4这样的一转换。转换为状态S4这样的转换造成了在测试执行部件中开始测试方案2的测试过程并且执行该测试过程以至其结束S3。
随后，开始转换过程以从测试方案S2的状态S3转换至测试方案3的起始状态S2。因此，在测试执行部件中执行从测试方案2的结束状态S3到测试方案3的起始状态S2的转换过程并且根据该测试过程来执行对测试方案3的测试，从而造成结束状态S4。
如上所述，如果串行的执行测试方案，那么必会导致转换为接下来所要执行的测试方案的起始状态这样的一转换。因此，如果转换是从不同源开始的，那么即使对于相同的转换目的来说状态转换往往也需要不同的过程。因此，需要分别根据转换源的状态以及转换目的的状态来定义一过程。按照这种方式，因为状态数目日益增加，转换源的状态数目以及转换目的的数目也增加了，从而使状态转换过程的定义数目也增加了。
此外，这类对象具有由于所安装设备(部件)的变化或者由于该设备的增加而使其增加的功能。其结果是，如果测试所使用的状态数目增加了，那么需要为所有的现有状态定义转换为新的状态这样的转换过程。此外，如果串行的执行测试方案，那么需要配备这样的一状态转换过程，即该状态转换过程适应于处于其的先前测试方案已被执行的结束状态以及此后测试方案的起始状态。因此，由于顺序执行过程的执行次序变化了，因此也需要改变状态转换过程。
在任何情况下，事实上所使用的测试方法具有这样的缺点，即其不能灵活的响应包含在所测试对象中的部件增加或者变化。
另一方面，公开号为No.2002-189617(文献D1)的日本未审专利公开了这样一种评估系统及评估方法，该评估系统和方法通过利用一主机(中央处理器)来对其配备有微计算机且其执行用户程序的一用户系统以及一实时操作系统进行评估。文献D1中的发明的优点在于其消除要使用评估夹具(jig)以及诸如ICE这样的特定设备的必要性。
公开号为No.Hei 10-63532(专利文献2)的日本未审专利公开了这样一种测试项发生器，该发生器用于为其运动是由微型计算机所控制的控制器产生一测试项。专利文献2中所公开的测试项产生器具有从控制器传送至微型计算机的事件信息、包含事件信息和控制器的操作内容的事件与操作之间的一对应表格以便彼此与相对应、包含从微型计算机传送至控制器的活动信息以及控制器的运动内容的活动与运动之间的一对应表格以便彼此与相对应、以及用于每个状态转换的其包含有事件信息和活动信息的一状态转换表格以便彼此相对应。
在该结构中，在从状态转换表中提取事件信息及活动信息的过程中，根据事件与操作之间的对应表格以及活动与运动之间的对应表格来对控制器的操作内容以及运动内容进行转换，并且输出转换的结果以作为一测试项。
根据该测试项产生器，即使控制器的实际规范与程序的设计规范之间不一致，也可以将当将微计算机并入控制器时所执行的测试项调节为实际规范。
在传统的技术中，然而，很难提议出这样的问题，该问题是由于对象中部件数目的增加而出现了测试方案数目的增加、状态转换过程数目的增加等等所引起的。例如，虽然文献D1公开了用于对其即就是一对象的用户系统进行评估的系统及方法，但是它既不是指主机中的测试方案也未提出在对象中的部件增加或者降低的情况下与测试方案的任何关系。
此外，文献D2只是公开了用于在其包括微计算机的控制器中产生测试项的一设备，并未公开从外部来测试对象。此外，文件D2未描述由于状态转换信息的增加所产生的任何问题。
发明内容
本发明的一个目的就是提出了这样一种测试系统以及该系统所使用的测试方法，该测试系统可防止所测试对象的功能改变所伴随的测试方案产生步骤或者产生时间的增加。
本发明的另一个目的就是提供了一程序，该程序是由如上所述的测试系统以及测试方法所使用的一计算机来执行的。
根据本发明的第一方面，提供了这样一种通过利用一计算机来对所测试的对象进行验证的测试方法，其中，当该对象使得出现了从第一验证的结束状态转换至第二验证的起始状态这样的一转换时，执行从第一验证的结束状态转换至预定中间状态的第一转换，并且此后执行从中间状态转换至第二验证的起始状态的第二转换。
由于这个特征，提供了这样的存储装置，该装置除了存储用于执行第一和第二验证的第一和第二测试方案之外，还存储其用于定义转换至中间状态的第一转换这样一过程的中间状态转换过程以及其用于定义转换至第二验证的起始状态的第二转换这样一过程的目的状态转换过程。
根据本发明的第二方面，提出了这样一种其利用一计算机来对所测试的对象进行验证的测试系统，该系统包括装置，用于存储其用于连续的测试对象的状态的多个测试方案；以及装置，用于将多个状态当中的一预定状态预先定义为中间状态并且存储用于从转换源的一状态转换至中间状态这样一转换的中间状态转换过程以及用于从中间状态转换至另一个状态的这样一转换的目的状态转换过程。由于这个特征，在执行该测试方案之后，计算机的中央处理器执行中间状态转换过程以使得在对象中出现了一次转换为中间状态这样的转换并且此后执行目的状态转换过程以执行其可使在对象中出现转换至转换目的的状态这样一转换的操作。
根据本发明的第三方面，提供了这样一种计算机可读程序，该程序可自动的使计算机对从转换源的状态转换至多个状态当中的一转换目的的状态这样的对象转换进行验证，该程序包括一状态转换步骤，该步骤预先将多个状态当中的预定状态定义为中间状态并且使得出现了转换源通过中间状态而转换至转换目的这样的转换。由于这个特征，状态转换步骤包括一步骤，执行其可使在该对象中出现从转换源的状态转换至中间状态这样一转换的中间状态转换过程；以及一步骤，执行其可使在该对象中出现了从中间状态转换至转换目的的状态这样一转换的目的状态转换过程。
根据本发明，为了从转换源的状态转换至转换目的的状态这样的转换，预先定义了预定的中间状态并且该对象使得出现了一次从转换源的状态转换至中间状态这样的转换，并且此后其使得出现了从中间状态转换至转换目的的状态这样的转换。按照这种方式，通过中间状态的状态转换降低了状态转换过程的定义数目并且可很容易的响应状态数目的增加或者下降或者其他变化。因此，本发明的测试系统可很容易的对所测试的其具有大量状态并且其功能频繁改变的电子设备进行测试，并且本发明的测试系统可以应对执行测试方案的顺序的变化。
图1给出了用于说明本发明原理的方框图；图2给出了根据本发明一实施例的测试系统的方框图；图3给出了用于说明图2所示测试系统的操作的流程图；图4给出了根据本发明一主机的硬件配置的方框图；图5给出了根据本发明的四类状态当中状态之间的状态转换的示意图；图6给出了根据本发明的五类状态当中状态之间的状态转换的示意图；图7给出了根据一比较性示例的四类状态当中状态之间的状态转换的示意图；图8给出了根据一比较性示例的五类状态当中状态之间的状态转换的示意图；以及图9给出了用于说明实际上所使用的测试方法的方框图。
具体实施例方式
当对所控制的控制系统或者对象进行验证(或者测试)并且在第一验证结束之后执行第二验证时，需要使得在该对象中出现了从第一验证的转换状态转换至条件状态这样的转换以开始第二验证。在用于自动验证该对象的自动验证设备中，对用于从任意状态转换至另一状态这样的转换过程进行了定义以便串行的执行验证。
在本发明中，从任意状态转换至另一状态的状态转换过程的特征在于预先确定了一对象的中间状态并且定义了从该对象的所有状态转换至中间状态的转换过程以便实现从转换源的状态转换至转换目的的状态这样一转换的最短过程。
更具体的说，例如，当执行断电测试时，需要预先接通电源。因此，当通过执行测试方案来执行该测试(或者验证)时，通常存在测试的必要条件。每个测试方案假定要开始验证所必要的条件状态的必要条件。当执行验证时，首先，进行核实的对象的状态变化为如起始状态所描述的一状态，并且此后开始测试方案中的测试。每个测试方案包含对其内容不同于其他测试方案的内容的测试过程的说明以及执行该测试过程之后的一状态的说明以作为结束状态。
下面参考图1对其在上述条件下自动对该对象进行验证的本发明原理进行描述。这里假定通过利用一计算机来依次执行三个测试方案1、2、3。如图1所示，所示测试方案1具有一起始状态S1、一测试过程P1、以及一结束状态S2，测试方案2具有一起始状态S4、一测试过程P2、以及一结束状态S3，并且测试方案3具有一起始状态S2、一测试过程P3、以及一结束状态S4。将这些测试方案1至3保存在诸如硬盘这样的存储设备中。
在本发明中，存储器10除了存储测试方案1至3之外还存储从结束状态S1转换至预定中间状态M这样一转换的中间状态转换过程(S1/M)以及从中间状态M转换至起始状态S1这样一转换的目的状态转换过程(M/S1)。目的状态转换过程被称为自状态转换过程。按照同样的方式，存储器10存储从结束状态S2转换至预定中间状态M这样一转换的中间状态转换过程(S2/M)以及从中间状态M转换至起始状态S2这样一转换的目的或者自状态转换过程(M/S2)。如上所述，存储器10存储从结束状态S3或者S4转换至中间状态M这样一转换的中间状态转换过程(S/M)(索引省略了)以及从中间状态M转换至每个测试方案的起始状态S这样一转换的目的状态转换过程(M/S)。在下文中上述中间状态转换过程(S/M)以及目的状态转换过程(M/S)一起被称为状态转换过程。在物理上将存储该过程的存储器10设置为与用于存储测试方案1至3的存储设备相独立或者将其设置为就测试方案1至3而言相同的存储设备。
其根据本发明的原理来执行操作的自动验证设备与诸如汽车音频系统这样的一对象(未给出)相连，并且通过测试这些状态来对该对象进行验证。在所示的示例中，首先，从中央处理器(CPU)中读取测试方案1，并且将该测试方案1的起始状态S1与初始状态相比较。如果它们彼此一致，那么执行测试方案1的测试过程P1。在结束该测试过程P1之后，该对象进入测试方案1的结束状态S2。
随后，将测试方案1的结束状态S2与测试方案2的起始状态S4进行比较。除非它们彼此一致，那么CPU根据从结束状态S2转换至中间状态这样一转换的中间状态转换过程(S2/M)而使得出现了该对象从结束状态S2转换至预定中间状态M这样的转换。从起始状态S4转换至中间状态的转换被称为第一转换，同时该过程被称为转换初始过程或者源过程。例如，选择汽车音频系统的调频器状态以作为中间状态M。
在所示的示例中，需要执行从中间状态M转换至测试方案2的起始状态S4这样的第二转换。因此，CPU执行从中间状态M转换至测试方案2的起始状态S4这样的目的状态转换过程(M/S4)。其结果是，该对象进入测试方案2的起始状态S4。
随后，CPU根据测试方案2的测试过程2来验证该对象并且在验证之后使该对象进入结束状态S3。如果结束状态S3不同于接下来所执行的测试方案3的起始状态S2，那么CPU执行从结束状态S3转换至中间状态M这样的中间状态转换过程(S3/M)以执行转换至中间状态M的第一转换并且此后执行从中间状态M转换至测试方案3的起始状态S2这样的目的状态转换过程(M/S2)。
通过执行目的状态转换过程(M/S2)，对象进入测试方案3的起始状态S2。在这些状态中，根据测试方案3的测试过程P3来对该对象进行验证。在结束验证之后，该对象进入结束状态S4。
按照这种方式，顺次执行测试方案1、2、以及3。实际上，按照相同的方法来重复第一转换和第二转换，通过该方法来执行大量的测试方案并且根据该对象的状态数目来自动验证该对象。
(第一实施例)除了参考图1之外，下面通过参考图2和图3来对根据本发明一实施例的测试系统进行描述。参考图2，示出了根据本发明实施例的一测试系统。该测试系统包括用于执行自动验证的一主机20以及所要验证的一对象21。该对象21具有诸如调频器、盒式磁带、MD、CD、或者类似于汽车音频系统的DVD记录器这样的多个部件。用户通过操作按钮可任意的选择部件以及其状态。选择的结果是，对象使得出现了从选择之前的一状态(先前状态)转换至选择之后的一状态(下一状态)这样的一转换。所示的测试系统有助于对用户通过操纵或者操作所选择的所有状态进行测试或者验证。在这些实施例中，假定与按钮操作之前的状态相对应的一状态被称为转换的初始状态或者先前状态并且与按钮操作之后的状态相对应的一状态被称为转换的下一状态或者目的状态。
所验证的所示对象21具有用于传送或者接收来自计算机20的数据的一通信部件211以及用于对通信部件211中所接收的数据进行执行的测试执行部件212。
另一方面，主机20可以执行参考图1所描述的操作。图2所示的主机20具有一存储设备25、一存储器10、以及一CPU 30。该存储设备25用于存储测试方案。该存储器10与图1所示的存储器10相类似以存储中间状态转换过程、目的状态转换过程、以及其他状态转换数据。该CPU 30根据来自存储设备25的测试方案以及来自存储器10的状态转换来对对象21进行测试以验证。此外，所说明的主机20包括诸如寄存器这样的用于保持执行结果以及期望值的存储器35和36、用于显示执行结果的显示部件40、以及用于将测试信息传送至对象21或者接收来自对象21的测试信息的一通信部件41。
所示CPU 30的特征在于一状态比较部件301、一测试执行部件302、以及与其操作相对应的一执行结果比较部件303。在该实施例中，假定所自动验证的对象使得出现了从先前或者初始状态转换至该对象所采用的所有任何状态当中的单一中间状态M(例如，调频器状态)这样的一转换。
如参考图1所描述的，存储器10存储其用于定义中间状态转换过程(S/M)以及从中间状态M转换到目的状态这样一转换的目的状态转换过程(M/S)的状态转换数据。另一方面，存储设备25按照图1所示的格式来存储其每个均定义了一测试过程的起始状态以及结束状态的测试方案。
参考图3，示出了根据本发明的用于执行测试的一程序。同样参考图3所示的测试程序，当开始测试时，在步骤St1 CPU 30获得了对象21的当前或者先前状态，同时在步骤St2从存储设备25中读取测试方案。CPU 30通过利用状态比较部件301来对所获得的当前状态与测试方案所请求的此后状态(例如图1中的起始状态S1)进行比较以检测这两者彼此是否一致(步骤St3)。
如果它们是一致的，那么在步骤St4通过利用所示的测试执行部件302来执行测试方案中的测试过程。在执行之后，确定是否存在下一个测试方案(步骤St5)。如果存在下一个测试方案，那么控制回到步骤St1以读取对象21的当前状态(步骤St1)，否则结束该测试。
在步骤St5中存在下一个测试方案的情况下，控制回到步骤St1。在这种情况下，当测试方案处于结束状态时，对象21也进入测试方案的结束状态。
在步骤St3对测试方案的结束状态与下一个测试方案的起始状态进行比较。其结果是，当这两者彼此不同时，CPU 30访问存储器10以读取转换源的中间状态转换过程。将该过程从状态比较部件301传送至测试执行部件302并且在测试执行部件302中执行(步骤St6)。其结果是，对象21使得出现了转换到预定中间状态(这里调频器状态)这样的一转换。
随后，如图3中的步骤St7所示，从存储器10中读取转换源的目的状态转换过程并且此后在测试执行部件302中执行。通过通信部件41将执行的结果传送到对象21。通过执行目的状态转换过程(M/S)，对象21进入下一个测试方案的起始状态并且通过测试执行部件302来执行下一测试方案(步骤St4)。
按照同样的方式，继中间状态转换过程以及目的状态转换过程之后连续的执行测试方案，并且当不存在下一测试方案时结束该测试。
另一方面，通过通信部件211将测试部件212所执行的对象21的测试结果传送到主机20的通信部件41。此后，通过通信部件41中的测试执行部件302将其保存在用于保持执行结果的存储器35中。
随后，将存储在存储器35中的执行结果保存在存储器36中。此后通过利用执行结果比较部件303来将其与期望值进行比较，该期望值表示执行测试方案的正常执行结果的内容。将执行结果比较部件303的结果显示在执行结果显示部件40的屏幕上。
下面通过参考图2对在CPU 30中的状态比较部件301和测试执行部件302与对象21中的通信部件211和测试执行部件212之间的发送数据及接收数据的操作进行具体的描述。
状态比较部件301将用于获得当前状态(转换源的状态)的一过程传送到主机20中的测试执行部件302、产生在对象21中所要执行的数据、并且通过主机20中的通信部件41将其传送到对象21中的通信部件211。对象21中的测试执行部件212执行用于获得当前状态的过程并且通过对象21中的通信部件211将执行的结果传送到主机20。
主机20中的通信部件41接收该数据并且将其传送到测试执行部件302。状态比较部件301从测试执行部件302中接收执行的结果以作为当前状态。状态比较部件对所接收到的状态与测试方案中的起始状态(转换目的的状态)进行比较。
如果比较的结果是这两者彼此不同，那么读取用于状态转换数据的转换源状态的中间状态转换过程并且在测试执行部件302中产生了在对象21中所要执行的内容(数据)。此后通过通信部件41将该数据传送到对象21中的通信部件211。对象21中的测试执行部件212执行所接收到的数据并且该对象21使得出现了一次转换至中间状态这样的一转换。
随后，状态比较部件301读取用于转换目的状态的目的状态转换过程并且测试执行部件302按照相同的方法而产生了在对象21中所要执行的数据。对象21中的测试执行部件212对其进行执行并且该对象使得出现了转换至转换目的的状态这样的一转换，从而实现测试方案中的起始状态。此后，在主机20的测试执行部件302中连续的执行测试方案、按照同样的方式将所产生的数据传送到对象21、并且在对象21中的测试执行部件212中对其进行执行。
将执行结果从对象21中的通信部件211传送至主机20中的通信部件41。测试执行部件302接收并且保存执行的结果。在执行结果比较部件303中将其与期望值进行连续的比较，并且将该结果显示在执行结果显示部件40上。因此，可自动的验证对象。
参考图4，示出了图2所示主机20的硬件配置。所示的主机20具有CPU 30。CPU 30与通信部件41、其由显示单元所构成的执行结果显示部件40、主存储器50、以及诸如键盘这样的输入设备48相连。在该实施例中，示出了用于将存储测试方案、中间状态转换过程、以及目的状态转换过程存储在主存储器50中的一示例。在图4中，附图标记25标明了主存储器50中的其内保存有测试方案的那一部分，并且附图标记10标明了主存储器50中的其内保存有状态转换数据的那一部分。此外，所示的通信部件41当然与对象21中的通信部件211相连。
当测试该对象21时，在自动验证该对象21之前所示的CPU 30读取存储器10和存储设备25中的测试方案以及状态转换数据。
随后，通过参考图5至图8来描述本发明的效果。首先，在图5中，假定采取四个状态S1、S2、S3、以及S4并且一对象可使得出现了转换至说明中的状态S1至S4中的任何一个这样的一转换。在这些条件中，在本发明中该对象可使得出现了从转换源S1至S4中的一个状态转换至中间状态M这样的一转换，并且此后使得出现了从中间状态M转换至图5所示转换目的S1至S4中的一个状态这样的一转换。因此，在本发明中，需要定义总共八个状态转换过程，其包括从转换源的S1至S4状态转换至中间状态M这样的四个中间状态转换过程以及从中间状态M转换至转换目的的状态这样的四个目的状态转换过程。
如果如上所述提供了中间状态M，那么可灵活的应对状态数目的增加、降低、或者变化。同样参考图6对其进行描述。
参考图6，示出了状态数目从四个增加到五个这样一种情况的示例。从图6显而易见的是，仅通过添加两个过程即可应对状态数目的增加，这两个过程即就是从状态S5转换至中间状态M这样的中间状态转换过程以及从中间状态M转换至状态S5这样的目的状态转换过程。
为了阐明本发明的效果，作为比较性的示例，下面对这样一种情况进行描述，即无需利用中间状态M即可直接执行从转换源至转换目的这样的状态转换。
参考图7，示出了这样一种情况，即按照与图5相同的方式来执行四个状态当中的转换。换句话说，需要定义从状态S1转换至其他三个状态S2、S3、以及S4之一的状态转换过程并且进一步为每个状态S2、S3、以及S4定义三个状态的转换过程。其结果是，如果在无需插入中间状态的情况下即可执行四个状态当中的转换，那么应该明白的是总共需要定义12个状态转换过程。
另外，参考图8，示出了状态数目从图7中的四个增加至五个这样一种情况。在这种情况下，需要添加四个新的从转换源的状态S5转换至转换目的的四个状态，即转换至转换目的的S1至S4这四个状态的转换过程并且添加四个从转换源的各个状态S1至S4转换至状态S5的状态转换过程。其结果是，在图8所示的示例中，总共需要定义20个状态转换过程。因此，如果未使用中间状态，那么除了状态数目增加之外所需的状态转换过程急剧的增加。
如上所述，很明显的是通过预先定义如本发明所示的状态转换当中从转换源至转换目的的预定中间状态来降低定义状态转换过程的数目。此外，如本发明所示很容易改变执行测试方案的顺序。
当然，测试方案、中间状态转换过程、目的状态转换过程都是计算机可执行的程序。
虽然通过给出汽车音频系统这样的一示例来对上述实施例进行了说明，但是本发明不局限于此，本发明可以用于对其包括有多个部件的其他电子设备进行测试。此外，本发明还可用于对电子设备本身进行测试。
权利要求
1.一种通过利用计算机而使一对象中出现了从第一验证的结束状态转换至第二验证的起始状态这样的一转换来对该对象进行验证的测试方法，包括步骤使该对象中出现了从第一验证的结束状态转换至预定中间状态的第一转换；以及此后使该对象中出现了从中间状态转换至第二验证的起始状态的第二转换。
2.根据权利要求1的测试方法，其中提供了这样的存储装置，该装置存储用于执行第一和第二验证的第一和第二测试方案、存储用于定义其执行转换至中间状态的第一转换这样一过程的中间状态转换过程以及用于定义其执行转换至第二验证的起始状态的第二转换这样一过程的自状态转换过程包括步骤；通过包含在计算机之内的中央处理单元来执行从存储装置中所读取的中间状态转换过程；以及执行自状态转换过程以进行第一和第二转换。
3.根据权利要求2的测试方法，其中对象采用多个状态，包括步骤使得出现了从所有状态转换至中间状态这样的第一转换；使得出现了从中间状态转换至第二验证的起始状态这样的第二转换。
4.一种通过利用计算机来对所测试的对象进行验证的测试系统，该系统包括装置，用于存储其用于连续地测试对象的状态的多个测试方案；装置，用于将多个状态当中的一预定状态预先定义为中间状态；以及装置，用于存储从转换前的先前状态至中间状态的中间状态转换过程以及从中间状态至其它状态的自状态转换过程，其中计算机的中央处理器执行每个测试方案，此后执行中间状态转换过程以使得在对象中出现了转换以使该对象进入中间状态，并且执行自状态转换过程以使得出现了转换至下一个转换状态这样的转换。
5.根据权利要求4的测试系统，其中中央处理单元执行测试方案并且此后将所执行的每个测试方案的结束状态与下一个测试方案的起始状态进行比较，并且此后除非所执行的每个测试方案的结束状态与下一个测试方案的起始状态一致，那么使得在该对象中出现了转换至中间状态这样的转换。
6.一种计算机可读程序，该程序可自动的使计算机对其使得可出现从先前状态转换至下一个状态这样的转换的一对象进行验证，该程序具有一状态转换步骤，该步骤预先将多个状态当中的预定状态定义为中间状态，该程序包括一状态转换步骤，该步骤使得在该对象中出现了先前状态通过中间状态而转换至下一状态这样的转换。
7.根据权利要求6的程序，其中所述状态转换步骤包括一步骤，执行其可使在对象中出现从先前状态转换至中间状态的一中间状态转换过程；以及一步骤，执行其可使出现了从中间状态转换至下一状态的一自转换过程。
8.一系统的存储设备，该系统用于自动的对从先前状态转换至随后状态的对象的状态转换进行验证，先前状态以及随后状态是从该对象的多个状态中选择的，该设备包括装置，用于存储其用于连续地测试对象的状态的多个测试方案并且用于预先定义一预定状态以作为多个状态当中的中间状态；以及装置，用于存储其使得该对象从转换源的状态至中间状态的中间状态转换过程以及其使得在该对象中出现了从中间状态转换至另一个状态这样的转换的自状态转换过程。
全文摘要
在用于对一对象中的状态进行验证所使用的测试系统、测试方法、以及程序中，预先将一预定状态定义为该对象所采用的状态当中的中间状态。在使得在该对象中出现了从先前状态转换至下一状态这样的转换时，使得在该对象中出现了从先前状态转换至中间状态这样的转换。此后，该对象使得从中间状态转换至下一状态。为此目的，该测试系统存储从先前状态转换至中间状态这样的中间状态转换过程以及从中间状态转换至下一状态这样的自状态转移过程。
文档编号G06F11/22GK1577286SQ20041006368
公开日2005年2月9日 申请日期2004年7月16日 优先权日2003年7月16日
发明者丸野刚治 申请人:恩益禧电子股份有限公司