What are the key capabilities of T-VEC Test Generation Technology?
• Scalable Constraints and Subsystems – Supports specification decomposition and control of the combinatorial explosion of test cases that can result from attempting to test every executation path. • Test Vectors – Typically, test case generators only produce test inputs. T-VEC produces test vectors including test inputs, expected outputs (post-conditions) and justification (direct traceability to governing requirements). • Specification Execution Engine – Specifications may be manually debugged to locate sources of contradiction. • Rigorous Test Selection Heuristics – T-VEC’s criteria for selecting tests is based on an extended form of Domain Testing Theory that produces results effective in detecting both domain (ie decision) and computation errors by producing test points along system boundaries. • Non-linear Convergence Capability – The ability to generate test vectors for complex expressions.
