一种基于模型的测试充分性评估方法

测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今，传统的充分性评估方法难以满足复杂软件的测试评估需求。首先，代码覆盖准则难以准确验证软件需求;其次，软件测试还需考虑软件不同特征对系统测试充分性的不同影响。对此，提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法。该方法根据软件接口说明，对系统功能进行特征抽取、建模，并对接口模型的测试用例进行不同层级的充分性评估，对评佑结果进行归一化处理，得到系统的综合测试充分性。通过案例表明，这种评佑方法能够反映功能的测试充分性，对测试用例的设计和优化有一定指导意义。

Model-based Approach for Software Test Adequacy Analysis

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.