Traceability in model-based testing

Traceability is a substantial attribute of software quality assurance. Traceability ensures the precise translation of requirements throughout the software development life cycle. The prevailing techniques employed to trace requirements are manual as yet. The model-based testing is an entirely automated test generation approach; test suit is generated from models that describe system s behavior. This thesis analyses and discusses the automation of requirements to test cases tractability by means of model-based approach. A heuristic method is inferred to achieve traceability automation through model-based testing. Moreover, an application and evaluation of the method is conducted to define opportunities and deficiencies