LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
NPATH: a measure of execution path complexity and its applications
Communications of the ACM
Measures of testability as a basis for quality assurance
Software Engineering Journal
Testability of Software Components
IEEE Transactions on Software Engineering
Derivation and validation of software metrics
Derivation and validation of software metrics
Experimental software engineering: a report on the state of the art
Proceedings of the 17th international conference on Software engineering
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Software Metrics: A Rigorous Approach
Software Metrics: A Rigorous Approach
Impact of System Partitioning on Test Cost
IEEE Design & Test
Software Testability: The New Verification
IEEE Software
Testability Measurements for Data Flow Designs
METRICS '97 Proceedings of the 4th International Symposium on Software Metrics
IEEE Transactions on Software Engineering
From diagnosis to diagnosability: axiomatization, measurement and application
Journal of Systems and Software
An empirical study into class testability
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
Measuring design testability of a UML class diagram
Information and Software Technology
Software debugging and testing using the abstract diagnosis theory
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
An empirical analysis of a testability model for object-oriented programs
ACM SIGSOFT Software Engineering Notes
Evaluating the effect of control flow on the unit testing effort of classes: an empirical analysis
Advances in Software Engineering
On the relationship between use cases and test suites size: an exploratory study
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
High testability is a strongly desired feature of software since it tends to make the validation phase more efficient in exposing faults during testing, and consequently it increases the quality of the end product. Furthermore, testability is a criterion of crucial importance to software developers since the sooner it can be estimated, the better the software architecture will be organized to improve subsequent maintenance. This paper is concerned with the testability of data flow software designs, its definition and the axiomatization of its expected behavior. This behavior is expressed in relation to basic operations applicable on designs, and to the dedicated test strategies, which are selected. Measurements are proposed which are consistent with the stated axioms. The whole approach is demonstrated using design specifications of embedded software developed in the avionics industry.