Logic Atollic True Verifier
0 likes•591 views
Logic Technology offers a portfolio of software development productivity tools including Atollic TrueVERIFIER, a test automation tool. TrueVERIFIER automatically generates test cases from source code, executes those test cases on embedded targets, and measures test coverage and results. It improves software quality by keeping tests in sync with code changes and increasing test coverage.
Logic Atollic True Verifier
- 1. Productivity tools for developers • Embedded Software and Debug Tools! – Productivity tools for software developers – A pioneer in source code analysis. • Logic Technology offers a portfolio of software development productivity tools that ensure the security, quality and maintainability of complex code bases. There's always a Logic solution!
- 2. Atollic TrueVERIFIER Improve software quality with test automation!
- 3. Test automation What is it? The means by which a software tool analyse the source code of a program, generates suitable test cases and run them automatically. Why do it? With auto-generated test cases, the code & tests are always in synch, test cases cover a much larger part of the code, and good testing becomes easier and better. How does it work? A tool analyze an application, generate test cases, and execute them with execution-path monitoring. Once a test session is completed, test results and test coverage information is presented to the developer or tester. 3 2011-02-02
- 4. TrueVERIFIER overview JTAG • Test automation tool running unit tests on target board • Automatic test code & test case generation • Automatic build and download • Execution of test cases in target board 4
- 5. Test data • Edit test parameters and data in GUI • Automatic test data generation • Export and import test data in CSV format 5
- 6. Test execution JTAG • Auto-build generated test cases using the TrueSTUDIO compiler • Auto-download compiled test cases using the TrueSTUDIO debugger • Auto-execution of test cases in target board • Execution-path monitoring of code execution 6
- 7. Test results • Measure test results (success/failure/error) • Measure test coverage (Statement-, Branch-, MC/DC-coverage) • Print test data used • Provide report in MS-Word, MS-Excel, MS-PowerPoint, HTML, PDF format 7
- 8. Improve your software quality with Atollic TrueVERIFIER! Any questions? [email protected] ”Embedded passion” TM Atollic Company Confidential