Patent Document ID: 10025696
Application ID: 15019725
Patent Status: 1

Claim One:
1. A system for equivalence class analysis-based automated requirements-based test case generation, the system comprising: a control processor configured to execute computer instructions to control components of the system; a data store containing textual design requirements; a textual converter unit structured to convert the textual design requirements to a machine-readable version of design requirements; a requirement partition unit configured to partition the machine-readable design requirements into one or more sets of related design requirements, an equivalence class partition unit configured to process the machine-readable design requirements and input/output variables into a set of equivalence classes; an equivalence class analyzer unit structured to analyze the set of equivalence classes, wherein analyzing the set of equivalence classes includes partitioning the machine-readable design requirements by identifying sets of design requirements connected in a chain of dependencies; and a boundary class analyzer unit structured to identify boundaries of the equivalence classes; wherein the control processor is further configured to execute computer instructions to: partition over all input space to obtain the convex polytopes including, where the input space is partitioned into normal range and abnormal range polytopes; split the polytopes using each design requirement and an associated requirement condition into a sub-polytope not covered by the associated requirement condition, and a sub-polytope covered by the associated requirement condition; sort each polytope into a corresponding equivalence class; for polytopes in the normal range select an equivalence class test by picking a value from the polytope according to a test criteria, else not generate an equivalence class test; identify shared facets between every two polytopes, where the shared facet represents a boundary between equivalence classes; generate tests by selecting values from the shared facets based on the test criteria; where the generated test is a boundary value test if a normal range polytope; and where the generated test is a robustness test if an abnormal range polytope.