Test Lookup from Structural Coverage Point of View

摘要

Structural coverage analysis complements requirement based verification (testing and analysis) by establishing the completeness of testing, to ratify absence of unintended functions and verification of code structure as per software level. The structural coverage should be carried out with due diligence and traceability should be captured between code structure and test cases. Incidental coverage (coverage by chance) need to be avoided and structure coverage should not be rationalized for the lack of robustness test cases. Requirement completeness (depth of requirements- to cover all the minute details of requirements) and coverage (breadth of requirements-to cover all the required functionalities) analysis are necessary independent activities and should not be substituted by structural coverage analysis. This paper will provide an approach to design a tool which could provide traceability between code structure and test cases as promulgated by section 6.2 Software Verification Process Activities of DO-178B.