Automated Test Case Generation in a Requirements-based testing process
LDRA's TBextremePLUS is a new add-on module to LDRA's unit-test tool TBrun speeding up Requirements based testing. TBextremePLUS supports Boundary Value Testing (BVT) and Equivalence Class Testing (ECT), essential for robustness testing in compliance with DO-178C, ISO 26262 and IEC...