- Service Virtualization
- Development Testing
- Embedded Development
- API Testing
To assist with the necessary qualification, Parasoft provides a DO-178B/C Qualification Kit, which contains set of documents (including e.g. Functional Requirements Specification, Tool Qualification Plan and Tool Verification Procedures) and test cases to be used to qualify our tools for use in DO-178B/C projects. The Parasoft team is always available to assist with the qualification process.
The extensive, continually-expanding knowledge base of rules can be easily customized (graphically, without coding) to enable automated monitoring of custom best practices. The result is more realistic and accurate validation that is aligned with the team’s priorities.
Parasoft’s automation greatly increases the efficiency of testing and the correctness and reliability of code under test. These tests, with or without modifications, are used for initial validation of the functional behavior of the code. By using corner case conditions, these automatically-generated test cases also check function responses to unexpected inputs, exposing potential reliability problems. This functionality is applicable for creating tests which detect errors, which could lead to unacceptable failure conditions, as determined by the system safety assessment process. Test execution and analysis are centralized in the Test Case Explorer, which consolidates all existing project tests and provides a clear pass/fail status.