Safety Of Nuclear Testing Techniques For Embedded Systems And Realization

With the development of the modern information technology, computer application has been spread through each department of the national economy and the defense development ,even each field of the human being's social life .The software was widely used in the critical fields ,such as aviation,space flight,nuclear energy,communication,traffic,finance and etc .These fields require very high reliability and safety of the software, even proposes the specific index. Therefore, how to guarantee the quality and the reliability of the software product has been an important research direction of the computer science. It is software test that is effective way to find bug and improve the quality of software product. To improve the functional testing, performance testing, security testing of the software is the main research objective of the software testing. Aimed at the chief problems of the software testing, this thesis did the in-depth researches and made some feature in the following field —selecting test case and analyzing test results. This thesis focused on software testing method, such as Equivalence Class Partition Testing, Boundary Value Analysis Testing, Error Guessing Testing etc. It is to compare and analyze the difference and relation of every software test method. It is to explore how to improve the efficiency and effect of software test, and provide theory base for selecting SK test case. It is to construct testing method, design test case, encode test program for SK. It is to do SK system functional test. It is to test SK system time performance. The security kernel do not interfere with the other key performance management (for example, task scheduling and switch) except it plugs security validation when the system calls. By security mechanism testing and security testing for the system, I found some errors and gave some advice to developer.