%0 Journal Article
%T Model-based Approach for Software Test Adequacy Analysis<br>一种基于模型的测试充分性评估方法
%A 张 瑶
%A 白晓颖
%A 张任伟
%A 陆 皓
%J 计算机科学
%D 2013
%I 
%X Test adequacy analysis usually uses coverage criteria to evaluate test design with respect to specific software characteristics. Conventional adequacy methods have following problems to address test evaluation of large software systems. First, codcbased coverage cannot ensure sufficient verification and validation of software requirements. Secondly,software testing adectuacy needs to take into consideration the contribution of different features. Important features deserve more test effort. hhe paper proposed a model-based approach for test adequacy analysis. An interface model was defined, representing executable software requirements for software components. Coverage of test case design was analyzed at two levels including service and service-compositions. Adequacy was calculated as weighted sum of coverage on various software features. Experiments were exercised to illustrate the proposed approach.
%K Test adequacy
%K Model-based testing
%K Test coverage<br>测试充分性，基于模型的测试，测试覆盖率
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=D8CF0D2A1D9D3361C590A156A4DFF027&yid=FF7AA908D58E97FA&vid=1371F55DA51B6E64&iid=0B39A22176CE99FB&sid=D59111839E7C8BDF&eid=4C100B7696CE9E24&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0