Author Details

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.

Full Text

References

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”, 2^nd 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 11^th 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 9^th 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 17^th 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 2^nd International Workshop on Automation of Software Test, 2007.

A Hybrid Bat Approach With Tabu Search Algorithm For Test Case Selection In Object Oriented Testing

Abstract Views :277 | PDF Views:0

Authors

B. Geetha ¹, D. Jeya Mala ²

Affiliations
1 Department of Computer Science and Engineering, Anna University, Chennai, IN
2 Department of Master of Computer Applications, Fatima college, IN

Source

ICTACT Journal on Soft Computing, Vol 11, No 1 (2020), Pagination: 2227-2231

Abstract

All research made on the Object-Oriented (OO) paradigms focus on the fundamentals of analysis, programming, and design. The primary problem found in testing the systems which are object-oriented is a methodology of standard testing and this may not be very useful. The test case may execute software using a new set consisting of some input values and will then compare them to the output to check if the test has passed. An optimum test case set is obtained using a process of selection that is viewed to be a problem of optimization. Thus, metaheuristic optimizing or searching is a technique used often for optimizing or searching which is used in automated testing of software. The BAT Algorithm is a metaheuristic that is dependent on the property of echolocation of the miniaturized scale bats. The property further controls the conduct of search of the bats of a small-scale and making them discover prey thus enabling them to identify distinctive types of bugs irrespective of the fact they are found to be dull. The work also proposed a new and hybrid Tabu search algorithm using the BAT for the selection of test case.

Keywords

Object Oriented (OO) Paradigms, Hybrid Tabu Search, Bat Algorithm, Test Case Selection.

Username
Password
Remember me