上海大学学报（自然科学版）
上海大學學報（自然科學版）
상해대학학보（자연과학판）
JOURNAL OF SHANGHAI UNIVERSITY (NATURAL SCIENCE EDITION)
2012年
2期
163-169,173
,共8页
晏霞敏%曾红卫%刘攀%贺斌
晏霞敏%曾紅衛%劉攀%賀斌
안하민%증홍위%류반%하빈
Web应用%模型检验%模型分化%测试序列%冗余约简
Web應用%模型檢驗%模型分化%測試序列%冗餘約簡
Web응용%모형검험%모형분화%측시서렬%용여약간
软件测试是保证软件质最的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.
軟件測試是保證軟件質最的一種重要手段,而複雜的Web應用對測試提齣瞭新的要求.提齣一種Web應用測試生成與約簡方法,該方法對Web應用導航進行形式建模,使用模型檢驗導航安全性質所輸齣的反例分化模型,然後根據分化模型產生測試序列,依據Web應用的特性對測試序列集進行約簡.實例縯示錶明該方法的有效性.
연건측시시보증연건질최적일충중요수단,이복잡적Web응용대측시제출료신적요구.제출일충Web응용측시생성여약간방법,해방법대Web응용도항진행형식건모,사용모형검험도항안전성질소수출적반례분화모형,연후근거분화모형산생측시서렬,의거Web응용적특성대측시서렬집진행약간.실례연시표명해방법적유효성.
