• State TI Thinks Resolved
  • Locked Locked
  • Replies 3 replies
  • Answers 1 answer
  • Subscribers 32 subscribers
  • Views 276 views
  • Users 0 members are here
Support feedback
Options
Options
Related

This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

Original question:

TMS570LC4357: HALCoGen-CSP LDRA

TMS570LC4357: LDRA unit testing for Halcogen Drivers

Veena Saluja
Prodigy 40 points
Part Number: TMS570LC4357
Other Parts Discussed in Thread: HALCOGEN

Tool/software:

a) Are there are any LDRA unit tests for the Halcogen generated drivers that can be used as evidence for statement coverage for DO178C? If so how do we get them and execute them?

b) The code generated seems to have the below comments - example below. How we get the details of the  HL_CONQ_GIO_SR2 ?

*/
/* SourceId : GIO_SourceId_001 */
/* DesignId : GIO_DesignId_001 */
/* Requirements : HL_CONQ_GIO_SR2 */. 

  • 0
    TI__Guru**** 197036 points
    Veena Saluja said:
    HL_CONQ_GIO_SR2

    It is a function ID define in development requirement doc. HL_CONQ_GIO_SR2 --> GIO Initialization

    Veena Saluja said:
    a) Are there are any LDRA unit tests for the Halcogen generated drivers that can be used as evidence for statement coverage for DO178C? If so how do we get them and execute them?

    The HALCOGen CSP will perform the following tests and generate test reports. I believe that those docs will assist you using HalCogen code to comply with safety standards.

    • Dynamic Coverage Analysis Report
    1. Statement Coverage
    2. Branch Coverage
    3. MC/DC Coverage
    • Test Manager report
    1. Quality Review Report - HIS Metrics 
    2. Code Review Report - MISRA C
    3. Regression Report
    4. • Test Results Reports
    • Unit Test Report
    1. Safety Functional Tests
    • Traceability Report
    • Requirement Document
    • Software Architecture Document
    • Design Document
    • Software Safety Manual

    To run the test, the LDRA tool is required. The LDRA tool is not provided as a part of the CSP download. You need to contact LDRA to purchase and install LDRA Unit software from them.

    SAFETI-HALCOGEN-CSP IDE, configuration, compiler or debugger | TI.com

  • 0 in reply to QJ Wang
    Prodigy 40 points

    Thanks for your reply.

    a) How do we get access to the development requirements doc for the function ID details?

    b) We have LDRA tools suite and LDRA TLP. We have got Halocgen. How do we get the CSP?

    c) If we need to modify the drivers, the LDRA unit test would require an update. Would we have access to the tests in the CSP to be able to modify them?

  • 0 in reply to QJ Wang
    Prodigy 130 points

    Any update on questions posted below?