RTOS/TDA2: Does Vision SDK has tested software dynamic function use TESSY tools?

Tao Han

Part Number: TDA2

Tool/software: TI-RTOS

Hi Experts:

My customer are trying use TESSY automatic tools test VSDK software's dynamic function.

But those tools GCC can not successful compile VSDK code. Our VSDK contain Misra-c report but customer feedback that Misra-C report just contain the static function test report.

Does we have experience about use TESSY tools verify VSDK?

If not use TESSY, does we have used other kinds of tool test VSDK dynamic function safety?

Thanks a lot!

Best Regards!

Han Tao

(https://www.razorcat.com/en/product-tessy.html)

over 7 years ago

0 Shiju Sivasankaran over 7 years ago

TI__Genius 13395 points

Hello
No, vision ASK is not tested with any dynamic analysis tools

regards, Shiju

0 Tao Han over 7 years ago in reply to Shiju Sivasankaran

TI__Expert 6635 points

Hi Shiju：

Thanks for clarify it.

Best Regards!

Han Tao

0 user5847593 over 7 years ago in reply to Shiju Sivasankaran

Prodigy 20 points

hello，Shiju

If we want to test VSDK software's dynamic function，is there any solution？Can you give us some advice？

regards，Vivian

0 Shiju Sivasankaran over 7 years ago in reply to user5847593

TI__Genius 13395 points

Hi Vivian
For any dynamic analysis, do it only for "core SDK" (only for "links_fw" folder)
Apps and Sample_app are application/demo code.

As I mentioned earlier, We have not done any dynamic analysis on Vision SDK.
Vision SDK is not a safety compliant SW, it is only reference SW from TI, so we don’t do dynamic analysis on this SW.

For safety compliant SW like MCAL we use LDRA tool for dynamic analysis.

regards, Shiju

0 user5847593 over 7 years ago in reply to Shiju Sivasankaran

Prodigy 20 points

Hi Shiju：

We use Tessy perform unit dynamic test, in order to verify software unit (function) design and fulfill the code coverage target (branch coverage, statement coverage, MCDC coverage).

Now in Vision SDK component, there is some handle code (our Freetech code) need call Vision SDK core code, but there is no complier support to comply VSDK in Tessy.

In other words, this Tessy tool can support our Freetech code, but can't support the code call Vision SDK.

We don't try to verify VSDK code, we just need to verify the code which develop by Freetech.

So do you have any solution or advice on this situation?

Any solution from your customer which belongs to automotive area? Which tools did they use on unit dynamic test?

Thanks

Vivian

0 Shiju Sivasankaran over 7 years ago in reply to user5847593

TI__Genius 13395 points

Vivian
Sorry i do not have any experience with Tessy
LDRA is one tool which I heard many customers used for dynamic analysis.

regards, Shiju

Processors

Processors forum

RTOS/TDA2: Does Vision SDK has tested software dynamic function use TESSY tools?