Method for automatically generating test case meeting DO-178C

Abstract

The invention belongs to the technical field of software test verification, and provides a method for automatically generating a test case meeting DO-178C, which comprises the following steps of: S1, extracting demand semantic information according to an accessed original demand, and generating an intermediate representation; s2, driving similarity retrieval by using the intermediate representation, and extracting a text block set Ts from the domain knowledge base; s3, using the demand semantic information, the text block set Ts and the historical use case to generate a use case draft through the large model under the constraint of the airworthiness integration scale board and the context filling rule; s4, calculating a minimum use case set meeting MC / DC according to demand logic of standardized expression, mapping a calculation result into input data and step variants, and backfilling the input data and the step variants into an airworthiness integral scale board; and S5, when the version or the context is subjected to controlled change, only carrying out increment regeneration and consistency verification on the influenced object according to the dependency graph. According to the method, the dependence on input demand standardization is reduced, and the reliability of verification software in different environments is improved.

Images