小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
4期
815-821
,共7页
软件测试%代数规格化说明%基本项%范式
軟件測試%代數規格化說明%基本項%範式
연건측시%대수규격화설명%기본항%범식
现阶段面向对象软件系统占据了很大的比重,在软件测试方面,形式化规格说明通常作为正确性验证的基础.本文主要研究了基于程序的代数规格化说明生成测试用例的方法.首先,根据代数规格化说明得到一组基本项.为了避免从理想基本项集合中选择一组基本项时受理想基本项集合的制约,本文用基本项模型图生成基本项,然后,从基本项集合中得到等价的范式集合.针对用范式模型树生成范式时,生成的不完全是范式,并且范式的长度可能无穷大的问题,本文提出对基本项模型图路径拆分的方法.最后,用范式替换规格化说明公理系统中的变量,生成测试用例.对于公理中的条件语句和循环语句,还提出一种公理变换方法,保证了测试路径的覆盖.实例分析和实验验证表明,本文的方法可以生成一个范式的最小集合,减少了生成测试用例的数量,提高了测试用例的效率.
現階段麵嚮對象軟件繫統佔據瞭很大的比重,在軟件測試方麵,形式化規格說明通常作為正確性驗證的基礎.本文主要研究瞭基于程序的代數規格化說明生成測試用例的方法.首先,根據代數規格化說明得到一組基本項.為瞭避免從理想基本項集閤中選擇一組基本項時受理想基本項集閤的製約,本文用基本項模型圖生成基本項,然後,從基本項集閤中得到等價的範式集閤.針對用範式模型樹生成範式時,生成的不完全是範式,併且範式的長度可能無窮大的問題,本文提齣對基本項模型圖路徑拆分的方法.最後,用範式替換規格化說明公理繫統中的變量,生成測試用例.對于公理中的條件語句和循環語句,還提齣一種公理變換方法,保證瞭測試路徑的覆蓋.實例分析和實驗驗證錶明,本文的方法可以生成一箇範式的最小集閤,減少瞭生成測試用例的數量,提高瞭測試用例的效率.
현계단면향대상연건계통점거료흔대적비중,재연건측시방면,형식화규격설명통상작위정학성험증적기출.본문주요연구료기우정서적대수규격화설명생성측시용례적방법.수선,근거대수규격화설명득도일조기본항.위료피면종이상기본항집합중선택일조기본항시수이상기본항집합적제약,본문용기본항모형도생성기본항,연후,종기본항집합중득도등개적범식집합.침대용범식모형수생성범식시,생성적불완전시범식,병차범식적장도가능무궁대적문제,본문제출대기본항모형도로경탁분적방법.최후,용범식체환규격화설명공리계통중적변량,생성측시용례.대우공리중적조건어구화순배어구,환제출일충공리변환방법,보증료측시로경적복개.실례분석화실험험증표명,본문적방법가이생성일개범식적최소집합,감소료생성측시용례적수량,제고료측시용례적효솔.
