DocumentCode :
584347
Title :
The Test Case Design Method Based on Software Security Analysis
Author :
Wen-hong, Liu ; Xin, Wu
Author_Institution :
Beijing Inst. of Tracking & Telecommun. Technol., Beijing, China
fYear :
2012
fDate :
11-13 Aug. 2012
Firstpage :
578
Lastpage :
581
Abstract :
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.
Keywords :
Petri nets; fault trees; formal specification; program testing; security of data; TT&C software; effect analysis; requirements specification; software Petri net analysis; software failure mode; software fault tree analysis; software hidden loop analysis; software security analysis; software test case design methods; Fault trees; Reliability engineering; Safety; Security; Software; Software reliability; Fault tree analysis; Security; Software testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Science & Service System (CSSS), 2012 International Conference on
Conference_Location :
Nanjing
Print_ISBN :
978-1-4673-0721-5
Type :
conf
DOI :
10.1109/CSSS.2012.150
Filename :
6394388
Link To Document :
بازگشت