王伟光

作品数：3被引量：15H指数：2
导出分析报告
供职机构：南京大学计算机科学与技术系更多>>
发文主题：安全评估形式化描述安全测试形式化方法污点分析更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《软件学报》《计算机应用》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家科技支撑计划江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向危险操作的动态符号执行方法被引量：11
《软件学报》2016年第5期1230-1245,共16页王伟光 曾庆凯 孙浩 
国家自然科学基金(61170070,61572248,61431008,61321491);国家科技支撑计划(2012BAK26B01)~~
针对缺陷检测的需求,提出了面向危险操作的动态符号执行方法.依据所关注的缺陷类型,定义危险操作及危险操作相关路径,通过计算覆盖不同上下文中危险操作的能力,协助动态符号执行选择高效初始输入,并利用危险操作相关信息引导测试流程....
关键词：危险操作 动态符号执行 污点分析 路径选择 缺陷检测 
一种基于形式化描述的测试案例生成方法
《解放军理工大学学报（自然科学版）》2009年第4期318-323,共6页丁洪达 王伟光 曾庆凯 
国家自然科学基金资助项目(60773170;60721002;90818022);国家863计划资助项目(2006AA01Z432);高等学校博士学科点专项科研基金资助项目(200802840002)
基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法。从...
关键词：安全评估 安全测试 形式化方法 测试案例生成 覆盖准则 
基于形式化描述测试用例生成的研究与实现被引量：4
《计算机应用》2008年第4期1018-1022,共5页王伟光 丁洪达 曾庆凯 
国家自然科学基金资助项目(60773170;60721002;60473053);国家863计划项目(2006AA01Z432);江苏省自然科学基金资助项目(BK2005074)
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形...
关键词：安全评估 测试用例生成 形式化描述 更改条件判定覆盖 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部