程序测试系统及方法

摘要

一种程序测试系统，其包括事件表、随机选取器及状态机器。事件表记录了待测程序能够处理的事件，随机选取器随机选取一待测事件。状态机器依待测程序目前状态及状态变迁表内容，判断待测事件相对目前状态是否为有效。状态机器判断待测事件有效时，程序测试系统即依判断结果，以有效待测事件测试待测程序。本发明亦揭露了一种程序测试方法。本发明是依目前状态及状态变迁表，判断选取的待测事件是否为有效待测事件，故测试过程中实际执行测试的事件皆为有效事件，大幅减少测试的次数及时间。由于其应用了状态变迁表，故产生的有效待测事件间具关连性，可以快速且系统化地测试待测程序，完整覆盖所有可能发生的情形，有效完成测试工作。

主权项

1.一种程序测试系统，其测试一待测程序，该待测程序包含多个状态，且能够处理多个事件，该程序测试系统包含：一事件表，其记录该待测程序能够处理的事件；一随机选取器，其随机自该事件表选取一待测事件；以及一状态机器，其依据该待测程序的目前状态以及一状态变迁表，判断该待测事件相对于该目前状态是否为有效，其中该状态变迁表记录该状态及该事件的一对应关系，且当该状态机器判断待测事件相对于目前状态为有效时，该程序测试系统即依判断结果以一有效待测事件测试该待测程序。