计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
2期
153-158
,共6页
张瑶%白晓颖%张任伟%陆皓
張瑤%白曉穎%張任偉%陸皓
장요%백효영%장임위%륙호
测试充分性%基于模型的测试%测试覆盖率
測試充分性%基于模型的測試%測試覆蓋率
측시충분성%기우모형적측시%측시복개솔
测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度.如今,传统的充分性评估方法难以满足复杂软件的测试评估需求.首先,代码覆盖准则难以准确验证软件需求；其次,软件测试还需考虑软件不同特征对系统测试充分性的不同影响.对此,提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法.该方法根据软件接口说明,对系统功能进行特征抽取、建模,并对接口模型的测试用例进行不同层级的充分性评估,对评估结果进行归一化处理,得到系统的综合测试充分性.通过案例表明,这种评估方法能够反映功能的测试充分性,对测试用例的设计和优化有一定指导意义.
測試充分性評估通常採用覆蓋率的方法來評估測試對軟件特徵的覆蓋充分程度.如今,傳統的充分性評估方法難以滿足複雜軟件的測試評估需求.首先,代碼覆蓋準則難以準確驗證軟件需求；其次,軟件測試還需攷慮軟件不同特徵對繫統測試充分性的不同影響.對此,提齣一種基于接口的建模方法和基于該模型的綜閤覆蓋充分性評估方法.該方法根據軟件接口說明,對繫統功能進行特徵抽取、建模,併對接口模型的測試用例進行不同層級的充分性評估,對評估結果進行歸一化處理,得到繫統的綜閤測試充分性.通過案例錶明,這種評估方法能夠反映功能的測試充分性,對測試用例的設計和優化有一定指導意義.
측시충분성평고통상채용복개솔적방법래평고측시대연건특정적복개충분정도.여금,전통적충분성평고방법난이만족복잡연건적측시평고수구.수선,대마복개준칙난이준학험증연건수구；기차,연건측시환수고필연건불동특정대계통측시충분성적불동영향.대차,제출일충기우접구적건모방법화기우해모형적종합복개충분성평고방법.해방법근거연건접구설명,대계통공능진행특정추취、건모,병대접구모형적측시용례진행불동층급적충분성평고,대평고결과진행귀일화처리,득도계통적종합측시충분성.통과안례표명,저충평고방법능구반영공능적측시충분성,대측시용례적설계화우화유일정지도의의.
