ess logo  
 
 
 
     
     
  Products  
     
 
 
     
 
 
     
  Events & Promos  
 
     
 

 
 
     
  Atollic TrueANALYSER  
 
  • Atollic® TrueANALYZER® measures the test coverage during system testing, when test procedures exercise the full embedded application in its normal in-target environment. Atollic TrueANALYZER thus measures the test quality, and improves confidence in code reliability and robustness, as well as highlighting inadequately tested parts of the software.
  • By performing rigorous test quality measurements using advanced coverage analysis, you get numerical facts on how good the test procedures are for different parts of your software. With knowledge on where your testing is weak, you can improve the test procedures and re-run a more thorough test, potentially finding more software errors. Atollic TrueANALYZER not only display the achieved test quality, but also shows where in the code, and why, the test coverage did not get better.
  • Atollic TrueANALYZER performs in-target verification using dynamic execution-flow analysis, where the execution paths and all branch decisions are recorded. In addition to measuring the test quality (gauged as coverage level), all branch decisions (such as if-, switch- and while- statements) are displayed in the user interface, along with truth tables visualizing which conditions (subexpressions) was covered or not in a branch decision. It is thus easy to understand why the test procedures do not achieve better coverage, and so Atollic TrueANALYZER also acts as a test case debugger.
  • Atollic TrueANALYZER supports different strengths of coverage analysis, even up to Modified Condition/Decision Coverage (MC/DC) level, which for example is required for safety-critical aircraft software.
 
   
     
 
 
 
     
     
  Atollic TrueVERIFIER  
 

Atollic® TrueVERIFIER® is a professional tool for advanced embedded systems software test automation. By using Atollic TrueVERIFIER, you can easily improve the quality of your software product!

Atollic TrueVERIFIER analyze your source code, auto-generate a test suite with unit tests for each function, and execute it automatically in your target board. The illustration below outlines the process:

 
   
 

Atollic TrueVERIFIER analyze your source code, auto-generate a test suite with unit tests for each function, and execute it automatically in your target board. The illustration below outlines the process:

 
   
     
 
 
 
     
     
  Atollic TrueSTORE  
 

Atollic® TrueSTORE® is a free-of-charge and super-simple service for distribution of embedded systems example projects via the internet. With Atollic TrueSTORE, Atollic continue to lead the innovation in embedded IDE’s for the benefit of embedded C/C++ developers around the world. Embedded developers can now choose from over 1000 free example projects, and download and install them into the most powerful embedded IDE on the market, with just one mouse-click!

 
   
     
 
 
 
     
     
  Atollic TruePERSPECTIVES  
 

The TruePERSPECTIVES blog discusses topics relevant to embedded developers and their managers: best practices for embedded development, industry observations, and tips and techniques for using Atollic TrueSTUDIO development tools, ARM Cortex-M development, and more.

For more information, please visit blog.atollic.com