丁洪达
- 作品数：5 被引量：11H指数：2
- 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于形式化描述的测试案例生成方法
- 针对已有的形式化方法生成测试案例的不足，在分析形式化描述语言Z结构特点的基础上，提出了一种新的基于形式化描述的测试案例生成方法。该方法引入了控制流覆盖准则，克服了经验方法输入空间划分不完整的缺点，降低了形式化描述的难度，...
- 丁洪达王伟光曾庆凯
- 关键词：安全评估安全测试形式化方法
- 文献传递
- 基于形式化方法的自动测试技术研究与实现
- 随着信息技术的发展和应用，安全评估显得日益重要。安全功能测评是信息系统的安全保障要求，已成为高等级安全系统测评的重要内容。形式化方法在高等级安全系统的开发和实现中是不可缺少的，也有利于系统安全功能的测评。访问控制是安全系...
- 丁洪达
- 关键词：形式化方法自动测试技术自动生成访问控制
- 一种基于形式化描述的测试案例生成方法
- 2009年
- 基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法。从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化。
- 丁洪达王伟光曾庆凯
- 关键词：安全评估安全测试形式化方法
- 访问控制的验证测试方法研究被引量：4
- 2007年
- 对访问控制的评测是信息系统和产品安全评估中的一项重要内容。该文从安全标准中对访问控制的需求出发,研究了访问控制的自动测试方法,扩展了GFAC测试接口,并且使用该方法实现了在Linux+RSBAC的环境下对自主访问控制的自动测试。
- 丁洪达曾庆凯包必显
- 关键词：自主访问控制通用访问控制框架
- 基于形式化描述测试用例生成的研究与实现被引量：7
- 2008年
- 根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。
- 王伟光丁洪达曾庆凯
- 关键词：安全评估测试用例生成形式化描述
