Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Testability of Software Components
IEEE Transactions on Software Engineering
Semantic metrics for software testability
Journal of Systems and Software - Special issue on the Oregon Metric Workshop
From Hardware to Software Testability
Proceedings of the IEEE International Test Conference on Driving Down the Cost of Test
SCOAP: Sandia controllability/observability analysis program
DAC '80 Proceedings of the 17th Design Automation Conference
TMEAS, a testability measurement program
DAC '79 Proceedings of the 16th Design Automation Conference
System Modeling and Testing Procedures for Microdiagnostics
IEEE Transactions on Computers
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
| Hi-index | 0.00 |
This paper focus on the testability analysis of co-designed data-flow specifications. The co-designed specification level implies a high level testability analysis, independent of the implementation choices. With respect to testability, the difficulties of generating test sets, detecting and diagnosing faults are discussed and estimates are proposed. A hardware modelling, based on information transfers and called the Information Transfer Graph, is adapted to the specifications. A real case study supplied by Aerospatiale illustrates all the evaluations.