计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
23期
57-59,62
,共4页
区间算法%测试数据%软件测试
區間算法%測試數據%軟件測試
구간산법%측시수거%연건측시
软件测试过程中经常需要对大量的数值计算模块进行穷举测试,传统的软件测试方法就显露出了不足与局限.该文采用区间算法生成测试数据,比较了采用区间算法的软件测试方法和传统的软件测试方法,结果表明,区间代数方法很好地解决了传统测试方法不能解决的问题,发现程序代码中可能的计算异常,判断能否给出程序代码输出变量的上限范围和是否存在不可能达到的分支.
軟件測試過程中經常需要對大量的數值計算模塊進行窮舉測試,傳統的軟件測試方法就顯露齣瞭不足與跼限.該文採用區間算法生成測試數據,比較瞭採用區間算法的軟件測試方法和傳統的軟件測試方法,結果錶明,區間代數方法很好地解決瞭傳統測試方法不能解決的問題,髮現程序代碼中可能的計算異常,判斷能否給齣程序代碼輸齣變量的上限範圍和是否存在不可能達到的分支.
연건측시과정중경상수요대대량적수치계산모괴진행궁거측시,전통적연건측시방법취현로출료불족여국한.해문채용구간산법생성측시수거,비교료채용구간산법적연건측시방법화전통적연건측시방법,결과표명,구간대수방법흔호지해결료전통측시방법불능해결적문제,발현정서대마중가능적계산이상,판단능부급출정서대마수출변량적상한범위화시부존재불가능체도적분지.
