ICTACT Journal on Soft Computing

Open Access Open Access  Restricted Access Subscription Access
Open Access Open Access Open Access  Restricted Access Restricted Access Subscription Access

OCL-Based Test Case Generation Using Category Partitioning Method


Affiliations
1 Department of Computer Applications, Thiagarajar College of Engineering, India
     

   Subscribe/Renew Journal


The adoption of fault detection techniques during initial stages of software development life cycle urges to improve reliability of a software product. Specification-based testing is one of the major criterions to detect faults in the requirement specification or design of a software system. However, due to the non-availability of implementation details, test case generation from formal specifications become a challenging task. As a novel approach, the proposed work presents a methodology to generate test cases from OCL (Object constraint Language) formal specification using Category Partitioning Method (CPM). The experiment results indicate that the proposed methodology is more effective in revealing specification based faults. Furthermore, it has been observed that OCL and CPM form an excellent combination for performing functional testing at the earliest to improve software quality with reduced cost.

Keywords

Software Testing, Specification-Based Testing, OCL, CPM, Formal Specification.
Subscription Login to verify subscription
User
Notifications
Font Size

  • Joseph Gil, John Howse and Stuart Kent, “Constraint Diagrams. A Step beyond UML”, Technology of Object-Oriented Languages and Systems, pp 1-10, 1999.

  • Philippe Collet and Roger Rousseau, “Towards Efficient Support for Executing the Object Constraint Language”, Proceedings of Technology of Object-Oriented Languages and Systems, pp. 399-408, 1999.

  • Ben Potter Jane Sinclair and Jane Sinclair, “An Introduction to Formal Specification and Z”, 2nd Edition. Prentice Hall, 1996.

  • Percy Antonio Pari Salas and Bernhard K. Aichernig, “Automatic Test Data Generation for OCL: A Mutation Approach”, Proceedings of 5th International Conference on Quality Software, pp. 64-71, 2005.

  • Li Bao-Lin, Li Zhi-shu, Li. Qing, and Chen Yan Hong, “Test Case Automate Generation from UML Sequence Diagram and OCL expression”, International Conference on Computational Intelligence and Security, pp. 1048-1052, 2007.

  • S. Ali, M. Z. Iqbal, A. Arcuri, and L. Briand, “A Search-based OCL Constraint Solver for Model-based Test Data Generation”, Proceedings of 11th International Conference on Quality Software, pp. 41-50, 2011.

  • Achim D. Brucker, Matthias P. Krieger, Delphine Longuet and Burkhart Wolff, “A Specification-Based Test Case Generation Method for UML/ OCL”, Proceedings of International Conference on Models in Software Engineering, pp. 334-348, 2011.

  • Thomas J Ostrand and Marc J Balcer, “The Category-Partition Method for Specifying and Generating Functional Tests”, Communications of the ACM, Vol. 31, No. 6, pp. 676-686, 1988.

  • Jagadish Bansiya and Carl Davis, “Automated Metrics and Object-Oriented Development”, Dr. Dobb’s Journal, pp. 42-48, 1997.

  • N. Amla and P. Ammann, “Using Z Specifications in Category Partition Testing”, Proceeding of the Seventh Annual Conference on Systems Integrity, Software Safety and Process Security: Building the System Right, pp. 3-10, 1992.

  • Paul Ammann and Jeff Offutt, “Using Formal Methods to Derive Test Frames in Category-Partition Testing”, Proceedings of 9th Annual Conference on Computer Assurance, pp. 69-80, 1994.

  • Jeff Offutt and Alisa Irvine, “Testing Object-Oriented Software using the Category-Partition Method”, Proceedings of 17th International Conferences on Technology of OO Languages and Systems, pp. 293-303, 1995.

  • Matthias Grochtmann and Klaus Grimm, “Classification trees for partition testing”, Software Testing, Verification and Reliability, Vol. 3, No. 2, pp. 63-82, 1993.

  • T.Y. Chen, Pak Lok Poon and T.H. Tse, “A Choice Relation Framework for Supporting Category Partition Test Case Generation”, IEEE Transactions on Software Engineering, Vol. 29, No. 7, pp. 577-593, 2003.

  • Antonia Bertolino, Jinghua Gao, Eda Marchetti, and Andrea Polini, “Automatic test data generation for XML Schema-Based Partition Testing”, Proceedings of 2nd International Workshop on Automation of Software Test, 2007.


Abstract Views: 357

PDF Views: 3




  • OCL-Based Test Case Generation Using Category Partitioning Method

Abstract Views: 357  |  PDF Views: 3

Authors

A. Jalila
Department of Computer Applications, Thiagarajar College of Engineering, India
D. Jeya Mala
Department of Computer Applications, Thiagarajar College of Engineering, India

Abstract


The adoption of fault detection techniques during initial stages of software development life cycle urges to improve reliability of a software product. Specification-based testing is one of the major criterions to detect faults in the requirement specification or design of a software system. However, due to the non-availability of implementation details, test case generation from formal specifications become a challenging task. As a novel approach, the proposed work presents a methodology to generate test cases from OCL (Object constraint Language) formal specification using Category Partitioning Method (CPM). The experiment results indicate that the proposed methodology is more effective in revealing specification based faults. Furthermore, it has been observed that OCL and CPM form an excellent combination for performing functional testing at the earliest to improve software quality with reduced cost.

Keywords


Software Testing, Specification-Based Testing, OCL, CPM, Formal Specification.

References