Analyzing testability on data flow designs

Proceedings of the International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2000, Pages 162-173

  Le Traon, Yves ^a   Ouabdesselam, Farid ^b   Robach, Chantal ^c  

^a IRISA Campus   (France)

^b LSR IMAG BP 72   (France)

^c Grenoble Institute of Technology   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; DATA FLOW ANALYSIS; EMBEDDED SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; QUALITY CONTROL;

AXIOMATIZATION;

SOFTWARE ENGINEERING;

EID: 0034544812     PISSN: 10719458     EISSN: None     Source Type: Journal    
DOI: 10.1109/ISSRE.2000.885869     Document Type: Article

References (14)

1. T. J. McCabe A Complexity Measure IEEE Transactions on Software Engineering SE-2 4 308 320 December 1976
2. Β. A. Nejmeh Npath: a measure of execution path complexity and its applications Communication of the ACM 31 2 188 200 February 1988
3. R. S. Freedman Testability of Software Components IEEE Transactions on Software Engineering SE-17 6 553 564 June 1991
4. R. Bache M. Müllerburg Measures of testability as a basis for quality assurance Software Engineering Journal 86 92 March 1990
5. J. M. Voas K. W. Miller Software Testability: The New Verification IEEE Software 17 28 May 1995
6. N. E. Fenton Software Metrics: A Rigorous Approach 337 1991 Chapman & Hall UK, London
7. M. Shepperd D. Ince Derivation and Validation of Software Metrics 167 1993 Oxford University Press UK, Oxford
8. Y. Le Traon Analyse conjointe, logiciel-matériel de la testabilité de systèmes flots de données 1997 France, Grenoble
9. G. Al Hayek Y. Le Traon C. Robach Impact of System Partitioning on Test cost IEEE Design and Test of Computers 14 64 74 Jan.-March 1997
10. Y. Le Traon C. Robach Testability Measurements for Data Flow Designs 4th International Software Metrics Symposium (Metrics'97) 91 98 4th International Software Metrics Symposium (Metrics'97) Albuquerque USA 1997
11. L. G. Vota A. Porter Experimental Software Engineering: A Report on the State of the Art 17th International Conference on Software Engineering 277 279 17th International Conference on Software Engineering
12. P. Caspi N. Halbwachs D. Pilaud J. Plaice LUSTRE: A declarative language for programming synchronous systems 14th Symposium on Principles of Programming Languages (POPL 87) 14th Symposium on Principles of Programming Languages (POPL 87) Munich 1987
13. F. Ouabdesselam I. Parissis Specification-Based Testing of Synchronous Software ACM-SIGSOFT 4th Symposium on the Foundations of Software Engineering 127 134 ACM-SIGSOFT 4th Symposium on the Foundations of Software Engineering San Francisco 1996
14. L. du Bousquet F. Ouabdesselam J. L. Richier N. Zuanon Lutess: A Specification-driven Testing Environment for Synchronous Software IEEE International Conference on Software Engineering (ICSE'99) IEEE International Conference on Software Engineering (ICSE'99) Los Angeles 1999-May