[發明專利]一種基于相對冗余測試集約簡的軟件缺陷定位方法

無效

• 申請號: 201010206404.8
• 申請日: 2010-06-23
• 公開（公告）號: CN101866316A
• 公開（公告）日: 2010-10-20
• 發明（設計）人: 張鑫;顧慶;莊元;陳道蓄
• 申請（專利權）人: 南京大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種基于相對冗余測試集約簡的軟件缺陷定位方法，其特征在于包括以下步驟：

1)對源程序進行插樁，執行測試用例，收集測試用例的執行信息，包括執行結果和執行軌跡；

2)根據各個測試用例對源代碼的覆蓋情況，對整個測試集進行約簡；約簡過程為：設整個測試集為T，使用HGS約簡算法對所有測試用例進行約簡，得到兩個測試集合，即代表集REP和冗余集RED；其中冗余集RED又可劃分為高度冗余集TIE和候選集CAN，在候選集CAN中選擇加入代表集REP的測試用例組成的集合記為關鍵集KEY，得到新的代表集相對冗余集REL-REP；

3)最后根據相對冗余集REL-REP以Tarantula方法計算語句塊的懷疑率，按照其大小對語句塊排序生成缺陷定位報告。

2.根據權利要求1所述的基于相對冗余測試集約簡的軟件缺陷定位方法，其特征在于步驟2)中從候選集CAN中選擇測試用例的步驟為：根據代表集REP的情況從冗余集RED中選擇關鍵集KEY，其中且|KEY|＜＜|RED|。

3.根據權利要求2所述的基于相對冗余測試集約簡的軟件缺陷定位方法，其特征在于關鍵集KEY的選擇條件是：計算候選集CAN中每個測試用例的權重w，再根據設定保留的測試用例個數n，即|KEY|＝n，或是分界權重w_d，即對任意測試用例t∈KEY，且w_t≥w_d。

4.根據權利要求3所述的基于相對冗余測試集約簡的軟件缺陷定位方法，其特征在于權重的計算是根據平衡代表集中測試用例執行軌跡的分布：對代表集REP中的一個測試用例t_i和候選集CAN中的一個測試用例t_i，它們覆蓋的語句塊之間存在以下3種情況：

●B₁：被t_j覆蓋但沒有被t_i覆蓋的語句塊；

●B₂：被t_i和t_j同時覆蓋的語句塊；

●B₃：被t_i覆蓋但沒有被t_j覆蓋的語句塊。

設REP集合的大小為n，按照B₁，B₃，B₂的由高到低的權重順序計算CAN集合中的測試用例t_j的權值w_j如以下公式所示：

wj=Σi=1nΣk=13wBk×|Bk|.]]>