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.

SAFETI-HALCOGEN-CSP: Regeneration of quality or traceability reports and test cases details

Part Number: SAFETI-HALCOGEN-CSP
Other Parts Discussed in Thread: TMDS570LS31HDK, HALCOGEN

Hello,

I am evaluating an option to use HALCoGen-CSP for TMS570LS31x21x version 04.07.01. I am using TMDS570LS31HDK and I would like to ask the following questions:

1. I was able to execute test cases using HALCoGen TAU tool and get Regression and Dynamic Coverage Analysis reports. However, I have not got the outputs from static analysis, Code Review and Quality reports, and the Traceability Matrix. I assume some additional steps are required to be performed to get these outputs. Is there any description or guidance for these steps please?

2. I successfully executed unit tests, but the functional tests were not executed as I would expect. For example, the execution of ADC1_FT got stuck in the beginning and I had to kill the process. The User Guide SPNU633, section 12.9 describes there is a definition of not applicable test cases for a particular configuration in the documentation. I am aware it is not possible to run functional tests for modules that are not enabled in HALCoGen project, but is there any other limitation causing this issue?

3. As I was looking at the test case Excel files, I found some inconsistencies e.g. Df_type attribute is not defined for ADC1_UT, tests cases ADC1_UT_03:1 - ADC1_UT_04:3. Is this an intention or a defect? I would expect that this attribute is mandatory for LDRAunit.

Thank you for your response,
Peter

  • I will ask our LDRA expert to take a look at your question. 

  • Is there any progress please?

  • Hi Peter,

    Please find response to your queries

    1) HalCoGen TAU  generates only the Dynamic Coverage Analysis Report and Regression Report. The other reports such as Static Analysis, Traceability Matrix are static reports and are included in the CSP Package. There is no way to regenerate these reports using LDRA Unit.

    2) Can you share a snapshot of the execution getting stuck? Did you try running the functional test after power-on reset of the board.

    3) Df_type attribute is needed for all the test . These are internal to LDRAUnit and hence these rows maybe hidden for some of the tests. Pls check if the rows are hidden in the Excel sheet.

    Best Regards

    Siddharth

  • Hello Siddharth,

    Thank you! My apologies for the late response.

    1) I assume another tools, probably from LDRA, for static analysis was used. Is there any information describing this process please? If it is possible, I would like to try to generate as much results as possible for an internal review purpose. 

    2) Unfortunately, I cannot share the snapshot because my LDRA evaluation license expired. It will take some time to buy the full license. However, I am sure the snapshot from case #985983 found here shows the same behavior I experienced in executing functional tests. As I indicated, unit tests were executed successfully. I have not tried to run the functional test after power-on reset, I would expect this is performed automatically by JTAG. I will try to do this as soon as I get the license.

    3) Yes, this is something I have not noticed previously. As you said, the Df_type attributes are defined for ADC1_UT_03:1 - ADC1_UT_04:3, but they are hidden in the spreadsheet.

    Thank you for your response.

    Regards,

    Peter

  • Peter,

    1 . For Static analysis, LDRA has a tool called as TestBed.  You will have to contact LDRA support to get this tool. 

    LDRAunit is capable of  only doing dynamic analysis .

    2.  For Functional test ,  the console many not print all the details as for a unit test. This is because of the instrumented code used for unit test which adds print statements. If it doesn't complete , then the code might have got stuck in an infinite loop.  In such a case, you can try to debug by using CCS and loading the binary file. 

    Best Regards

    Siddharth

  • Siddharth,

    Thank you for your support and responses to my questions, I appreciate it.

    Regards,

    Peter