The Research Of Methods And Tools On Detailed-level Software FMEA

Software Failure Mode and Effect Analysis (FMEA) is mainly in the software development stage, through the identification of software failure modes, analyzes the various causes of failure modes and their consequences to early detect the potential problems, thereby enhancing the reliability and security of software. Software FMEA is usually divided into system-level software FMEA and detailed-level software FMEA. This thesis mainly focuses on the detailed-level software FMEA.The main problems of software FMEA is the lack of supplementary analysis tool for specific areas of practice and has good feasibility and high efficiency in engineering practice. Traditional supplementary analysis tools of detailed-level software FMEA are set up in the variable mapping table and software based on clues, which mainly rely on lots of manual operations, so the method is not accurate and low degree of automation. In response to these questions, this paper presents the detailed-level software FMEA methodology based on process dependence and the idea of slicing, and designs a supplementary analysis tool of detailed-level software FMEA for ANSI C programming language.First, the thesis proposes the detailed-level software FMEA methodology based on process dependence, it describes the complexity of data dependence and control dependence intuitively and accurately between the code by constructing the system dependence graph which provides the foundation of analysis for detailed-level software FMEA, thereby carrying out the analysis methodology of the failure causes and effects for the detailed-level software FMEA based on the idea of slicing.Second, the thesis carries out the needs analysis for supplementary analysis tool of detailed-level software FMEA. Then, on that basis, the paper gives detailed design and implementation of the supplementary analysis tool. In order to facilitate the conduct of failure analysis for developers, we also carried out the user interface design and implementation. The process that carrying out the analysis for the causes and consequences of the failure modes to the code is completed automatically through the tool, which improving the degree of automation and the efficiency of work. Finally, the paper which verifying the example and carrying out performance testing to the supplementary analysis tool indicates the feasibility of the tool.