程序不变量

作品数：31被引量：30H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：阳小华刘树锟刘杰曾凡平吴取劲更多>>
相关机构：南华大学中国科学技术大学浙江理工大学湖南涉外经济学院更多>>
相关期刊：《计算机工程与设计》《计算机与现代化》《计算技术与自动化》《南华大学学报（自然科学版）》更多>>
相关基金：湖南省自然科学基金国家自然科学基金湖南省教育厅科研基金安徽省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用与软件x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
程序不变量到断言的自动转换方法研究及其应用被引量：2
《计算机应用与软件》2012年第11期177-180,189,共5页邓超强 曾凡平 武飞 熊能 董齐兴 
安徽省自然科学基金项目(11040606M131)
程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断...
关键词：程序不变量 断言 回归测试 错误识别 测试用例集合约简 
一种交互式的不变量动态发现编配工具被引量：1
《计算机应用与软件》2008年第10期85-86,106,共3页刘杰 阳小华 罗扬 吴取劲 
湖南省自然科学基金项目(05JJ30117)
发现程序中隐含程序不变量是实现高层次行为合约、提高程序质量的关键。重点研究了不变量的动态发现方法与程序编配原理,并在传统的编配方法基础上实现了交互式的石鼓编配工具。该工具具有预设观测点和观测变量等功能,并通过将运行轨迹...
关键词：程序不变量 动态发现 编配工具 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部