Testability of software components
- 1 June 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 17 (6) , 553-564
- https://doi.org/10.1109/32.87281
Abstract
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.Keywords
This publication has 16 references indexed in Scilit:
- A technique for testing command and control softwareCommunications of the ACM, 1982
- Comments on program specification and testingCommunications of the ACM, 1980
- On the proof of correctness of a calendar programCommunications of the ACM, 1979
- The Denotational Description of Programming LanguagesPublished by Springer Nature ,1979
- A controlled experiment in program testing and code walkthroughs/inspectionsCommunications of the ACM, 1978
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Test data as an aid in proving program correctnessCommunications of the ACM, 1978
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975
- Programming by action clustersBIT Numerical Mathematics, 1969