T-VEC Tool Integrations

From T-VEC Wiki
Revision as of 17:49, 18 May 2007 by Admin (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The following images represents the relationship between T-VEC tools and other tools such as DOORS, Simulink/Stateflow and LDRA tools. The Simulink Tester for T-VEC provides the main integration with the Simulink and Stateflow tools.

TBRun is a test execution and test results analysis tool. T-VEC can generate the TBRun .tcf scripts automatically from requirements models (TTM) and/or design models (Simulink). TBReq is a requirements traceability tool that helps organize and manage the manual creation of test scripts, based on the manual interpretation of informal requirement information, while maintaining manually created traceability links back to the informal requirements that the test vector is meant to test.

The picture below shows a complete development environment that supports both model-based and also manual based aspects of software development.

  • Informal (human language) capture of requirements (DOORS)
    • Manual development of test vectors (TBRun)
      • with manual traceability back to informal requirements info (TBReq)
    • The formal modeling of requirements (TTM) and design (Simulink)
      • Automatic model analysis (TTM, Simulink Tester, T-VEC)
        • with automatic traceability back to formal and informal requirements and design info
      • Automatic code generation (Simulink)
      • Automatic generation of test vectors (T-VEC)
        • with automatic traceability back to formal and informal requirements (TTM, T-VEC) and design info (Simulink, T-VEC)
      • Automatic generation of test drivers (T-VEC)
        • with automatic traceability back to formal and informal requirements (TTM, T-VEC) and design info (Simulink, T-VEC)


Tool Integration with LDRA