Question & Answer
Question
Is Logiscope a qualifiable software tool with respect to DO-178B structural coverage analysis ?
Answer
Yes, The DO-178B package is intended to help qualifying Logiscope TestChecker C as a verification tool for structural coverage analysis in a DO-178B certifiable software verification process.
The DO-178B package is available at an extra cost. It is only a documentation package documenting Logiscope development rather than usage. A license is required to unpack it.
The package is available along with the Logiscope 6.6 installer and can be downloaded from the IBM website using the link below:
https://www-112.ibm.com/software/howtobuy/passportadvantage/paocustomer/Login
The Logiscope C TestChecker DO 178 B Qualification Package is mainly made of documents, C source files and test results:
The keys documents describe:
- The Logiscope Testchecker TOR : Tool Operational Requirement; the specification of the tool : how do the tool manage branches and MC/DC coverage in the C language
- The Logiscope Testchecker TQAS: Tool Qualification Accomplishment Summary: evidences that the test cases (see below) have been successfully executed on some standard platforms / configurations.
The C source files are test cases to be executed (following a documented procedure) on the customer targeted test configuration to demonstrate that the results obtained are identical to the reference results provided with the package ... so showing that Logiscope accurately instruments C code and get the right results/traces when the instrumented C source files are executed.
Historical Number
40078
Was this topic helpful?
Document Information
Modified date:
16 June 2018
UID
swg21324282