摘要
随着信息技术的发展,计算机应用日益广泛,软件可靠性和安全性越来越受到重视,因此软件测试成为软件生产中必不可少的质量保障手段,就此提出了一种运用故障树分析技术,对系统各模块发生故障概率进行分析,从而找出对系统安全性影响较大的关键性模块,然后运用在故障树基础上求出的安全事件的最小割集来划分测试用例数据类型集从而自动产生测试用例的一种测试方法。
As the development of the information technology, the computers are used widely.Software reliability and safety are noted by people. The software test is the very important way to guarantee the quality of software. For a long time, software test was just be carried on manually and the design of test case just by our intuition and experiences. The efficiency and cost of testing can't satisfy our need,and it also can not ensure to enhance the quality of software. In this paper, the authors use the technology of fault tree analysis based on safety requirement to analyze the fault probability of all sections of the software to find the key sections that will be influence the safety. Based on that result, the authors use the minimum cut set to classify the data of testing and produce the test case.
出处
《教育技术导刊》
2008年第1期77-79,共3页
Introduction of Educational Technology
关键词
安全需求
故障树
割集
Safety Requirement
Fault Tree
Cut Set