| 主权项 |
1.一种程式测试系统,其测试一待测程式,该待测程式包含复数个状态,且能够处理复数个事件,该程式测试系统包含:一事件表(Event List),其记录该待测程式能够处理之该等事件;一随机选取器,其随机自该事件表选取一待测事件;以及一状态机器(State Machine),其依据该待测程式之一目前状态(Current State)以及一状态变迁表(StateTransition Table),判断该待测事件相对于该目前状态是否为有效,其中该状态变迁表记录各该等状态及各该等事件之一对应关系,且当该状态机器判断该待测事件相对于该目前状态为有效时,该程式测试系统即依判断结果以一有效待测事件测试该待测程式。2.如申请专利范围第1项所述之程式测试系统,更包含:一事件产生器(Event Generator),其依据该状态机器之判断结果产生该有效待测事件。3.如申请专利范围第2项所述之程式测试系统,更包含:一座标产生器,其依据该目前状态相对应之一使用者介面,输出该事件产生器产生该有效待测事件所需之一座标。4.如申请专利范围第1项所述之程式测试系统,其中该对应关系更包含一下一状态(Next State),且该下一状态系为该等状态之一。5.如申请专利范围第4项所述之程式测试系统,其中该状态机器更依据该目前状态及该有效待测事件,将该状态变迁表中相对应之该下一状态设定为该目前状态。6.如申请专利范围第1项所述之程式测试系统,其中该状态机器更依据该待测程式执行该有效待测事件之结果,更新该目前状态。7.一种程式测试方法,其测试一待测程式,该待测程式包含复数个状态,且能够处理复数个事件,该程式测试方法包含:自一记录该等事件之事件表(Event List)中随机选取该待测事件;依据该待测程式之一目前状态(Current State)以及一状态变迁表(State Transition Table),判断一待测事件相对于该目前状态是否为有效,其中该状态变迁表记录各该等状态及各该等事件之一对应关系;以及依据该状态机器之判断结果以一有效待测事件测试该待测程式。8.如申请专利范围第7项所述之程式测试方法,更包含:产生该有效待测事件。9.如申请专利范围第8项所述之程式测试方法,更包含:依据该目前状态相对应之一使用者介面,输出产生该有效待测事件所需之一座标。10.如申请专利范围第7项所述之程式测试方法,其中该对应关系更包含一下一状态(Next State),且该下一状态系为该等状态之一。11.如申请专利范围第10项所述之程式测试方法,更包含:依据该目前状态及该有效待测事件,将该状态变迁表中相对应之该下一状态设定为该目前状态。12.如申请专利范围第7项所述之程式测试方法,其中该状态机器更依据该行测程式执行该有效待测事件之结果,更新该目前状态。13.一种电脑可读取记录媒体,其记录了一电脑于载入后,能够执行下列程序之程式码:自一记录该等事件之事件表(Event List)中随机选取该待测事件;依据该待测程式之一目前状态(Current State)以及一状态变迁表(State Transition Table),判断一待测事件相对于该目前状态是否为有效,其中该状态变迁表记录各该等状态及各该等事件之一对应关系;以及依据该状态机器之判断结果以一有效待测事件测试该待测程式。14.如申请专利范围第13项所述之电脑可读取记录媒体,其中该电脑于载入该程式码后,更执行下列程序:依据该目前状态相对应之一使用者介面,输出产生一有效待测事件所需之一座标,以产生该有效待测事件。15.如申请专利范围第13项所述之电脑可读取记录媒体,其中该电脑于载入该程式码后,更执行下列程序:依据该目前状态及该有效待测事件,将该状态变迁表中该目前状态所对应之下一状态设定为该目前状态。16.如申请专利范围第13项所述之电脑可读取记录媒体,其中该电脑于载入该程式码后,更执行下列程序:依据该待测程式执行该有效待测事件之结果,更新该目前状态。图式简单说明:图1为一架构图,显示依本发明较佳实施例之程式测试系统之架构。图2a为一示意图,显示依本发明较佳实施例之例示之使用者介面(状态)及其物件。图2b为一示意图,显示依本发明较佳实施例之事件表之例示栏位及其内容。图3为一示意图,显示依本发明较佳实施例之状态变迁表之例示栏位及其内容。图4为一示意图,显示依本发明较佳实施例之例示之使用者介面中之物件座标。图5为一流程图,显示依本发明较佳实施例之程式测试方法之步骤。 |
