一种基于安全状态转移的简并测试集生成方法

中国科学院软件研究所机构知识库


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In

学科主题:	Computer Science
题名:	一种基于安全状态转移的简并测试集生成方法
其他题名:	approach of degenerate test set generation based on secure state transition
作者:	程亮 ; 张阳 ; 冯登国
关键词:	安全操作系统测评 ; 形式化方法 ; 模型检测 ; 测试用例化简 ; 简并测试集security operating system verification ; formal method ; model checking ; test case optimization ; degenerate test set
刊名:	软件学报
发表日期:	2010
卷:	21, 期:3, 页:539-547
部门归属:	中国科学技术大学电子工程与信息科学系;信息安全国家重点实验室(中国科学院软件研究所);
摘要:	在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degenerate test set,简称DTS)的概念,设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法.该方法以状态转移为化简对象,在利用模型检测技术生成测试用例的同时,归并相同的状态转移并化简需求集中的冗余属性,从而最终达到化简测试集的目的.在此基础上,探讨了单个用例失败时用例集的有效性问题,并对DTS生成算法进行了改进.实验结果表明,该方法可以有效地对测试集中的冗余进行化简.
语种:	中文
内容类型:	期刊论文
URI标识:	http://ir.iscas.ac.cn/handle/311060/10058
Appears in Collections:	信息安全国家重点实验室_期刊论文

Files in This Item:

File Name/ File Size	Content Type	Version	Access	License
一种基于安全状态转移的简并测试集生成方法.pdf（658KB）	--	--	限制开放	--	联系获取全文

Recommended Citation:

程亮,张阳,冯登国. 一种基于安全状态转移的简并测试集生成方法[J]. 软件学报,2010-01-01,21(3):539-547.

Service
	Recommend this item
	Sava as my favorate item
	Show this item's statistics
	Export Endnote File
Google Scholar
	Similar articles in Google Scholar
	[程亮]'s Articles
	[张阳]'s Articles
	[冯登国]'s Articles
CSDL cross search
	Similar articles in CSDL Cross Search
	[程亮]‘s Articles
	[张阳]‘s Articles
	[冯登国]‘s Articles
Related Copyright Policies
Null
Social Bookmarking

所有评论 (0)

暂无评论

评注功能仅针对注册用户开放，请您登录

您对该条目有什么异议，请填写以下表单，管理员会尽快联系您。
内容：
Email：	*
单位：
验证码：	刷新

您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标题：	*
内容：
Email：	*
验证码：	刷新


	Copyright © 2007-2017 中国科学院软件研究所 - Feedback Powered by CSpace