Abstract
The field of software testing is full of challenges. Software test engineers face numerous challenges such as understanding the requirements, testing under time-constraints, and designing an efficient set of test cases. The software is tested in order to make sure that the system fulfills its purpose. Model-based testing has progressed leaps and bounds and is regarded as the preferred means of testing. In the recent past, there has been a remarkable increase in research and tools surrounding model-based testing. Model-based testing is an effective method to generate an efficient suite of test cases. It depends on three key technologies: the notation used for the data model, the test generation algorithm, and the tool that generates supporting infrastructure for tests, including expected outputs. Model-based testing makes testing easier, faster and more economical. It is a valuable asset for test development teams. The aim of this project is to implement a tool that allows the test engineers to design and generate an efficient set of test cases. The tool itself is based on a pre-defined algorithm designed by IBM.