Model-based test cases synthesis using UML interaction diagrams

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Model-based test cases synthesis using UML interaction diagrams

Full text

Pdf (961 KB)

Source

ACM SIGSOFT Software Engineering Notes archive
Volume 34 , Issue 2 (March 2009) table of contents

SECTION: Article abstracts with full text online table of contents

Pages 1-10

Year of Publication: 2009

ISSN:0163-5948

Authors

Ashalatha Nayak	Indian Institute of Technology Kharagpur, WestBengal, India
Debasis Samanta	Indian Institute of Technology Kharagpur, WestBengal, India

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 17, Downloads (12 Months): 155, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1507195.1507209 What is a DOI?

ABSTRACT

UML 2.0 interaction diagrams model interactions in complex systems by means of operation fragments and a systematic testing approach is required for the identification and selection of test cases. The major problem for test cases synthesis from such an interaction diagram is to arrive at a comprehensive system behavior in the presence of multiple, nested fragments. In this regard, our approach is towards systematic interpretation of flow of controls as well as their subsequent usage in the test case synthesis. We also simplify the proposed flow of controls on the basis of control primitives resulting from UML 2.0 fragments and bring it to a testable form known as intermediate testable model (ITM), which is suitable for deriving system level test cases.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Frances E. Allen, Control flow analysis, ACM SIGPLAN Notices, v.5 n.7, p.1-19, July 1970
	2	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	3	F. Basanieri and A. Bertolino. A practical approach to UML-based derivation of integration tests. In Proceedings of the Software Quality Week QWE2000, November 2000.
	4	D. Bell. UML's sequence diagram. Technical Library, IBM Rational Software, February 2004.
	5	Robert V. Binder, Testing object-oriented systems: models, patterns, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
	6	L. Briand and Y. Labiche. A UML-based approach to system testing. Journal of Software and Systems Modeling, pages 10--42, 2002.
	7	E. G. Cartaxo, F. G. O. Neto, and P.D.L Machando. Test case generation by means of UML sequence diagrams and Labeled Transition Systems. In Proceedings of IEEE International Conference on systems, man and Cybernetics, pages 1292--1297, October 2007.
	8	Fan-Tien Cheng, Chin-Hui Wang, and Yu-Chuan Su. Development of a generic tester for distributed object-oriented systems. In Proceedings of IEEE International Conference on Robotics and Automation, pages 1723--1730, September 2003.
	9	Z. Dai. Model-driven testing with UML 2.0. In Proceedings of the 2nd European Workshop on Model Driven Architecture, 2004.
	10	Falk Fraikin , Thomas Leonhardt, SeDiTeC " Testing Based on Sequence Diagrams, Proceedings of the 17th IEEE international conference on Automated software engineering, p.261, September 23-27, 2002
	11	A. Z. Javed , P. A. Strooper , G. N. Watson, Automated Generation of Test Cases Using Model-Driven Architecture, Proceedings of the Second International Workshop on Automation of Software Test, p.3, May 20-26, 2007 [doi>10.1109/AST.2007.2]
	12	Bingchiang Jeng , Elaine J. Weyuker, A simplified domain-testing strategy, ACM Transactions on Software Engineering and Methodology (TOSEM), v.3 n.3, p.254-270, July 1994 [doi>10.1145/196092.193171]
	13	Clementine Nebut , Franck Fleurey , Yves Le Traon , Jean-Marc Jezequel, Automatic Test Generation: A Use Case Driven Approach, IEEE Transactions on Software Engineering, v.32 n.3, p.140-155, March 2006 [doi>10.1109/TSE.2006.22]
	14	Pan-Wei Ng. Hunting for use-case scenarios. The Rational Edge, October 2003.
	15	Orest Pilskalns , Anneliese Andrews , Andrew Knight , Sudipto Ghosh , Robert France, Testing UML designs, Information and Software Technology, v.49 n.8, p.892-912, August, 2007 [doi>10.1016/j.infsof.2006.10.002]
	16	UML. UML 2.0 Superstructure - Final Adopted Specification. Object Management Group, 2003. http://www.omg.org/docs/ad/03-08-02.pdf.
	17	Fubo Zhang , Erik H. D'Hollander, Using Hammock Graphs to Structure Programs, IEEE Transactions on Software Engineering, v.30 n.4, p.231-245, April 2004 [doi>10.1109/TSE.2004.1274043]