How is T-VEC typically used to replace manual processes?
The primary manual processes eliminated or reduced include: – test design (i.e., determining test inputs, expected output, traceability to requirements) – test driver development – specification analysis (i.e., determining specification correctness by identifying contradictions) The key differences from standard approaches to software development include that model analysis and test vector generation are performed both during and immediately following requirements specification by the specifier, not the tester. This effectively zero effort task helps ensure model correctness and produces the test cases necessary for unit and integration testing. Once the software interfaces stablize during design and implementation, test driver design and generation proceeds such that test execution is automatic when the implementation becomes available. The ultimate effect is that the cycle-time can be significantly reduced.