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