软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2015年
1期
14-25
,共12页
包晓安%谢晓鸣%张娜%曹建文%桂宁
包曉安%謝曉鳴%張娜%曹建文%桂寧
포효안%사효명%장나%조건문%계저
软件测试%受控马尔可夫链%关联缺陷%优化算法
軟件測試%受控馬爾可伕鏈%關聯缺陷%優化算法
연건측시%수공마이가부련%관련결함%우화산법
software testing%controlled Markov chain%correlated defects%optimization algorithm
软件测试过程通常期望以最小的成本检测尽可能多的缺陷.为了降低建模复杂度,多数文献通常假设缺陷之间相互独立.但在实际测试中,缺陷之间往往存在关联,并且每个缺陷引发软件失效的严重程度也不相同.充分利用缺陷之间的关联信息,有助于增加相关缺陷的可检测率,提高软件测试效率.因此,提出一种新的思路:利用软件缺陷之间的关联构造缺陷相关系数,引入回扣机制,量化不同严重等级的缺陷所被检测到的价值,综合考虑缺陷相关系数、检测率、回扣三者的权值,以构造基于缺陷关联的最优测试策略.同时,提出复合的优化算法来构造相应的最小生成树,将测试剖面转换成带权的路径问题,以有效地寻找具有最大权值的最优测试路径.另外,改进了已有的剔除策略,以更有效地删除关联缺陷通过实验仿真,并与其他测试策略相比较,证明了该方法的有效性.
軟件測試過程通常期望以最小的成本檢測儘可能多的缺陷.為瞭降低建模複雜度,多數文獻通常假設缺陷之間相互獨立.但在實際測試中,缺陷之間往往存在關聯,併且每箇缺陷引髮軟件失效的嚴重程度也不相同.充分利用缺陷之間的關聯信息,有助于增加相關缺陷的可檢測率,提高軟件測試效率.因此,提齣一種新的思路:利用軟件缺陷之間的關聯構造缺陷相關繫數,引入迴釦機製,量化不同嚴重等級的缺陷所被檢測到的價值,綜閤攷慮缺陷相關繫數、檢測率、迴釦三者的權值,以構造基于缺陷關聯的最優測試策略.同時,提齣複閤的優化算法來構造相應的最小生成樹,將測試剖麵轉換成帶權的路徑問題,以有效地尋找具有最大權值的最優測試路徑.另外,改進瞭已有的剔除策略,以更有效地刪除關聯缺陷通過實驗倣真,併與其他測試策略相比較,證明瞭該方法的有效性.
연건측시과정통상기망이최소적성본검측진가능다적결함.위료강저건모복잡도,다수문헌통상가설결함지간상호독립.단재실제측시중,결함지간왕왕존재관련,병차매개결함인발연건실효적엄중정도야불상동.충분이용결함지간적관련신식,유조우증가상관결함적가검측솔,제고연건측시효솔.인차,제출일충신적사로:이용연건결함지간적관련구조결함상관계수,인입회구궤제,양화불동엄중등급적결함소피검측도적개치,종합고필결함상관계수、검측솔、회구삼자적권치,이구조기우결함관련적최우측시책략.동시,제출복합적우화산법래구조상응적최소생성수,장측시부면전환성대권적로경문제,이유효지심조구유최대권치적최우측시로경.령외,개진료이유적척제책략,이경유효지산제관련결함통과실험방진,병여기타측시책략상비교,증명료해방법적유효성.