|
|
Static Analysis
Static Analysis enables a project to ensure that a uniform set of programming standards are enforced, software is properly structured and complexity and other quality attributes are controlled within a configurable quality model. Static Analysis can also detect a significant number of software defects. ... |
| |
|
|
Run-Time verfication
Real-Tme embedded systems can suffer from tricky run-time errors like buffer overflow, memory leaks, out of bound allocation and unpredictable execution times. We offer tools that assist in finding and even preventing such run-time coding problems. ... |
| |
|
|
Unit Test
Unit testing may be defined as a process of verification and validation of an individual module or ‘unit’ of software. In its simplest form a unit may be a single function or method that has been isolated from the main body of application code. The analysis of this unit, in isolation, is normally achieved by means of the developers writing additional driver modules or test harnesses, w ... |
| |
|
|
Coverage
Test Verification can be used by the Unit Test component to provide coverage metrics for test cases that execute at various levels, including function/method, module/class and component/system levels. Test Verification provides test planning documents and colour-coded graphs to help you achieve the desired coverage, ranging from procedure/function calls to safety-critical modified condition/ decis ... |
| |
|
|
Coding Standards
The goal of coding standards is to prevent or make error identification easy. Standards specify a common format for source code and its comments, they detail how code should be written. The ability to adhere to a programming standard in a consistent manner is far more important than simply documenting a programming standard and having it gather dust on the shelf. ... |
| |
