Towards a statistical approach to testing object-oriented programs

Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997

Volumn , Issue , 1997, Pages 99-108

  Thévenod Fosse, Pascale ^a   Waeselynck, Hélène ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; SOFTWARE TESTING; STATISTICAL TESTS; TEST FACILITIES;

CLASS INHERITANCE; OBJECT-ORIENTED PROGRAM; REGRESSION TESTING; STATISTICAL APPROACH; STATISTICAL TESTING; STRUCTURAL TESTING; TESTING OBJECT-ORIENTED PROGRAMS; TRAVEL AGENCY;

OBJECT ORIENTED PROGRAMMING;

EID: 4544236637     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTCS.1997.614082     Document Type: Conference Paper

References (18)

1. S. Barbey, D. Buchs, C. Pcraire, "A Theory of Specification-Based Testing for Object-Oriented Software", in Proc. 2nd European Dependable Computing Conf. (EDCC-2), Taormina, Italy, pp.303-320, 1996.
2. B. Beizer, Software Testing Techniques, 2nd Edition, Van Nostrand Reinhold, New York, 1990.
3. G. Bernot, M-C. Gaudel, B. Marre, "Software Testing Based on Formal Specifications: A Theory and a Tool", IEE Software Engineering Journal, 6 (6), pp.387-405, 1991.
4. R. Binder, "Testing Object-Oriented Software: a Survey", Software Testing, Verification & Reliability, 6 (3/4), pp.125-252, 1996.
5. M. Daran, P. Thévenod-Fosse, "Software Error Analysis: A RealCase Study Involving Real Faults and Mutations", in Proc. ACM Int. Symp. Software Testing and Analysis (ISSTA'96), San Diego, USA, pp.158-171, 1996.
6. R-K. Doong, P. Frankl, "The ASTOOT Approach to Testing Object-Oriented Programs", ACM Trans. Soft. Engineering and Methodology, 3 (2), pp. 101-130,1994.
7. M-J. Harrold, J. McGregor, K. Fitzpatrick, "Incremental Testing of Object-Oriented Class Structures", in Proc. 14th IEEE Int. Conf. on Software Engineering (ICSE-14), Melbourne, Australia, pp.68-80, 1992.
8. P. Jorgensen, C. Erickson, "Object-Oriented Integration Testing", Communications of the ACM, 37 (9), pp.30-38, 1994.
9. D. Kung et al., "Developping an Object-Oriented Software Testing and Maintenance Environment", Communications of the ACM, 38 (10), pp. 75-87, 1995.
10. B. Meyer, Eiffel - The Language, Prentice-Hall International, Object-oriented Series, 1992.
11. D. E. Perry, G. E. Kaiser, "Adequate Testing and Object-Oriented Programming", Journal of Object-Oriented Programming, 2 (3, pp.13-19, 1990.
12. M. Smith, D. Robson, "Object-Oriented Programming - the Problems of Validation", in Proc. IEEE Conf. on Software Maintenance, New York, pp.272-281, 1990.
13. P. Thévenod-Fosse, H. Waeselynck, Y. Crouzet, "An Experimental Study of Software Structural Testing: Deterministic versus Random Input Generation", in Proc. 21st IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-21), Montrcal, pp. 410-417, 1991.
14. P. Thévenod-Fosse, H. Waeselynck, "Statemate Applied to Statistical Testing", in Proc. ACM Int. Symp. on Sofhvare Testing and Analysis (ISSTA '93), Cambridge, USA, pp. 99-109, 1993.
15. K. Waldén, J.-M. Nerson, Seamless Object-Oriented Software Architecture, Prentice-Hall, The Object-Oriented Series, 1995.
16. P. Wegner, "Dimensions of Object-Based Language Design", in Proc. ACM Conf. on Object-Oriented Programming, Systems and Language (OOPSLA'87), New York, pp. 168-182, 1987.
17. P. Wegner, "Interactive Foundations of Object-Based Programming", IEEE Computer, 28 (10), pp.70-72, 1995.
18. E. Weyuker, "Axiomatizing Software Test Data Adequacy", IEEE Trans. Software Engineering, SE-12 (3/4), pp. 125-252, 1996.