International Business Machines Corporation

Alion Adir

Itai Jaeger

Laurent Fournier

Sigal Asaf

Ofer Peled

Methods and systems are presented for generation of a test suite in order to validate compliance of a process with its process specification. The methodology involves a formal description of the process using a flowchart, refinement of the flowchart to include misinterpretations of the process specification, defining compliance coverage models over the flowchart, and automatically generating test case scenarios that cover the models. Internal and external types of misinterpretation are distinguished. A compliance test suite is automatically generated and observations made of the details of the traversal through the flow chart when the tests are executed.

Growing community of inventors

Kiryat Tivon, Israel

Alion Adir