A theory of regression testing for behaviourally compatible object types

Software Testing Verification and Reliability

Volumn 16, Issue 3, 2006, Pages 133-156

  Simons, Anthony J H ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Behavioural subtyping; Object oriented; Regression testing; State refinement; State based testing; Testing adequacy

Indexed keywords

AUTOMATIC TESTING; MATHEMATICAL MODELS; REGRESSION ANALYSIS;

BEHAVIOURAL SUBTYPING; REGRESSION TESTING; STATE REFINEMENT; STATE-BASED TESTING; TESTING ADEQUACY;

OBJECT ORIENTED PROGRAMMING;

EID: 33748321947     PISSN: 09600833     EISSN: 10991689     Source Type: Journal    
DOI: 10.1002/stvr.349     Document Type: Article

References (35)

1. McGregor JD, Korson T. Integrating object-oriented testing and development processes. Communications of the ACM 1994; 37(9):59-77.
2. McGregor JD, Kare A. Parallel architecture for component testing of object-oriented software. Proceedings of the 9th Annual Software Quality Week, San Francisco, CA, May 1996. Software Research Inc.: San Francisco, CA, 1996.
3. Beck K, Gamma E. The JUnit project. http://www.junit.org/ [18 April 2006].
4. Stotts D, Lindsey M, Antley A. An informal formal method for systematic JUnit test case generation. Proceedings of the 2nd XP Universe and 1st Agile Universe Conference (XP/Agile Universe 2002), Chicago, IL, August 2002 (Lecture Notes in Computer Science, vol. 2418). Springer: Berlin, 2002; 131-143.
5. Beck K. Extreme Programming Explained: Embrace Change (1st edn). Addison-Wesley: Boston, MA, 2000.
6. Beck K. Extreme Programming Explained: Embrace Change (2nd edn). Addison-Wesley: Boston, MA, 2005.
7. Wells D. Unit tests: Lessons learned. The rules and practices of eXtreme Programming. http://www.extremeprogramming.org/rules/unittests2.html [18 April 2006].
8. Hopcroft JE, Ullman JD. Introduction to Automata Theory, Languages and Computation. Addison-Wesley: Reading, MA, 1979.
9. Dickert V, Rozenberg G (eds.) The Book of Traces. World Scientific: Singapore, 1995.
10. Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design. Prentice-Hall: Englewood Cliffs, NJ, 1991.
11. Object Management Group. UML Resource Page. http://www.omg.org/uml/ [18 April 2006].
12. Harel D, Naamad A. The Statemate semantics of statecharts. ACM Transactions on Software Engineering and Methodology 1996; 5(4):293-333.
13. Bjorkander M. Real-time systems in UML (and SDL). Embedded Systems Engineering, 2000. http://www.telelogic.com/download/paper/ realtimerev2.pdf [18 April 2006].
14. McGregor JD, Dyer DM. A note on inheritance and state machines. Software Engineering Notes 1993; 18(4):61-69.
15. McGregor JD. Constructing functional test cases using incrementally-derived state machines. Proceedings of the 11th International Conference on Testing Computer Software, Washington, DC, June 1994. The U.S. Professional Development Institute (USPDI), 1994.
16. Liskov B, Wing JM. A new definition of the subtype relation. Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP 1993), Kaiserslautern, Germany, July 1993 (Lecture Notes in Computer Science, vol. 707). Springer: Berlin, 1993; 118-141.
17. Cook S, Daniels J. Designing Object-Oriented Systems: Object-Oriented Modelling with Syntropy. Prentice-Hall: London, 1994.
18. Milner R. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press: Cambridge, U.K., 1999.
19. Ebert J, Engels G. Structural and behavioural views on OMT-classes. Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo, Italy, September 1994 (Lecture Notes in Computer Science, vol. 858). Springer: Berlin, 1994; 142-157.
20. Lano K, Clark D, Androutsopoulos K, Kan P. Invariant-based synthesis of fault-tolerant systems. Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 2000), Pune, India, September 2000 (Lecture Notes in Computer Science, vol. 1926). Springer: Berlin, 2000; 46-57.
21. Fiadeiro J, Maibaum T. Temporal theories as modularisation units for concurrent system specification. Formal Aspects of Computing 1992; 4(3):239-272.
22. Cardelli L, Wegner P. On understanding types, data abstraction and polymorphism. ACM Computing Surveys 1985; 17(4):471-521.
23. Simons AJH. The theory of classification, Part 5: Axioms, assertions and subtyping. Journal of Object Technology 2003; 2(1):13-21.
24. Gamma E, Helm R, Johnson R, Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley: Boston, MA, 1995.
25. Chow TS. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering 1978; 4(3):178-187.
26. Binder RV. Testing object-oriented systems: A status report (3rd edn). http://www.rbsc.com/pages/ootstat-html [18 April 2006].
27. Holcombe WML, Ipate F. Correct Systems: Building a Business Process Solution (Applied Computing Series). Springer: Berlin, 1998.
28. Ipate F, Holcombe WML. An integration testing method that is proved to find all faults. International Journal of Computational Mathematics 1997; 63(3-4):159-178.
29. Bernot B, Gaudel M-C, Marre B. Software testing based on formal specifications: A theory and a tool. Software Engineering Journal 1991; 6(6):387-405.
30. Fowler M. Refactoring: Improving the Design of Existing Code. Addison-Wesley: Boston, MA, 1999.
31. Bracha G, Cook WR. Mixin-based inheritance. Proceedings of the 5th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 1990) and the 4th European Conference on Object-Oriented Programming (ECOOP 1990), Ottawa, Canada, October 1990. Published as ACM SIGPLAN Notices 1990; 25(10):303-311.
32. Cook WR. A proposal for making Eiffel type-safe. Proceedings of the 3rd European Conference on Object-Oriented Programming (ECOOP 1989), Nottingham, U.K., July 1989. Cambridge University Press: Cambridge, U.K., 1989; 57-70. Reprinted in The Computer Journal 1989; 32(4):305-311.
33. Bogdanov KE. Automated testing of Harel's statecharts. PhD Thesis, University of Sheffield, 2000.
34. Simons AJH, Stannett MP, Bogdanov KE, Holcombe WML. Plug and play safely: Behavioural rules for compatibility. Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA, November 2002. Acta Press: Calgary, Canada, 2002; 263-268.
35. Simons AJH. Letter to the editor. Journal of Object Technology, 5 December 2003. http://www.jot.fm/general/letters/comment_simons_html [18 April 2006].