The Test Case Design Method Based on Software Security Analysis

In order to solve the problem of the test case design of the TT&C Software which requires high security, in the analysis of the four security analysis which is widely used, such as software failure mode and effect analysis, software fault tree analysis, software hidden loop analysis and software Petri net analysis, we proposed the usage of fault tree analysis, combining with equivalence classes of software test case design methods. In this way, based on the automatically analysis tool of fault tree, and according the requirements specification, we analyse the software security, get the minimal cut sets of the fault tree, and design the test case in use of the minimal cut sets. We use this method in software test case design to ensure the adequacy of the TT&C software test, and the reasonableness of the distribution of test cases.