Issue No. 06 - June (1991 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.87281
<p>The concept of domain testability of software is defined by applying the concepts of observability and controllability to software. It is shown that a domain-testable program does not exhibit any input-output inconsistencies and supports small test sets in which test outputs are easily understood. Metrics that can be used to assess the level of effort required in order to modify a program so that it is domain-testable are discussed. Assessing testability from program specifications and an experiment which shows that it takes less time to build and test a program developed from a domain-testable specification than a similar program developed from a nondomain-testable specification are also discussed.</p>
software components; domain testability; observability; controllability; domain-testable program; input-output inconsistencies; small test sets; test outputs; program specifications; domain-testable specification; nondomain-testable specification; formal specification; program testing
R. Freedman, "Testability of Software Components," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 553-564, 1991.