计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2005年
19期
76-78
,共3页
虞凡%覃征%贾晓琳%何坚
虞凡%覃徵%賈曉琳%何堅
우범%담정%가효림%하견
测试用例生成%软件规范%XYZ/E%Prolog%边界值测试
測試用例生成%軟件規範%XYZ/E%Prolog%邊界值測試
측시용례생성%연건규범%XYZ/E%Prolog%변계치측시
针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法.该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值.最后,通过一个实例验证了该方法的可行性.与传统方法相比,该方法既保证了软件测试用例的有效性,又减少了测试用例输出的计算工作量.
針對軟件規範輸入域與被測軟件輸入域之間邊界不一緻引起的測試用例失效問題,提齣一種基于時序邏輯語言XYZ/E軟件規範說明的測試用例自動生成方法.該方法採用XYZ/E描述,首先確保規範與被測軟件的語義一緻,其次,利用XYZ/E規範的邏輯程序屬性,實現瞭對測試用例中輸齣期望的Prolog自動推導求值.最後,通過一箇實例驗證瞭該方法的可行性.與傳統方法相比,該方法既保證瞭軟件測試用例的有效性,又減少瞭測試用例輸齣的計算工作量.
침대연건규범수입역여피측연건수입역지간변계불일치인기적측시용례실효문제,제출일충기우시서라집어언XYZ/E연건규범설명적측시용례자동생성방법.해방법채용XYZ/E묘술,수선학보규범여피측연건적어의일치,기차,이용XYZ/E규범적라집정서속성,실현료대측시용례중수출기망적Prolog자동추도구치.최후,통과일개실례험증료해방법적가행성.여전통방법상비,해방법기보증료연건측시용례적유효성,우감소료측시용례수출적계산공작량.