[发明专利]程序测试系统及方法无效
申请号: | 02101641.0 | 申请日: | 2002-01-11 |
公开(公告)号: | CN1431598A | 公开(公告)日: | 2003-07-23 |
发明(设计)人: | 林润生 | 申请(专利权)人: | 互慧科技股份有限公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京纪凯知识产权代理有限公司 | 代理人: | 戈泊,王刚 |
地址: | 暂无信息 | 国省代码: | 暂无信息 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 一种程序测试系统,其包括事件表、随机选取器及状态机器。事件表记录了待测程序能够处理的事件,随机选取器随机选取一待测事件。状态机器依待测程序目前状态及状态变迁表内容,判断待测事件相对目前状态是否为有效。状态机器判断待测事件有效时,程序测试系统即依判断结果,以有效待测事件测试待测程序。本发明亦揭露了一种程序测试方法。本发明是依目前状态及状态变迁表,判断选取的待测事件是否为有效待测事件,故测试过程中实际执行测试的事件皆为有效事件,大幅减少测试的次数及时间。由于其应用了状态变迁表,故产生的有效待测事件间具关连性,可以快速且系统化地测试待测程序,完整覆盖所有可能发生的情形,有效完成测试工作。 | ||
搜索关键词: | 程序 测试 系统 方法 | ||
【主权项】:
1.一种程序测试系统,其测试一待测程序,该待测程序包含多个状态,且能够处理多个事件,该程序测试系统包含:一事件表,其记录该待测程序能够处理的事件;一随机选取器,其随机自该事件表选取一待测事件;以及一状态机器,其依据该待测程序的目前状态以及一状态变迁表,判断该待测事件相对于该目前状态是否为有效,其中该状态变迁表记录该状态及该事件的一对应关系,且当该状态机器判断待测事件相对于目前状态为有效时,该程序测试系统即依判断结果以一有效待测事件测试该待测程序。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于互慧科技股份有限公司,未经互慧科技股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/02101641.0/,转载请声明来源钻瓜专利网。
- 上一篇:人血管生成素反义寡核苷酸及药物组合物
- 下一篇:一种带底线的手握式微型缝纫机