计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
19期
20-22
,共3页
高海昌%冯博琴%曾明%贺晓红
高海昌%馮博琴%曾明%賀曉紅
고해창%풍박금%증명%하효홍
软件统计测试%结构测试%Markov链%路径使用模型%Kullback判别式
軟件統計測試%結構測試%Markov鏈%路徑使用模型%Kullback判彆式
연건통계측시%결구측시%Markov련%로경사용모형%Kullback판별식
探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性.提出将统计理论用于软件的结构测试,从理论上得出软件的结构可靠性结论.提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型,使用Kullback判别式作为测试链收敛到使用链的判断准则,从理论上证明了测试链到使用链收敛的必然性.理论分析和初步的实验证明该方法是可行和有前途的.
探討瞭建立基于路徑使用的Markov鏈模型來分析模塊內部代碼結構的統計測試方法的可能性.提齣將統計理論用于軟件的結構測試,從理論上得齣軟件的結構可靠性結論.提齣具有有限狀態、離散時間序列的Markov鏈作為程序的使用模型和測試模型,使用Kullback判彆式作為測試鏈收斂到使用鏈的判斷準則,從理論上證明瞭測試鏈到使用鏈收斂的必然性.理論分析和初步的實驗證明該方法是可行和有前途的.
탐토료건립기우로경사용적Markov련모형래분석모괴내부대마결구적통계측시방법적가능성.제출장통계이론용우연건적결구측시,종이론상득출연건적결구가고성결론.제출구유유한상태、리산시간서렬적Markov련작위정서적사용모형화측시모형,사용Kullback판별식작위측시련수렴도사용련적판단준칙,종이론상증명료측시련도사용련수렴적필연성.이론분석화초보적실험증명해방법시가행화유전도적.
