From diagnosis to diagnosability: Axiomatization, measurement and application

Journal of Systems and Software

Volumn 65, Issue 1, 2003, Pages 31-50

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

^a UNIVERSITÉ DE RENNES 1   (France)

^b IMAG   (France)

^c Grenoble Institute of Technology   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; DATA FLOW ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; QUALITY ASSURANCE; STANDARDIZATION;

AXIOMATIZATION;

SOFTWARE ENGINEERING;

EID: 0037440434     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(02)00026-2     Document Type: Article

References (25)

1. Agrawal H., Horgan J., London S., Wong W. Fault localization using execution slices and dataflow tests. 6th International Symposium on Software Reliability Engineering, Toulouse, France. 1995;143-151.
2. Al-Hayek G., Le Traon Y., Robach C. Impact of system partitioning on test cost. IEEE Design & Test of Computers. 14:1997;64-74.
3. Baudry B., Hanh V.-L., Jézéquel J.-M., Le Traon Y. Testable components: yet another mutation-based approach. Proceedings of the Symposium on Mutation Testing for the New Century (Mutation'2K), San Jose, CA. 2000;69-76.
4. Baudry, B., Le Traon, Y., Jézéquel, J.-M., 2001. Robustness and diagnosability of Designed by Contracts OO Systems. In: 7th International Software Metrics Symposium (Metrics 2001), London, England.
5. Briand L.C., Morasca S., Basili V.R. Property-based software engineering measurement. IEEE Transactions on Software Engineering. 22:1996;68-86.
6. Caspi, P., Halbwachs, N., Pilaud, D., Plaice, J., 1987. LUSTRE: a declarative language for programming synchronous systems. In: 14th Symposium on Principles of Programming Languages (POPL 87), Munich.
7. Fenton N.E. Software Metrics: A Rigorous Approach. 1991;Chapman & Hall, London, UK. p. 337.
8. Jézéquel J.-M., Meyer B. Design by contract: the lessons of Ariane. Computer. 30(1):1997;129-130.
9. Jézéquel, J.-M., Train, M., Mingins, C., 1999. Design-patterns and contracts. Addison-Wesley, October 1999. ISBN 0-201-30959-9.
10. Kamkar M. An overview and comparative classification of program slicing techniques. Systems Software. 31:1995;197-214.
11. Khalil, M., Le Traon, Y., Robach, C., 1998. Automated strategies for software diagnosis. In: Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE'98), Paderborn, Germany, November 1998.
12. Korel B. Computation of dynamic program slices for unstructured programs. IEEE Transactions on Software Engineering. 23:1997;17-34.
13. Le Traon, Y., 1997. Analyse conjointe logiciel-matériel de la testabilité de systèmes flots de données. PhD Thesis, Institut National Polytechnique de Grenoble, Grenoble, France.
14. Le Traon, Y., Robach, C., 1997. Testability measurements for data flow designs. In: 4th International Software Metrics Symposium (Metrics'97), Albuquerque, New Mexico, pp. 91-98.
15. Le Traon, Y., Ouabdesselam, F., Robach, C., 1998. Software diagnosability. In: Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE'98), Paderborn, Germany, November 1998.
16. Le Traon Y., Ouabdesselam F., Robach C. Analyzing testability on data-flow designs. Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE'2K), San Jose, CA. 2000;162-173.
17. Meyer B. Applying "Design by contract" IEEE Computer. 25(10):1992;40-52.
18. Offutt A.J., Pan J., Tewary K., Zhang T. An experimental evaluation of data flow and mutation testing. Software Practice and Experience. 26(2):1996.
19. Ouabdesselam F., Parissis I. Specification-based testing of synchronous software. ACM-SIGSOFT 4th Symposium on the Foundations of Software Engineering, San Francisco. 1996;127-134.
20. Robach C., Wodey P. Linking design and test tools: an implementation. IEEE Transactions on Industrial Electronics. 36:1989;286-295.
21. Ross D.T., Schoman K.E. Structured analysis for requirements definition. IEEE Transactions on Software Engineering. SE-3:1977;6-15.
22. Shepperd M., Ince D. Derivation and Validation of Software Metrics. 1993;Oxford University Press, Oxford, UK. p. 167.
23. Voas, J.M., 1995. Software testability measurement for assertion placement and fault localization. In: 2nd International Workshop on Automated and Algorithmic Debugging (AADEBUG'95), Saint-Malo, France.
24. Weiser M. Programmers use slices when debugging. Communication of ACM. 25:1982;446-452.
25. Weiser M. Program slicing. IEEE Transactions on Software Engineering. 10:1984;352-357.