Patent ID: 8423879
Filing Date: 2013-04-16
Classification: G06F

Abstract:
1. A method for generating tests, comprising: initializing a test generator; inputting a diagram representing requirements for a system-performing device comprising a plurality of nodes, including a plurality of embedded nodes, and a plurality of arcs, each arc connecting one or more of the plurality of nodes, and wherein each node in the plurality of nodes belongs to a primary semantic notation except for the plurality of embedded nodes, wherein each embedded node in the plurality of embedded nodes comprises at least one sub-diagram belonging to a secondary semantic notation that is not the same as the primary semantic notation; propagating type and range information (TRI) through the diagram and determining a plurality of test-generation templates for each node in the plurality of the nodes using a propagation method, wherein TRI is propagated and test-generation templates generated based on the primary semantic notation for each node in the plurality of nodes except for the plurality of embedded nodes, and wherein the TRI is propagated and test-generation templates for each embedded node in the plurality of embedded nodes are generated based on the semantic notation of the at least one sub-diagram; and generating tests for the diagram based on the plurality of test-generation templates.