程序不变量

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于不变量的软件可靠性计算
《软件工程》2024年第7期73-78,共6页张可昀 丁佐华 
传统模型采用静态的失效数据评估软件的可靠性往往不够准确,为此提出一种基于不变量的可靠性计算方法。通过Daikon不变量工具收集失效不变量,依据函数调用关系图消除冗余,再输入Nelson模型进行可靠性计算。对西门子程序包中的28个错误...
关键词：程序不变量 软件可靠性 冗余不变量 
基于不变量的机器学习算法分析被引量：1
《智能计算机与应用》2021年第5期6-12,共7页宁一璇 
国家自然科学基金(111229A4A15153)。
随着机器学习算法在人工智能各领域的广泛应用,人们开始关注机器学习算法的质量分析。由于机器学习算法中缺少测试语言,对学习算法进行质量分析是很困难的,基于此,本文提出了基于不变量的机器学习算法分析方法,对5种机器学习算法进行不...
关键词：机器学习算法 程序不变量 关键变量提取 程序分析 
程序不变量检测技术研究进展被引量：1
《电脑知识与技术》2018年第1Z期216-218,共3页刘志明 时小芳 李萌 刘杰 
国家自然科学基金青年基金(61502221)
伴随着经济的迅猛发展,软件更新速度日益加快,传统的软件测试方法已不能有效保障软件质量。对软件测试起到重要影响作用的不变量,受到了广泛的关注。经过近二十年的研究,程序不变量检测技术已经在软件开发、软件测试、逆向工程等领域得...
关键词：程序不变量 动态检测 Daikon 
基于GEP-RNC的指数对数型程序不变量发现方法被引量：1
《南华大学学报（自然科学版）》2017年第1期72-76,共5页李玉燕 阳小华 吴取劲 
湖南省哲学社会科学基金(14YBA335)
程序不变量的发现是一种提高软件质量的有效方法.不变量发现工具Daikon可以发现程序中蕴含的简单不变量形式,但不包括复杂的函数型不变量.本文基于GEP-RNC算法对指数对数型不变量发现方法进行研究,通过实验证明GEP-RNC算法可以有效的发...
关键词：程序不变量 GEP-RNC 对数 指数 
一种基于GEP的程序不变量动态发现方法
《南华大学学报（自然科学版）》2016年第4期106-111,共6页郭培甲 吴取劲 
利用GEP(基因表达式编程)获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式,能够进行目前技术没有处理的函数型程序不变量的发现生成工作.在函数型程序不变量范围内,有效地克服了目前程序不变量发现...
关键词：程序不变量 GEP函数型程序不变量 
基于程序不变量计算软件可靠性被引量：4
《软件学报》2015年第12期3075-3087,共13页周远 丁佐华 
国家自然科学基金(61210004;61170015)~~
现有的计算软件可靠性的方法采用测试的输入/输出结果,但这些数据并不能真实地反映软件内部的真实行为,如测试中会出现假性正确的情况以及测试不能显示一个输入有多个错误的输出情况.试图通过程序不变量来计算软件的可靠性,程序不变量...
关键词：测试用例集 程序不变量 失效数据 Nelson模型 软件可靠性 
测试方法对软件失效数据影响的实验分析
《浙江理工大学学报（自然科学版）》2014年第4期429-433,共5页李晓雪 丁佐华 胡觉亮 
国家自然科学基金(61210004)
失效数据常被用于评估软件的质量、监测和预测软件的运行情况,不同的测试方法对失效数据的影响是研究的重点。采用随机测试、分支覆盖测试和分块覆盖测试这3种不同的测试方法选取测试用例集,运用Daikon动态地获取程序不变量,再从这些不...
关键词：失效数据 测试方法 随机测试 测试用例集 程序不变量 
基于程序不变量的载荷特征提取方法
《通信技术》2013年第9期79-82,共4页葛子毅 程绍银 蒋凡 
高等学校博士学科点专项科研基金新教师类资助课题(No.20113402120026);安徽省自然科学基金(No.1208085QF112);安徽省高等学校优秀青年人才基金(No.2012SQRL001ZD);中央高校基本科研业务费专项资金资助(No.WK2101020004)
应用层载荷特征是一种使用广泛、识别率高的指纹,但其生成主要依赖手工分析。针对该类特征的自动生成问题,提出一种基于程序不变量的指纹提取方法。该方法对应用程序进行插桩,跟踪应用程序处理协议数据包的过程,生成程序状态集并从中检...
关键词：应用层载荷特征 程序不变量 动态污点传播 
一种基于不变量的测试空间约简方法
《电子质量》2013年第2期5-7,13,共4页刘丽娜 朱玲莉 
测试用例的自动生成在带来方便的同时引入了大量的等价输入及过多的冗余测试用例,对于测试空间的约简能够有效地解决这一矛盾。程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言,可以用于指导测试用例的生成。通过程序...
关键词：程序不变量 随机空间 测试用例 
程序不变量到断言的自动转换方法研究及其应用被引量：2
《计算机应用与软件》2012年第11期177-180,189,共5页邓超强 曾凡平 武飞 熊能 董齐兴 
安徽省自然科学基金项目(11040606M131)
程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断...
关键词：程序不变量 断言 回归测试 错误识别 测试用例集合约简 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部