SYSTEM AND METHOD OF TEST CASE GENERATION BASED ON EQUIVALENCE CLASS ANALYSIS DERIVED FROM DESIGN REQUIREMENTS

摘要

A system for equivalence class analysis-based automated requirements-based test case generation includes a control processor 110, a data store 130 containing textual design requirements, a textual converter unit 140 structured to convert the textual design requirements to a machine-readable version of design requirements, a requirement partition unit 190 configured to partition the machine-readable design requirements into one or more sets of related design requirements, an equivalence class partition unit 150 configured to process the machine-readable design requirements and input/output variables into a set of equivalence classes, an equivalence class analyzer unit 160 structured to analyze the set of equivalence classes to generate equivalence class tests and identify uncovered input space, and a boundary class analyzer unit 170 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.