详情

原文传递 Software Verification Tools Assessment Study. Final rept.

题名：	Software Verification Tools Assessment Study. Final rept.
作者：	Santhanam-V.; Chilenski-J.J.; Waldrop-R.; Leavitt-T.; Hayhurst-K.J.
关键词：	Software-tools; Aviation-industry; *Assessments-.;Verification-; Structural-analysis; Airborne-computers; Airborne-equipment; Airborne-operations; Criteria-; Computer-programs; Automation-; Computer-codes; Flight-tests; Software-engineering.
摘要：	The Software Verification Tools Assessment Study (SVTAS) was a research effort to investigate criteria for effectively evaluating structural coverage analysis tools for use on projects intended to comply with RTCA/DO-178B, Software Considerations in Airborne Systems and Equipment. The objective for developing these criteria was to improve the accuracy and consistency of the qualification process for these tools. The SVTAS included surveys of commercially available structural coverage analysis tools, literature searches to review policy and guidance relevant to structural coverage and tool qualification, and analysis of structural coverage definitions. Based on these findings, a test suite was proposed as an approach to increase objectivity and uniformity in the application of the tool qualification criteria. Goals for a full test suite were defined, and a prototype test suite was developed. The prototype test suite was run on three different structural coverage analysis tools to evaluate the efficacy of the test suite approach. The prototype test suite identified anomalies in each of the three coverage analysis tools, demonstrating the potential for a test suite to help evaluate a tools compatibility with the DO-178B requirements.
报告类型：	科技报告