Home
Test Execution Specialist Guide
This guide describes tasks that you can perform to test application code in HCL OneTest™ Embedded for Eclipse IDE. This guide is intended for testers or test execution specialists.
Testing with Studio
Test script languages
Component Testing for C++
C++ contract check scripts (.otc)
C++ contract check script keywords

Test Execution Specialist Guide
This guide describes tasks that you can perform to test application code in HCL OneTest™ Embedded for Eclipse IDE. This guide is intended for testers or test execution specialists.
- Testing with HCL OneTest™ Embedded for Eclipse IDE
  Read these topics to learn how to use the product.
- Testing with Studio
  - HCL OneTest™ Embedded Studio overview
    HCL OneTest™ Embedded Studio is the classic user interface that supports C, C++, Ada test and analysis tools.
  - Analyzing static source code
  - Analyzing running applications
  - Testing software components
  - Using the graphical user interface
  - Tests linked to requirements
    With HCL OneTest™ Embedded, you can link a test case or a service to one or several requirements that come from another tool to create a traceability matrix between requirements and test results.
  - Test script languages

C++ contract check script keywords

CLASS and SINGLE CLASS
WRAP
REQUIRE
ENSURE
INVARIANT
STATE
TRANSITION ... TO

Related Topics

C++ contract check script (.otc) | C++ contract check script structure