Font Size: a A A

Based On Fault Model's Research On Software Fault Injection Method

Posted on:2009-11-23Degree:MasterType:Thesis
Country:ChinaCandidate:Y F YeFull Text:PDF
GTID:2178360245458088Subject:Computer software and theory
Abstract/Summary:PDF Full Text Request
With computer technology in information systems in a wide range of applications, especially in aviation, space systems and military communications, and other key security in the area of promotion, making the software industry a higher demand on the software's security, reliability. In these systems, once the computer failure, it will lead to huge economic losses and even political and military losses. Therefore it is necessary for safety-critical systems fully tested, so as to ensure the correctness of safety-critical systems, to avoid catastrophic accidents.After the failure occurred, finding out the reasons for failure is very difficult, because the damage may spread to the multiple locations. To reproduce the whole scene of failure occurred to the system failure is almost impossible, because the failure may occur by the infinite variety of input data, it could be occurred by the result of outside interference. However, if we can record the fault data, then we can carry out through the fault data analysis to determine what procedures exist in the end, provide effective support to failure of diagnosis, isolation and location.In order to obtain data when the fault happens, this paper presents the idea which combine testing technology based on fault model with fault injection technology,chooses the fault model as the basis of study, uses test case generation method to design the test case for a specific fault, and adoptes program instrumentation method to insert code which can obtain the procedures path or variable information to the tested procedures, then uses the fault injection technology to put the test cases which gets by the test generation method as the testing data into the tested procedures, induces a process failure and obtains the data. According to analyze data to determine whether there are faults in the procedure. Example shows that this method can acquire data, and through data analysis to determine whether there are fault in the procedure.
Keywords/Search Tags:Fault Model, Fault Tree, Software Fault Injection, Program Instrumentation
PDF Full Text Request
Related items