Research On Software Verification Technology For Civil Aircraft

With the development of computer technology, software verification has attracted more and more attentions from a large number of application domains. Software verification needs to be done through the whole software life cycle including many aspects among which requirement traceability is an important one. Thus in this paper, after a thorough analysis on the problems of the existing requirement traceability methods, we propose a new requirement traceability model based on information retrieval and ontology to improve the ability of software verification.The core part of the requirement traceability model is the building of civil aviation ontology model based on information retrieval. In this paper we propose a hierarchical modularity, hybrid method to build it. Hierarchical method means civil aviation ontology model can be decomposed into three sub-models: civil aviation concept ontology model, civil aviation domain ontology model and civil aviation application ontology model. The three sub-models are interrelated. Modularity means we construct each sub-model by model division. Hybrid means we combine the use of top-down method and bottom-up method to build ontology model. The relation of traceability between requirement and code is built by probabilistic model which is one of information retrieve model. In this way, we not only improve the efficiency of ontology reasoning, but also improve its reusability.When the requirement traceability model is built, the verification needs to be conducted which consists of two parts: the verification of information retrieval precision of requirement traceability model, the verification of civil aviation ontology model based on information retrieval. For the former one, we propose a precision optimization method based on information retrieval, and use recall and precision to measure it. For the latter one, we propose a method for evaluation, amendments and optimization based on four standard evaluation criteria from IEEE 830. Finally, we have a simple description for the reuse of traceability model.In the last section the implementation of requirement traceability system is briefly introduced, and a special case of a project about civil aviation is illustrated. At the end of this paper, we make a summarization of our work and point out the further research direction.