Patent ID: 7930682
Filing Date: 2011-04-19
Classification: G06F

Abstract:
1. A method of generating test frames in specification-based testing, the method comprising the steps of: receiving a test design as an input, wherein the test design is represented as an extended context-free grammar (ECFG); constructing a context-free grammar graph based on the test design, wherein the context-free grammar graph comprises a plurality of paths; analyzing the context-free grammar graph to generate a first set of paths from the plurality of paths that satisfy one or more pre-conditions by examining each valid path from the plurality of paths, starting from a root node of the context-free grammar graph to a leaf node of the context-free grammar graph, wherein examining each valid path comprises the steps of: repeatedly expanding the cycles in the paths of the first set of paths, wherein repeatedly expanding the cycles comprises, for each of the cycles, determining if the cycle is guarded by a pre-condition of the one or more pre-conditions, expanding the cycle as long as the guarding pre-condition remains true when the cycle is guarded, and expanding the cycle a random number of times when the cycle is not guarded; and emitting a set of test frames as an output, wherein the set of test frames is a second set of paths obtained from the first set of paths that satisfy a frame constraint specified in the test design.