发明名称 软体测试资料之产生方法
摘要
申请公布号 申请公布日期 2011.08.21
申请号 TW096117334 申请日期 2007.05.16
申请人 国立清华大学 发明人 黄庆育;张君儒;许志东
分类号 G06F11/36 主分类号 G06F11/36
代理机构 代理人 冯博生 台北市松山区敦化北路201号7楼
主权项 一种软体测试资料之产生方法,该软体包含至少一判断式,该软体测试资料包含以下步骤:提供复数个初始测试资料;依据该软体的判断式设定条件成立时的复数个参考点,其中该条件包含n个条件,n为正整数,该n个条件的逻辑组合构成2n个节点,该复数个参考点为该2n个节点中条件成立时的点;比对任一之该复数个初始测试资料及其相邻节点,若其中一个为参考点而另一个不是参考点,则设定该初始测试资料及其相邻节点为追踪配对;寻找所有追踪配对内出现在各个条件下之次数最多的初始测试资料,并将该初始测试资料设定为必要测试资料;以及将在各条件下和该出现次数最多的初始测试资料构成追踪配对之节点亦设为必要测试资料。根据请求项1之软体测试资料之产生方法,其另包含下列步骤:将位于该必要测试资料内之非初始测试资料设定为追踪点;以及若有一条件未发现任何追踪配对,且若该追踪点和该条件下之相邻节点所构成配对之一者为参考点而另一者不是参考点,则设定该相邻节点为必要测试资料。根据请求项1之软体测试资料之产生方法,其另包含在该软体之判断式前加上一函式以取得必要资讯之步骤。根据请求项3之软体测试资料之产生方法,其中该函式为该判断式的前置表示法或纪录该判断式中的条件值。根据请求项1之软体测试资料之产生方法,其系应用于修正条件/决定涵盖率(MC/DC)。根据请求项1之软体测试资料之产生方法,其另包含下列步骤:若一条件下有两个以上的必要测试资料所组成的追踪配对,则可任选其中一者之相邻节点。一种软体测试资料之产生方法,包含以下步骤:提供复数个初始测试资料;依据该软体的一条件式设定条件成立时的复数个参考点,其中该条件式的逻辑组合构成复数个节点,该复数个参考点为该复数个节点中条件成立时的点;比对该复数个初始测试资料及其相邻节点,若其中一个为参考点而另一个不是参考点,则设定该初始测试资料及其相邻节点为追踪配对;以及在该追踪配对内筛选出必要测试资料。根据请求项7之软体测试资料之产生方法,其另包含下列步骤:若有一条件未发现任何追踪配对,则由该筛选出之必要测试资料之相邻节点寻找遗漏之必要测试资料。根据请求项7之软体测试资料之产生方法,其另包含在该软体之判断式前加上一函式以取得必要资讯之步骤。根据请求项9之软体测试资料之产生方法,其中该函式为该判断式的前置表示法或纪录该判断式中的条件值。根据请求项7之软体测试资料之产生方法,其系应用于修正条件/决定涵盖率(MC/DC)。根据请求项7之软体测试资料之产生方法,其另包含下列步骤:若一条件下有两个以上的必要测试资料所组成的追踪配对,则可任选其中一者之相邻节点。
地址 新竹市光复路2段101号