Tools for automated C-code testing.

[Olxx]

Hi!

Could someone point me to any software tools intended for automated testing of sources written on C/C++ (static sources analysis, not run-time)?
Thanks in advance.

 

[tom324]

Try PC-Lint

**broken link removed**

Tom

 

[dainis]

h**p://w*w.parasoft.com/jsp/products/article.jsp?label=product_info_CppTest

Parasoft C Plus Plus Test v2.15.4

C++Test is a unit testing and static analysis tool
that automatically
tests C and C++ classes, functions, or components
without requiring
developers to write a single test case, harness, or
stub. With the click of a button, C++Test
automatically performs static analysis of code using
industry-wide coding standards, tests code
construction (white-box testing), tests code
functionality (black-box testing), and maintains code
integrity (regression testing). From traditional to
extreme programming, integrating C++Test into the
development process automates a vital testing
technique for any programming process, preventing
software errors and ensuring that code is structurally
sound, maintainable, and portable.

C++Test Benefits

Tests everything from functions to entire projects.
Keeps simple errors from becoming serious problems.
Streamlines the development process for quicker
time-to-market.
Keeps errors from returning to code through regression
testing.
Ensures that code is structurally sound, maintainable,
and portable.
Discovers crash-causing problems and reduces customer
aggravation.
Helps to accelerate and achieve ISO and SEI
standardized process certification.
Increases development time by decreasing debugging
time.

and other links:
h**p://w*w.qacity.com/Other+Resources/Tools+Utilities/Source+Code+Analyzers/Tools.htm
h**p://tester.com.ua/instrumentation/source_code_analyzing_tools.htm

 

[ntfreak]

A very popular tool used by automotive industry for embedded software testing is Tessy.
h**p://w*w.razorcat.com

Regards
NTFreak

 

[TurboPC]

I have never used such a verification software. I imagine that if it exists, it's because there is a purpose for it...

Is there anyone with pro's and con's arguments on the usefulness of such a software for embedded software in small micro-controller (like 80c51)? Why do you use it?

Thanks, TurboPC

 

[mattm]

I have used several lint tools and have fiound them to be pretty helpful in any embedded c project regardless of micro size.

 

[C-Man]

I am useing PC-Lint for years in all my projects (PC, 8051, Pic, AVR ...).

It is as if you would have a programming expert sitting new to you who is giving you advices

The beginning is very hard because you never believe that many of the problems the software tells you is really existing in your "perfect working" code.

I really learned a lot by investigating the problems pointed out by this software.

best regards