[Vote] Votes: [4] Posts: [2] Threads: [1]

Code coverage is a measure used in software testing. It describes the degree to which the source code of a program has been tested. It is a form of testing that looks at the code directly and as such comes under the heading of white box testing.

Write Comment | Read Comments

[Vote] Votes: [2953] Posts: [3004] Threads: [2903]

This Job Aid assists certification authorities, designees, and applicants in performing software reviews, as described in Chapter 2 of FAA Order 8110.49, Software Approval Guidelines. The purpose of the software review is to assess whether or not the software developed for a project complies with the applicable objectives of RTCA/DO-178B, Software Considerations in Airborne Systems and Equipment Certification.

Write Comment | Read Comments

[Vote] Votes: [5] Posts: [4] Threads: [1]

Green Hills Software, Inc., is the technology leader in high performance compilers, software development tools and real-time operating systems (RTOS) for developers of embedded systems.

Write Comment | Read Comments

[Vote] Votes: [6] Posts: [3] Threads: [1]

Cantata++ has been designed around the requirements of the C/C++ languages to produce a tool which allows developers to efficiently perform unit and integration testing. The product offers high productivity and a unique set of testing, coverage analysis and static analysis features.

Write Comment | Read Comments

[Vote] Votes: [3133] Posts: [3129] Threads: [3129]

The aerospace industry is a safety-critical market, where any mistake could be disastrous. LDRA have developed a tool suite to ensure that your software is tested to the highest standards, throughout the product development life cycle.

Write Comment | Read Comments

[Vote] Votes: [8650] Posts: [10989] Threads: [7873]

McCabe IQ is an interactive, visual environment for managing software quality through advanced analysis, providing a comprehensive solution to the challenges that face QA, test, and aviation development teams. McCabe IQ provides automatic test case generation and industry-leading code coverage that seamlessly integrates with Eclipse and MSVS. You can use McCabe IQ to perform any of the following tasks: Prepare your source code for dynamic testing through instrumentation. Create test plans for both unit and integration testing. Perform unit and integration testing. Design and implement test plans for Boolean testing, including MC/DC testing. Test programs written in object-oriented languages. Use the Command Line Interface to plan for and to assess testing.

Write Comment | Read Comments

[Vote] Votes: [11] Posts: [6] Threads: [2]

PolySpace provides the first and only exhaustive code analysis for the presence - or absence - of run-time errors.

Write Comment | Read Comments

[Vote] Votes: [2] Posts: [0] Threads: [0]

IBM Rational Test RealTime is a component testing and runtime analysis solution for embedded, real-time, and other cross-platform software

Write Comment

[Vote] Votes: [4] Posts: [3] Threads: [1]

RTCA, Inc. is a private, not-for-profit corporation that develops consensus-based recommendations regarding communications, navigation, surveillance, and air traffic management (CNS/ATM) system issues.

Write Comment | Read Comments

[Vote] Votes: [3] Posts: [2] Threads: [1]

This document describes guidelines and methods of perfomring the safety assessment for certification of civil aircraft. It is primarily associated with showing compliance with FAR/JAR 25.1309.

Write Comment | Read Comments

[Vote] Votes: [8] Posts: [4] Threads: [2]

The Standard for the Development of Safety-Critical Embedded Software in the Avionics Industry. Code Generation qualifiable for DO-178B certification, up to Level A.

Write Comment | Read Comments

[Vote] Votes: [3] Posts: [6] Threads: [5]

Automated unit testing of embedded software; Easy to begin using - no script ... Unlimited number of test cases; Code Coverage; Test documentation in multiple formats. Evaluation software available for download.

Write Comment | Read Comments

[Vote] Votes: [4] Posts: [3] Threads: [2]

Vector Software's VectorCASTTM is a world class integrated software test solution that automates the tasks associated with testing software components for C/C++, Embedded C++, and Ada83/Ada95 programs.

Write Comment | Read Comments

[Vote] Votes: [4] Posts: [3] Threads: [1]

CTC++ Test Coverage Analyzer for C/C++ better software tests and more security with the leading code coverage tool: CTC++ shows the coverage all the way to the Modified Condition/Decision Coverage (MC/DC) level as required by DO-178B projects embedded systems.

Write Comment | Read Comments