The cost of the test activity constitutes an important part of the total development cost. To make test easier (cost, time, and efforts), the consideration of test problems before the implementation phase is now necessary. This early consideration is known as Design for testability (DFT). The design of testable software does not consist solely in applying methods that improve the testability but also to verify if the degree of testability of the new obtained product is acceptable. This activity can be carried out using testability evaluation and a set of appropriate transformations. We propose a method based on the modeling of software by relations. The testability of a given specification is defined as a set of factors that influence the tests. These factors are evaluated separately and their values are gathered in a vector called the testability vector. The evaluation is based on the properties of a relation such as determinism, definissability, and informability. The method is used for the classification of specifications. It is simple and can be used at different levels of abstraction. In the case of a weak testability, we can seek for the cause by analyzing the testability vector and by refining the specification. Then we try to enhance the testability by applying some specification transformations that correct the cause of the weakness. The proposed method is generic and do not require strong hypothesis for its use.
[1]
Rachida Dssouli,et al.
Specification transformations and design for testability
,
1996,
Proceedings of GLOBECOM'96. 1996 IEEE Global Telecommunications Conference.
[2]
Jeffrey M. Voas,et al.
Semantic metrics for software testability
,
1993,
J. Syst. Softw..
[3]
William E. Perry.
Effective methods of EDP quality assurance
,
1987
.
[4]
Alexandre Petrenko,et al.
Selecting test sequences for partially-specified nondeterministic finite state machines
,
1995
.
[5]
Ali Mili,et al.
Introduction to Program Fault Tolerance
,
1990
.
[6]
Alexandre Petrenko,et al.
On Evaluation of Testability of Protocol Structures
,
1993,
Protocol Test Systems.
[7]
Son T. Vuong,et al.
A Framework for the Design for Testability of Communication Protocols
,
1993,
Protocol Test Systems.