检索结果-内蒙古大学图书馆

A Stochastic Combinatorial optimization Model for test sequence optimization

JOURNAL OF COMPUTERS 2010年第9期5卷 1424-1435页

作者： Wang, Shuai Ji, Yindong Yang, Shiyuan Tsinghua Univ Dept Automat Beijing Peoples R China Tsinghua Univ Tsinghua Natl Lab Informat Sci & Technol Beijing Peoples R China

Traditional FSM (finite state machine) based test sequence generation methods have three problems: 1) fake test results may occur;2) unnecessary repetitive tests may exist;3) actual test coverage rate could be low. These problems are mainly because of the dependences existing between transitions of test sequences. In this paper, to solve these problems, we defined a stochastic combinatorial optimization model to describe the test sequence generation problem from the dynamic viewpoint. Meanwhile, a recursive algorithm is proposed to give one optimal solution for the test sequence generation. This algorithm uses the weighted finite state machine model for the software being tested. At each test decision time, a test sequence will be generated from this model. After the execution of one test sequence and fault detecting, the weight value of this model will be updated. Simulation results show that the effective test efficiency and test coverage rate are evidently increased using our method. Especially, the fake test results are much less than transitional methods.

关键词： stochastic combinatorial optimization model test sequence optimization test efficiency test coverage rate

来源：评论

学校读者我要写书评

暂无评论

A Stochastic Combinatorial optimization Model for test sequence optimization

A Stochastic Combinatorial Optimization Model for Test Seque...

引用

2nd ISECS International Colloquium on Computing, Communication, Control and Management (CCCM 2009)

作者： Wang, Shuai Ji, Yindong Yang, Shiyuan Tsinghua Univ Dept Automat Beijing 100084 Peoples R China

ISBN: (纸本)9781424442461

Traditional test sequence optimization methods for path testing have three problems: 1) fake test results may occur;2) unnecessary repetitive tests may exist;2) actual test coverage rate could be low. These problems are because the effects of the faults on the test sequence execution are not considered by traditional methods. To solve these problems, we defined a stochastic combinatorial optimization model in this paper. At the same time, we constructed a multistage dynamic combinatorial optimization model to solve it. In each stage, the stochastic optimization is transferred into a deterministic optimization and the faults are taken as the stage changing factors. Simulation results show that the effective test efficiency and test coverage rate are evidently increased by this stochastic combinatorial optimization model.

关键词： stochastic combinatorial optimization model test sequence optimization test efficiecy test coverage rate

来源：评论

学校读者我要写书评

暂无评论

A Stochastic Combinatorial optimization Model for test sequence optimization

A Stochastic Combinatorial Optimization Model for Test Seque...

引用

2009 ISECS International Colloquium on Computing, Communication, Control, and Management

作者： Shuai Wang1,2,,Yindong Ji1,2,Shiyuan Yang1, 1.Department of Automation,Tsinghua University 2.Tsinghua National Laboratory for Information Science and Technology,Tsinghua University Beijing,China

Traditional test sequence optimization methods for path testing have three problems:1)fake test results may occur;2)unnecessary repetitive tests may exist;2)actual test coverage rate could be *** problems are because the effects of the faults on the test sequence execution are not considered by traditional *** solve these problems,we defined a stochastic combinatorial optimization model in this *** the same time,we constructed a multistage dynamic combinatorial optimization model to solve *** each stage,the stochastic optimization is transferred into a deterministic optimization and the faults are taken as the stage changing *** results show that the effective test efficiency and test coverage rate are evidently increased by this stochastic combinatorial optimization model.

关键词： stochastic combinatorial optimization model test sequence optimization test efficiecy test coverage rate

来源：评论

学校读者我要写书评

暂无评论

Policy-based proactive monitoring of security policy performance

Policy-based proactive monitoring of security policy perform...

引用

4th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security

作者： Bogdanov, Vitaly Kotenko, Igor Comp Secur Res Grp St Petersburg Inst Informat & Automat 39 St Petersburg 199178 Russia

ISBN: (纸本)9783540739852

One of topical tasks of policy-based security management is checking that the security policy stated in organization corresponds to its implementation in the computer network. The paper considers the suggested approach to proactive monitoring of security policy performance and security mechanisms functioning. This approach is based on the different strategies of automatic imitation of possible users' actions in the computer network, including exhaustive search, express-analysis and generating the optimized test sequences. It is applicable to different security policies (authentication, authorization, filtering, communication channel protection, etc.). The paper describes stages, generalized algorithms and main peculiarities of the suggested approach and formal methods used to fulfill the test sequence optimization. We consider the generalized architecture of the proactive monitoring system "Proactive security scanner" (PSC) developed, its implementation and an example of policy testing.

关键词： security policy monitoring test sequence optimization

来源：评论

学校读者我要写书评

暂无评论

Proactive Monitoring of Security Policy Accomplishment in Computer Networks

Proactive Monitoring of Security Policy Accomplishment in Co...

引用

5th IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing Systems - Technology and Applications (IDAACS)

作者： Kotenko, Igor Bogdanov, Vitaly St Petersburg Inst Informat & Automat St Petersburg Russia

ISBN: (纸本)9781424448814

One of topical tasks of policy-based security management is checking that the security policy stated in organization corresponds to its implementation in the computer network. The paper considers an approach to proactive monitoring of security policy performance and security mechanisms functioning. This approach is based on different strategies of automatic imitation of possible users' actions in the computer network, including exhaustive search, express-analysis and generating the optimized test sequences. It is applicable to different security policies. The paper describes stages, generalized algorithms and main peculiarities of the suggested approach and formal methods used to fulfill the test sequence optimization. We consider the generalized architecture of the proactive monitoring system "Proactive security scanner" (PSC) developed and its implementation.

关键词： Homeland Security Security and Reliability Security policy monitoring test sequence optimization

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：