Add-on Products for VectorCAST/C++
Modified Condition/Decision Coverage (MC/DC)
Modified Condition / Decision Coverage (MC/DC) provides two levels of verification for conditional expressions. The first level, named MC/DC Branches, tracks each subcondition in an expression to verify that is has been tested with both True and False values. The second level, named Equivalence Pairs, verifies if each subcondition can affect the value of the condition. This is done by generating a truth table for the expression, and then finding a pair of rows in the table that will generate a different result when all values except the tested value remain constant. During execution, if both rows have been executed, then the test proves that, by changing only the tested value, the condition's value changes.
Requirements Gateway
The VectorCAST Requirements Gateway permits the flow of data between a requirements management tool and the VectorCAST testing tools. Through a simple and intuitive interface, developers can quickly and easily link requirements to VectorCAST test cases. Once test cases have been executed, the traceability metrics can be viewed from within the VectorCAST framework, or the requirements management Tool. The user has full control over which VectorCAST attributes are passed back to the requirements database. Data such as the "Test Name", "Test Result" {Pass | Fail | none}, and test coverage percentage, can be linked to user chosen attributes in the requirements database.
