Plug and play safely: Rules for behavioural compatibility

Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002

Volumn , Issue , 2012, Pages 263-268

  Simons, A J H ^a   Stannett, M P ^a   Bogdanov, K E ^a   Holcombe, W M L ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Behavioural compatibility; Components; Refinement; Statecharts; Subtyping

Indexed keywords

FORMAL LANGUAGES;

BEHAVIOURAL COMPATIBILITY; COMPONENTS; REFINEMENT; STATECHARTS; SUBTYPINGS;

SOFTWARE ENGINEERING;

EID: 84904207291     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. J. L. Lions, Ariane 5 Flight 501 Failure, Report of the Inquiry Board, http://sunnyday.mit.edu/accidents/Ariane5accidentreport.html, July 1996.
2. G. Laycock, The theory and practice of specification based software testing, PhD Thesis, University of Sheffield, 1992.
3. F. Ipate and W. M. L. Holcombe, An integration testing method that is proved to find all faults, Int. J. Comp. Math., 63, 1997, 159-178.
4. W. M. L. Holcombe and F. Ipate, Correct systems: building a business process solution, Applied Computing Series (London: Springer Verlag, 1998).
5. K. E. Bogdanov, Automated testing of Harel's statecharts, PhD Thesis, University of Sheffield, 2000.
6. R. K. Doong and P. Frankl, The ASTOOT approach to testing object-oriented programs, ACM Trans. Softw. Eng. Meth., 3(4), 1994, 101-130.
7. H. Y. Chen, T. H. Tse, F. T. Chan and T. Y. Chen, In black and white: an integrated approach to class-level testing of object-oriented programs, ACM Trans. Software Eng. and Methodol., 7(3), 1998, 250-295.
8. Object Management Group, The UML 1.4 Specification, http://www.omg.org/ uml/, 2002.
9. A. J. H. Simons, On the compositional properties of UML statechart diagrams, Electronic Workshops in Computing: Rigorous Object-Oriented Methods 2000, series ed. C J van Rijsbergen, British Computer Society, 2000, 8. 1-8.12.
10. J. D. McGregor, Constructing functional test cases using incrementally-derived state machines, Proc. 11th Int. Conf. Testing Computer Software, Washington, USPDI, 1994.
11. C. D. Turner and D. J. Robson, A state-based approach to the testing of class-based programs, Software Concepts and Tools, 16(3), 1995, 106-112.
12. S. Cook and J. Daniels, Designing object-oriented systems: object-oriented modelling with Syntropy, (Englewood Cliffs, NJ: Prentice Hall, 1994).
13. L. Cardelli and P. Wegner, On understanding types, data abstraction and polymorphism, ACM Computing Surveys, 17(4), 1985, 471-521.
14. B. Liskov and J. M. Wing. A new definition of the subtype relation, Proc. ECOOP '93, LNCS 707, Springer-Verlag, 1993, 118-141.
15. J. D. McGregor and D. M. Dyer, A note on inheritance and state machines, Software Engineering Notes, 18(4), 1993, 61-69.