PATENT CLAIM ANALYSIS

Application Number: 16014694
Application Type: Utility
Filing Date: 2018-06
Publication Date: 2018-10
Patent Classification: ["717", "124000"]

Abstract:
A system for equivalence class analysis-based automated requirements-based test case generation includes a control processor, 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 to generate equivalence class tests and identify uncovered input space, and a boundary class analyzer unit structured to identify boundaries of the equivalence classes and generate boundary value tests and robustness tests. A method for equivalence class analysis-based automated requirements-based test case generation implementable on the system, and a non-transitory computer readable medium are also disclosed.

Claim (Index 15):
The non-transitory computer-readable medium of  claim 14 , including executable instructions to cause the control processor to:\n partition input space to obtain convex polytopes including normal range polytopes and abnormal range polytopes; split the convex 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, the test criteria including a time domain condition; identify shared facets between every two polytopes, where the shared facet represents a boundary between equivalence classes; and\n generate tests by selecting values from the shared facets based on the test criteria, the generated test is a boundary value test if a normal range polytope or a robustness test if an abnormal range polytope.

Metadata:
- Claim Count in Document: 15.0
- Percentile: 94.0
- Lexical Diversity: 2.27143
- Patent Class: 717.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: False
- Related Applications: ['14560766', '15510029', '15480592', '12485888', '12476335']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.3336556654417827
- 35 USC 102 Novelty (BERT): 0.4907987747120477
- Combined Prediction Score: 0.3493699763688093
- Mean Citation Score: 125.35315919999998
- Max Citation Score: 143.62775
- Similarity Product: 103.0788887896687

Labels:
- Claim Label 101: 1
- Claim Label 102: 1
- Claim Label 103: 1
- Claim Label 112: 0
- Combined Label: 1
- Label 101 Adjusted: 1

Dataset: test