Welcome, 
Automation Efficiency
CERTTEST™ provides the ability to generate Test Cases & Procedures in formats that are clear, understandable, and reviewable. CERTTEST™ eliminates the pitfall of writing "Code to Test Code" that plagues many projects. CERTTEST™ presents the test data in its simplest, clearest form using Certon´s standardized templates. By using CERTTEST™, every test will have the same uniform structure, format, and clarity which eliminates costly overhead of trying to reverse engineer the test to determine if it actually covers the requirements. With CERTTEST™ there is virtually NO time spent debugging the test in its environment. Additionally, CERTTEST™ can be qualified to generate valid expected results for model based requirements, eliminating mistakes inherent in manual calculations.
CERTTEST™::CertModeler
CERTTEST™::CertModeler provides the ability to generate expected results from model based requirements and perform coverage analysis of model components. CERTTEST™::CertModeler can be used to automate much of the labor needed to begin the generation of Tests Cases & Procedures, especially when the input requirements are in the format of those generated by CERTALIGN™.
CERTTEST™::CertVCP
CERTTEST™::CertVCP provides the ability to rapidly generate Test Cases & Procedures from the CERTTEST™::CertModeler process. The Test Cases & Procedures file formats can be Excel, XML, Word, or plain text format. The Test Cases & Procedures are reviewed against the requirements using the Test Case selection criteria from the approved Software Verification Plan (SVP). Standardized Test Cases & Procedures generated by CERTTEST™::CertVCP are the direct inputs to CERTBENCH™ which are executed against flight software in order to generate Test Results for Pass/Fail determination and problem reporting.
In addition, CERTTEST™::CertVCP supports writing to file formats to be executed with tools, such as Rational Test Real Time or VectorCAST™.
Qualification
Tool qualification should be addressed and approved by the certification authority in the Plan for Software Aspects of Certification (PSAC) or Plan for Hardware Aspects of Certification (PHAC), but as long as the outputs of these tools are reviewed and/or verified through formal test activities then tool qualification is not required. All applications do have a Tool Qualification Kit available that includes a Tool Qualification Plan (TQP), Tool Operational Requirements (TOR), Test Cases/Procedures, and a Tool Accomplishment Summary (TAS) template, if this is the desired approach.
