国家自然科学基金(60673120)

作品数：6被引量：0H指数：0
导出分析报告
相关作者：罗清宙骆桢轩夏嘉斌赵建军雷达成更多>>
相关机构：上海交通大学更多>>
相关期刊：《计算机工程与设计》《计算机与现代化》《计算机应用与软件》《计算机工程》更多>>
相关主题：并发程序计算方法回放多线程可达性更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于概率推演的动态程序切片优先度计算方法
《计算机与现代化》2013年第3期12-16,共5页夏嘉斌 
国家自然科学基金资助项目(60673120)
为了提高程序调试的效率,本文提出一种基于概率推演自动计算动态程序切片中每条语句的正确概率并赋予优先度的方法。首先从程序运行过程抽取其相应的动态依赖关系图;然后根据依赖关系转化成贝叶斯网络;最后在该网络上运行概率推演并统计...
关键词：动态切片 程序调试 概率推演 自动化程序分析 错误定位 
基于符号执行和数据挖掘的路径可达性检测研究
《计算机与现代化》2013年第3期74-77,共4页范彧 
国家自然科学基金资助项目(60673120)
要把静态分析技术真正应用于软件工程的实践中,程序中的不可到达路径依旧是一个巨大的障碍。在缺乏不可到达路径信息的情况下,数据流信息只能以一种非常保守的方式被利用,因而使进一步的工作,例如测试数据生成或者软件缺陷检测变得更加...
关键词：符号执行 数据挖掘 程序路径 可达性 不可到达路径 
并发程序原子图挖掘技术
《计算机工程》2012年第18期30-33,共4页朱一清 
国家自然科学基金资助面上项目(60673120)
针对当前并发程序的不确定性和复杂性,以及程序原子性质获取困难的问题,提出一种并发程序原子性质提取方法。将并发程序中的同步区域转化为与并发操作相关的并发操作图后,采用频繁子图挖掘算法自动提取程序中的原子图,使其能刻画并发程...
关键词：并发程序 原子图 原子性质 多线程 频繁子图挖掘 
基于分解的重构验证的研究
《计算机应用与软件》2012年第12期13-17,共5页雷达成 赵建军 
国家自然科学基金项目(60673120)
重构可以改进既有软件的设计、提高软件质量,是一种行为保持的转化过程。自动化重构工具的广泛使用使得提高它的可靠性变得十分重要,然而即使是很简单的重构方法仍会导致许多错误,这些错误将会导致程序转换前后的行为不一致。因此提出...
关键词：重构 自动化重构工具验证.分解 
基于回放机制的并发程序中的错误重现方法
《计算机工程与设计》2010年第13期3029-3031,3035,共4页罗清宙 
国家自然科学基金项目(60673120)
为了帮助程序员检测并发程序中的错误,提出了一种重现错并发误场景的方法。使用对Java字节码插装的方法,生成记录和回放版本的程序。在记录程序运行时,自动记录下线程间执行的逻辑循序,同时在程序发生崩溃后自动生成测试用例,这些测试...
关键词：并发程序 错误重现 确定性回放 字节码插装 测试 
组合统计模型在程序错误定位中的应用
《计算机工程与设计》2010年第19期4218-4220,4231,共4页骆桢轩 
国家自然科学基金项目(60673120)
为了解决用单一统计模型进行程序错误定位时存在的泛化能力较弱、错误类型覆盖不广和对测试用例过度依赖等问题,提出了组合统计模型的方法。该方法根据各个弱计算模型的特点,对它们进行了加权组合。组合统计模型具有更好的错误查找性能...
关键词：错误定位 统计分析 组合统计模型 运行时状态 程序测试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部