搜索到58篇“ 程序不变量“的相关文章
- 面向机器学习算法的程序不变量分析方法
- 近年来，机器学习已经被应用于越来越多的领域，例如图像识别、数据挖掘、语音识别、无人智能系统等等。但有关机器学习算法质量保障方面的研究还处于起步阶段，大部分的研究工作都是关于如何提高数据集的质量和测试训练好的模型，但很少深...
- 宁一璇
- 关键词：机器学习算法程序不变量
- 一种基于程序不变量的软件故障定位方法及装置
- 本发明公开了一种程序不变量的软件故障定位方法及装置。该方法包括：针对目标软件源代码进行语句、值和逻辑表达式级的插桩，采用预设的测试用例集合执行插桩后的源代码，获得执行信息；对预设失败测试用例集合进行聚类，并对每个聚类，选...
- 王甜甜许家欢王克朝苏小红
- 一种基于程序不变量的软件故障定位方法及装置
- 本发明公开了一种程序不变量的软件故障定位方法及装置。该方法包括：针对目标软件源代码进行语句、值和逻辑表达式级的插桩，采用预设的测试用例集合执行插桩后的源代码，获得执行信息；对预设失败测试用例集合进行聚类，并对每个聚类，选...
- 王甜甜许家欢王克朝苏小红
- 程序不变量检测技术研究进展被引量：1
- 2018年
- 伴随着经济的迅猛发展,软件更新速度日益加快,传统的软件测试方法已不能有效保障软件质量。对软件测试起到重要影响作用的不变量,受到了广泛的关注。经过近二十年的研究,程序不变量检测技术已经在软件开发、软件测试、逆向工程等领域得到了广泛应用。该文对程序不变量检测技术在国内外的研究现状进行了总结。主要论述了较成熟的程序不变量检测工具的工作原理、基于合约的程序不变量检测等各种方法的检测过程、不变量的应用范围,并分析了以上各种检测工具和方法的优缺点,最后,针对已有程序不变量检测技术及应用中待探究的问题进行了展望。
- 刘志明时小芳李萌刘杰
- 关键词：程序不变量动态检测
- 基于GEP-RNC的指数对数型程序不变量发现方法被引量：1
- 2017年
- 程序不变量的发现是一种提高软件质量的有效方法.不变量发现工具Daikon可以发现程序中蕴含的简单不变量形式,但不包括复杂的函数型不变量.本文基于GEP-RNC算法对指数对数型不变量发现方法进行研究,通过实验证明GEP-RNC算法可以有效的发现指数对数形式的不变量,解决了基因表达式编程算法在复杂函数形式发现中稳定性不佳,精度不高的问题,扩展了Daikon不变量测试库中程序不变量的类型.
- 李玉燕阳小华吴取劲
- 关键词：程序不变量
- 一种基于GEP的程序不变量动态发现方法
- 2016年
- 利用GEP(基因表达式编程)获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式,能够进行目前技术没有处理的函数型程序不变量的发现生成工作.在函数型程序不变量范围内,有效地克服了目前程序不变量发现技术中存在的两个缺点,即计算盲目性与程序不变量形式预置的主观性.整个工作可以理解为是对目前程序不变量发现技术的一个扩展,它拓广了原有技术可发现的程序不变量种类,增大了从程序运行轨迹数据中发现更多不变量的可能性.
- 郭培甲吴取劲
- 关键词：程序不变量
- 一种基于程序不变量的合约式软件故障预警方法
- 一种基于程序不变量的合约式软件故障预警方法，（1）使用Daikon工具为需要预警的程序生成程序不变量，根据测试用例集在Daikon工具上运行源程序产生不变量，输出程序不变量；（2）筛选不变量；（3）手动生成由布尔断言组成...
- 段振华刘艳艳田聪张南王小兵
- 基于控制流信息和程序不变量相结合的软件故障预警方法
- 计算机软件在国民经济的各个方面都得到广泛应用，但是软件的大规模发展也增大了软件的安全隐患，所有的软件都不可避免的包含故障错误，因此提高软件质量已经是越来越受关注的话题。软件故障预警作为软件质量保证中的重要技术，被越来越多...
- 张晨光
- 关键词：软件质量程序不变量安全监控
- 基于程序不变量的并发软件可靠性计算
- 软件可靠性是评估软件系统质量的一个重要属性，传统意义上，一个软件系统的可靠性是根据软件测试的输出计算得到。这样得出的可靠性，存在以下的缺点: 1)由于失效数据来自测试的输入或输出，仅反映了系统行为的一部分，如果使用输出...
- 周辉
- 关键词：程序不变量并发程序软件测试
- 基于程序不变量的软件可靠性计算
- 软件可靠性是衡量软件系统质量的重要指标，它的计算依赖于软件可靠性模型的选择以及所获得的软件失效数据。现有的软件可靠性计算的方法是采用测试的输入和输出结果，但这些数据并不能真实的反应软件内部信息，如测试不能显示一个输入有多...
- 胡成辉
- 关键词：测试用例集程序不变量
相关作者
- 阳小华
- 作品数：213被引量：724H指数：15
- 供职机构：南华大学
- 研究主题：程序不变量 软件工程 信息检索 计算思维 合约
- 刘树锟
- 作品数：19被引量：34H指数：3
- 供职机构：湖南涉外经济学院
- 研究主题：程序不变量 动态检测 合约 条件查询 软件质量
- 刘杰
- 作品数：112被引量：191H指数：7
- 供职机构：南华大学
- 研究主题：CU 组件 程序不变量 VVC 复杂度
- 曾凡平
- 作品数：64被引量：196H指数：8
- 供职机构：中国科学技术大学计算机科学与技术学院
- 研究主题：测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
- 吴取劲
- 作品数：29被引量：77H指数：4
- 供职机构：南华大学
- 研究主题：工作流 似然 程序不变量 软件测试 深度优先搜索
