您的位置: 专家智库 > 作者详情>王伟光

王伟光

作品数:4 被引量:18H指数:2
供职机构:南京大学计算机科学与技术系更多>>
发文基金:国家自然科学基金国家高技术研究发展计划国家科技支撑计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇期刊文章
  • 1篇会议论文

领域

  • 4篇自动化与计算...

主题

  • 3篇形式化
  • 3篇形式化描述
  • 3篇安全评估
  • 2篇形式化方法
  • 2篇安全测试
  • 1篇污点分析
  • 1篇测试用例
  • 1篇测试用例生成

机构

  • 4篇南京大学
  • 1篇计算机软件新...

作者

  • 4篇曾庆凯
  • 4篇王伟光
  • 3篇丁洪达
  • 1篇孙浩

传媒

  • 1篇计算机应用
  • 1篇软件学报
  • 1篇解放军理工大...
  • 1篇第六届中国信...

年份

  • 1篇2016
  • 2篇2009
  • 1篇2008
4 条 记 录,以下是 1-4
排序方式:
一种基于形式化描述的测试案例生成方法
2009年
基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法。从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化。
丁洪达王伟光曾庆凯
关键词:安全评估安全测试形式化方法
一种基于形式化描述的测试案例生成方法
针对已有的形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种新的基于形式化描述的测试案例生成方法。该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,...
丁洪达王伟光曾庆凯
关键词:安全评估安全测试形式化方法
文献传递
面向危险操作的动态符号执行方法被引量:11
2016年
针对缺陷检测的需求,提出了面向危险操作的动态符号执行方法.依据所关注的缺陷类型,定义危险操作及危险操作相关路径,通过计算覆盖不同上下文中危险操作的能力,协助动态符号执行选择高效初始输入,并利用危险操作相关信息引导测试流程.缺陷检测成为定位待测程序内危险操作以及对危险操作相关路径进行检测的过程.实现了面向Linux平台二进制可执行程序的原型系统Crash Finder,实验结果表明,该方法能够更快地发现更多缺陷.
王伟光曾庆凯孙浩
关键词:污点分析
基于形式化描述测试用例生成的研究与实现被引量:7
2008年
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。
王伟光丁洪达曾庆凯
关键词:安全评估测试用例生成形式化描述
共1页<1>
聚类工具0