Topcased is carefully moved to Polarsys project. Regarding V&V you may take a look at Frama-C which is dedicated to dynamic verification of C programs. There is also a project to integreate Frama-C and eclipse, see : http://gforge.enseeiht.fr/docman/view.php/124/4477/FCDT%20Tutorial_V1.0.pdf
Best regards Cedric ________________________________ De : [email protected] [[email protected]] de la part de Topcased user list where issues are discussed [[email protected]] Date d'envoi : jeudi 13 mars 2014 09:30 À : [email protected]; [email protected] Objet : Re: [Topcased-users] Fw: open source tool for unit testing C code. Hi, Topcased project is almost ended … So I am not sure that someone will answer. Bernard Granier Software dev/ops infrastructure [email protected]<mailto:[email protected]> 01 58 11 32 51 De : [email protected] [mailto:[email protected]] De la part de Topcased user list where issues are discussed Envoyé : jeudi 13 mars 2014 08:38 À : [email protected] Objet : [Topcased-users] Fw: open source tool for unit testing C code. A reminder Regards Jayadeep -----Forwarded by Jayadeep Kumar/Holly/MagnaElectronics on 03/13/2014 01:07PM ----- To: [email protected]<mailto:[email protected]> From: Topcased user list where issues are discussed Sent by: [email protected]<mailto:[email protected]> Date: 03/11/2014 03:08PM Subject: [Topcased-users] open source tool for unit testing C code. Hi, Greetings! I am a new entrant to the world of open source platforms and tools.I want to get clarification on certain things on regarding the feasibility of TOPCASED being used for unit testng 'C' language code.I have been asked to evaluate TOPCASED platform for its use in unit testing(in other words 'white box testing').As I have gone through the topcased.org website I understand that TOPCASED platform is used mainly for developing/testing model based applications (correct me If I am wrong).I am hereby summarizing my requirements for which clarification is required. 1.I want to have a unit testing tool without license using which I can test C functions.Does TOPCASED platform has any applications which supports unit testing C language functions? 2.In case if such a tool exists does it provides the statistical data such as code coverage etc after test excecution without a license being required? 3.In case if such a tool exists does it require the support of a simulator for running the C code and getting the results updated or it requires a target hardware for running the application? 4.I want to test a C firmware application which runs on 'Freescale Bolero (MPC560xB) based board.Does the tool if it exists supports the aforementioned hardware architecture for unit test support? 5.In case if I want to run python script for unit testing Is there any driver application plugin available in TOPCASED platform which helps in achieving the same? Please provide the clarifications for the above queries at the earliest. Thanks and Regards Jayadeep G Dearborn Electronics India Pvt Ltd Bangalore Ph 080- 22445466 _______________________________________________ Topcased-users mailing list [email protected]<mailto:[email protected]> http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users # " This e-mail and any attached documents may contain confidential or proprietary information. If you are not the intended recipient, you are notified that any dissemination, copying of this e-mail and any attachments thereto or use of their contents by any means whatsoever is strictly prohibited. If you have received this e-mail in error, please advise the sender immediately and delete this e-mail and all attached documents from your computer system." #
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users
