Model-based Approach for Software Test Adequacy Analysis

ZHANG Yao,BAI Xiao-ying,ZHANG Ren-wei,LU Hao
DOI: https://doi.org/10.3969/j.issn.1002-137x.2013.02.034
2013-01-01
Computer Science
Abstract: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,code-based coverage cannot ensure sufficient verification and validation of software requirements.Se-condly,software testing adequacy needs to take into consideration the contribution of different features.Important features deserve more test effort.The paper proposed a model-based approach for test adequacy analysis.An interface modelwas 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.
What problem does this paper attempt to address?