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
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
Hi-index | 0.00 |
Testability is an important quality factor of software,particularly embedded data-flow software such as avionicssoftware. A lack of testability of such software can badly affecttest costs and software dependability. Testability analysiscan be used to identify parts of software which are difficultfor testing.In this paper, we propose the use of the Static Single Assignment(SSA) form to transform source code generatedfrom data-flow designs into a data-flow representation, andthen we describe some algorithms to automatically translatethe SSA form into a testability model. Thus, some metricscan be applied to the testability model in order to locatethe software parts which induce a weakness of the testability.