计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2012年
6期
1332-1338
,共7页
包晓安%姚澜%张娜%宋瑾钰
包曉安%姚瀾%張娜%宋瑾鈺
포효안%요란%장나%송근옥
软件测试%优化测试策略%自适应测试策略%受控Markov链%资源约束
軟件測試%優化測試策略%自適應測試策略%受控Markov鏈%資源約束
연건측시%우화측시책략%자괄응측시책략%수공Markov련%자원약속
基于简化的受控Markov链软件自适应测试模型大多是研究如何以最小的期望成本检测并移除所有的缺陷,并在构建模型时对部分条件进行特殊化和理想化处理.针对受控Markov链软件测试模型适用范围小、效率低的缺陷,在软件控制论思想基础上,对制约条件进行了一系列新的转换,提出一种改进的、资源约束的受控Markov链模型,该模型能够在高效性、复杂性和适用性3方面达到一个平衡.根据该模型设计一种新的软件缺陷优化测试策略,再通过参数估计对优化测试策略进行在线调整的方法,以构造软件自适应测试策略.为了证明其有效,利用该模型得到的新的软件自适应测试策略进行仿真实验,进一步得到了有效结果.
基于簡化的受控Markov鏈軟件自適應測試模型大多是研究如何以最小的期望成本檢測併移除所有的缺陷,併在構建模型時對部分條件進行特殊化和理想化處理.針對受控Markov鏈軟件測試模型適用範圍小、效率低的缺陷,在軟件控製論思想基礎上,對製約條件進行瞭一繫列新的轉換,提齣一種改進的、資源約束的受控Markov鏈模型,該模型能夠在高效性、複雜性和適用性3方麵達到一箇平衡.根據該模型設計一種新的軟件缺陷優化測試策略,再通過參數估計對優化測試策略進行在線調整的方法,以構造軟件自適應測試策略.為瞭證明其有效,利用該模型得到的新的軟件自適應測試策略進行倣真實驗,進一步得到瞭有效結果.
기우간화적수공Markov련연건자괄응측시모형대다시연구여하이최소적기망성본검측병이제소유적결함,병재구건모형시대부분조건진행특수화화이상화처리.침대수공Markov련연건측시모형괄용범위소、효솔저적결함,재연건공제론사상기출상,대제약조건진행료일계렬신적전환,제출일충개진적、자원약속적수공Markov련모형,해모형능구재고효성、복잡성화괄용성3방면체도일개평형.근거해모형설계일충신적연건결함우화측시책략,재통과삼수고계대우화측시책략진행재선조정적방법,이구조연건자괄응측시책략.위료증명기유효,이용해모형득도적신적연건자괄응측시책략진행방진실험,진일보득도료유효결과.
