计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2008年
1期
97-100
,共4页
软件测试%软件的易测试性%合约式设计
軟件測試%軟件的易測試性%閤約式設計
연건측시%연건적역측시성%합약식설계
软件测试是保证软件质量的重要手段.软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势.软件的易测试性逐渐受到人们重视.合约式设计是一种有效的软件易测试性设计方法.本文介绍了软件易测试性设计的基本思想和主要方法,提出一种新的合约式设计方法,对现有各种基于Java语言的合约式设计工具进行比较,开发了一种新的合约式设计工具,并通过实验验证了方法的有效性.
軟件測試是保證軟件質量的重要手段.軟件測試呈現嚮軟件開髮的前期髮展、與軟件開髮的設計階段和編碼階段相融閤的髮展趨勢.軟件的易測試性逐漸受到人們重視.閤約式設計是一種有效的軟件易測試性設計方法.本文介紹瞭軟件易測試性設計的基本思想和主要方法,提齣一種新的閤約式設計方法,對現有各種基于Java語言的閤約式設計工具進行比較,開髮瞭一種新的閤約式設計工具,併通過實驗驗證瞭方法的有效性.
연건측시시보증연건질량적중요수단.연건측시정현향연건개발적전기발전、여연건개발적설계계단화편마계단상융합적발전추세.연건적역측시성축점수도인문중시.합약식설계시일충유효적연건역측시성설계방법.본문개소료연건역측시성설계적기본사상화주요방법,제출일충신적합약식설계방법,대현유각충기우Java어언적합약식설계공구진행비교,개발료일충신적합약식설계공구,병통과실험험증료방법적유효성.
