钟杨

作品数：1被引量：0H指数：0
导出分析报告
供职机构：华东理工大学信息科学与工程学院更多>>
发文主题：形式化验证归纳法软件测试更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《华东理工大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种用于循环程序形式化验证的划分归纳方法
《华东理工大学学报（自然科学版）》2008年第6期834-836,共3页钟杨 宋国新 计春雷 
国家自然科学基金(60473055)
为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力。本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化...
关键词：软件可靠性 形式化验证 划分算法 划分归纳方法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部