From nondeterministic UML protocol statemachines to class contracts

ICST 2010 - 3rd International Conference on Software Testing, Verification and Validation

Volumn , Issue , 2010, Pages 107-116

  Porres, Ivan ^a   Rauf, Irum ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL INTERFACES; CLASS INTERFACES; DETERMINISTIC BEHAVIOR; NUMBER OF STATE; RUNTIMES; SELF-TRANSITION; STATE MACHINE; TARGET STATE; TEST CASE; TEST CASE GENERATION; UML MODEL;

COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTOUR FOLLOWERS; SOFTWARE TESTING; UNIFIED MODELING LANGUAGE;

VERIFICATION;

EID: 77954552742     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2010.62     Document Type: Conference Paper

References (32)

1. A. Evans, R. France, K. Lano, and B. Rumpe, Developing the UML as a formal modelling notation, In UML'98 Proceedings, Springer-Verlag, LNCS 1618, 1998.
2. UML Revision Task Force. OMG UML Specification 2.2, 2009. Available at http://www.omg.Org/spec/UML/2.2/.
3. B.K. Aichernig, Contract-Based Testing, Formal Methods at the Crossroads: From Panacea to Foundational Support, Lecture Notes in Computer Science, vol. 2757/2003, pp. 34-48, February, 2004
4. Y. Cheon, Automated Random Testing to Detect Specification-Code Inconsistencies. In Proceedings of the International Conference on Software Engineering Theory and Practice, Orlando, Florida, U.S.A., July 9-12, 2007,
5. Y. Cheon, and G. T. Leavens, The JML and JUnit Way of Unit Testing and its Implementation. Technical Report 04-02, Department of Computer Science, Iowa State University, Ames, IA, February 2004.
6. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, R. Stata, Extended static checking for Java, In ACM SIGPLAN '02: Proceedings of the Conference on Programming language design and implementation, Berlin, Germany, June 17-19, 2002.
7. A. Leitner, I. Ciupa, O. Manuel, B. Meyer, and A. Fiva, Contract driven development = test driven development-writing test cases. In ESEC-FSE '07: Proceedings of the ACM Symposium on The Foundations of Software Engineering, pp. 425-434, New York, NY, USA, 2007.
8. E. Gery, D. Harel, and E. Palatshy, Rhapsody: A Complete Lifecycle Model-Based Development System. In IFM '02: Proceedings of the Third International Conference on Integrated Formal Methods, Vol. 2335, pp. 1-10, Turku, Finland, 2002.
9. T. Mens, P. V. Gorp, A Taxonomy of Model Transformation. In Proceedings of the International Workshop on Graph and Model Transformation, 2005.
10. I. Ciupa, and A. Leitner, Automatic testing based on Design by Contract. In Proceedings of Net. Object Days '05, 6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts and Applications for a Networked World, pp. 545-557, 2005.
11. S. R. Dalai, A. J. N. Karunanithi, J. M. L. Leaton, G. C. P. Patton, and B. M. Horowitz, Model-based testing in practice. In ICSE '99: Proceedings of the International Conference on Software Engineering, pp. 285-94, New York, 1999.
12. C. Snook, and M. Butler, UML-B: Formal modelling and design aided by UML. ACM Transactions on Software Engineering and Methodology,'06. Vol. 15, pp. 92 - 122, Issue 1 January, 2006.
13. Y. Kim, H. Honh, S. Cho, D. Bae and S. Cha, Test Cases Generation from UML State Diagrams. IEE Proceedings Software, Vol. 146, pp. 187-192, August, 1999.
14. E. Sekerinski and R. Zurob, iState: A statechart translator. In M. Gogolla and C. Kobryn, editors, Proceedings of the 4th International Conference on the Unified Modeling Language, Lecture Notes in Computer Science, Vol. 2185, pp. 376-390, Toronto, Canada, 2001.
15. D. Latella, I. Majzik and M. Massink, Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-Checker, Formal Aspects of Computing, Vol. 11, pp. 637-664, December, 1999.
16. J. Lilius and I. Porres, Formalising UML State Machines for Model Checking. In Proceedings of UML'99 The Unified Modeling Language, Lecture Notes in Computer Science, pp. 430-445, Springer-Verlag, 1999.
17. A. Knapp, S. Merz and C. Rauh, Model Checking Timed UML State Machines and Collaborations. In Proceedings of 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems, Vol.2469/2002, pp. 395-414, January, 2002.
18. A. Leitner, I. Ciupa, B. Meyer and M. Howard, Reconciling manual and automated testing: the Auto Test experience. In Proceedings of the 40th Hawaii International Conference on System Sciences, January, 2007.
19. L. C. Briand, Y Labiche and H. Sun, Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code. In ISSTA 02: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software testing and analysis, pp. 70-80, 2002.
20. E. Sekerinski, Graphical design of reactive systems. In Recent Advances in the Development and Use of the B Method, Lecture Notes in Computer Science, Vol.1393/1998, pp. 182, February, 2004.
21. E. Sekerinski, Verifying Statecharts with State Invariants. In the Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems, pp. 7-14, 2008
22. W. Araujo, L. C. Briand and Y Labiche, Concurrent Contracts for Java, Carleton University, TR SCE-07-11
23. B. Meyer, Applying Design by Contract, Computer, IEEE Computer, Vol. 25, pp. 40-51, October, 1992.
24. S. Ali, L. C. Briand, M. Jaffar-ur Rehman, H. Asghar, Z. M. Iqbal, A. Nadeem, A State-based Approach to Integration Testing for Object-Oriented Programs, Information and Software Technology, Vol. 49, Issue: 11-12, pp.1087-1106, 2007.
25. S. Kansomkeat, W Rivepiboon, Automated-Generating Test Case Using Statechart Diagrams, In Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, Vol. 47, pp. 296-300, 2003.
26. R. Van Der Straeten, Inconsistency Management in Model-driven Engineering - An Approach using Description Logics. PhD thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium, 2005.
27. I. A. Niaz, J. Tanaka, Mapping Uml Statecharts To Java Code, In Proceedings of IASTED International Conference on Software Engineering, 2004.
28. E. Benowitz, K. Clark, G. Watney, Auto-coding UML stat-echarts for flight software, In SMC-IT'06: Proceedings of the 2nd IEEE International Conference on Space Mission Challenges for Information Technology, pp. 413-417, 2006.
29. D. Björklund, J. Lilius, and I. Porres, Towards efficient code synthesis from Statecharts. In A. Evans, R. France, A. Moreira, and B. Rumpe, editors, Workshop of the pUML-Group held together with the UML2001 conference, Lecture Notes in Informatics, pp. 29-41. GI, Oct 2001.
30. G. T. Leavens, A. L. Baker and C. Ruby, JML: a Java modeling language. In Formal Underpinnings of Java Workshop at OOPSLA98, October, 1998.
31. J. Lampinen, Interface specification methods for software components, Publications in the Laboratory for Theoretical Computer Science, Helsinki University of Technology, Department of Information and Computer Science, June, 2008.
32. I. Porres and I. Rauf, Generating class contracts from UML protocol statemachines, In the Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, Denver, Colorado, 2009.