Int J Performability Eng ›› 2017, Vol. 13 ›› Issue (8): 1171-1182.doi: 10.23940/ijpe.17.08.p1.11711182

• Original articles •     Next Articles

Testability Metrics for Software Behavioral Models

Pan Liua, b   

  1. aCollege of Information and Computer, Shanghai Business School, Shanghai 201400, China
    bShanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai 201112, China

Abstract: Design for testability is one of the important research interests in software engineering. It becomes crucial in model-based testing because software behavioral models can be used to construct test sequences to perform conformance testing. However, testability of models has received less attention in the past. A model with high testability is easy to be used to construct effective test sequences, and conformance testing can also be realized easily. To improve testability of software behavioral models, using the formal method, we present five testability metrics: observability, controllability, test constructibility, performability, and error traceability. Then, a case is studied to evaluate the effectiveness of proposed testability metrics. As a result of the case study, models with higher testability can not only be used to generate executable test sequences, but also the size of the constructed test suite is also smaller. Our research will enrich the modeling theory of model-based testing and can improve the application of this test method in industry.


Submitted on October 29, 2017; Revised on November 12, 2017; Accepted on December 3, 2017
References: 34