PATH COVERAGE CRITERION IN SPECIFICATION-BASED TESTING BASED ON AN EXTENDED CONTEXT-FREE GRAMMAR-BASED TEST SPECIFICATION MODEL AND A NEW TEST GENERATION ALGORITHM

A system and method for generating test frames in specification-based testing by using a path-coverage criterion is provided. The method includes receiving a test design as an input, and constructing a context-free grammar graph, based on the test design. The method further includes analyzing the context-free grammar graph to generate a first set of paths, and emitting a set of test frames as an output, based on the first set of paths.