|
|
Key Benefits:
- Standard UML/C++—with multiple UML front end support
- Model based verification
- Seamless verification environment
- Supports large distributed teams and projects
- Auto generation of test cases, test scripts and structure coverage reports
- Meets the guidelines of DO-178B specifications
- Provides control & data flow documentation
- Identifies actual run-time errors without code execution
- Can be integrated with your existing tools
- Developer-EP is available with:
- Customized training
- Consulting
- Mentoring
- Outsourcing
|
20 East University Drive
Suite 305
Tempe, AZ 85281
|
|
Phone: 480-517-9200
Fax: 623-321-0114
|
|
|
embeddedplus.com
|
|
 |
Developer-EP Run-time Errors
A well defined BUG (Latent Fault) that causes
non determinism, incorrect results or processor halt
- Support for ANSI C++ ISO/IEC 14882:1998 (E)
- Template, multiple inheritance, Polymorphism, exception handling
- De-referencing through null or out-of-bounds pointers
- Out-of-bounds array access
- Read access to non-initialized data
- Access conflict on shared data
- Illegal type conversion
- Overflow / Underflow on scalar operations
- Invalid arithmetic operations, e.g.: division by zero, square root of a negative number
- Dead Code
|
