| 注册
首页|期刊导航|计算机与数字工程|基于最小割集的软件安全性测试用例生成

基于最小割集的软件安全性测试用例生成

李震 张勇

计算机与数字工程2019,Vol.47Issue(7):1772-1775,4.
计算机与数字工程2019,Vol.47Issue(7):1772-1775,4.DOI:10.3969/j.issn.1672-9722.2019.07.042

基于最小割集的软件安全性测试用例生成

Software Security Test Case Generation Based on Minimum Cut Sets

李震 1张勇1

作者信息

  • 1. 江苏科技大学 镇江 212000
  • 折叠

摘要

Abstract

The rapid development of the software industry has also a great challenge to the security of software. Security testing of software is an important means to ensure software security,software security test case is to ensure that the basis of software securi?ty testing,it can improve the quality of software security testing. Using the principle and method of fault tree,based on the genera?tion of the minimum cut set of fault tree,the basic principle and its qualitative and quantitative analysis are expounded. Using the minimum cut set is to generate test cases can ensure the adequacy of testing and the rationality of test case distribution. Software safe?ty test case quality and safety test quality,efficiency are ensured.

关键词

最小割集/故障树/安全性测试/测试用例

Key words

minimum cut set/fault tree/security test/test case

分类

信息技术与安全科学

引用本文复制引用

李震,张勇..基于最小割集的软件安全性测试用例生成[J].计算机与数字工程,2019,47(7):1772-1775,4.

计算机与数字工程

OACSTPCD

1672-9722

访问量0
|
下载量0
段落导航相关论文