汤恩义

作品数：15被引量：83H指数：5
导出分析报告
供职机构：南京大学更多>>
发文主题：制导软件测试浮点图形界面网络爬虫更多>>
发文领域：自动化与计算机技术文化科学经济管理更多>>
发文期刊：《软件学报》《软科学》《中国科学：信息科学》《外国经济与管理》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划江苏省产学研联合创新资金项目国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种经验库制导的浮点程序优化加速策略被引量：1
《计算机学报》2022年第9期2014-2028,共15页肖安祥 张硕骁 汤恩义 陈鑫 王林章 
国家自然科学基金(62172210,61772260)资助.
为了保障数值程序的准确与高效,浮点程序自动优化成为了近年来学术界关注的一项新兴技术.该技术的核心思想是将经典的数值分析理论总结成程序转换规则,并利用规则将浮点程序以计算过程更为稳定的算法进行自动重写,从而使数值程序稳定高...
关键词：加速策略 程序优化 浮点数值程序 经验库 
一种手绘制导的移动应用界面测试方法被引量：1
《软件学报》2020年第12期3671-3684,共14页成浩亮 汤恩义 玉淳舟 张初成 陈鑫 王林章 卜磊 李宣东 
国家重点研发计划(2017YFB1001801);国家自然科学基金(61772260,61402222,61632015,61690204)。
软件测试在提高移动应用的安全性和可靠性方面扮演着重要角色.然而,目前主流的移动应用界面测试技术存在着许多不足:人工编写脚本和录制回放技术需要消耗大量的人力成本,自动化测试在移动应用界面测试的应用场景上受到了诸多限制.针对...
关键词：手绘制导测试生成 模型驱动的自动化测试 移动应用 图形界面测试 
转型经济下研发强度对利用式创新和探索式创新的影响研究被引量：20
《软科学》2018年第10期1-4,33,共5页张庆垒 乔均 刘春林 汤恩义 
国家自然科学基金项目(71572075、61772260);国家社会科学基金项目(15BJY116)
采用568家中国主板上市公司2007-2010年的专利和财务数据进行负二项回归,实证检验了研发强度对企业双元创新的影响,并且探索中国转型经济情境下制度逻辑对研发强度与企业双元创新关系的解释。结果显示：研发强度对利用式创新和探索式创...
关键词：研发强度 探索式创新 利用式创新 国企属性 规模 
技术多元化、行业竞争互动与双元创新能力被引量：28
《外国经济与管理》2018年第9期71-83,共13页张庆垒 施建军 刘春林 汤恩义 
国际自然科学基金项目(71572075);国家自然科学基金项目(61772260)
近年来技术多元化研究一直都是探讨技术多元化与企业绩效关系,忽略了技术多元化对不同类型技术创新能力的影响。本文基于组织学习理论,探索技术多元化对企业双元技术创新能力的不同作用。采用2007—2010年568家中国主板上市公司数据的...
关键词：技术多元化 专利 探索式创新 利用式创新 行业竞争互动 
自然语言数据驱动的智能化软件安全评估方法被引量：3
《软件学报》2018年第8期2336-2349,共14页张一帆 汤恩义 苏琰梓 杨开懋 匡宏宇 陈鑫 
国家重点研发计划(2016YFB1000802);国家自然科学基金(61772260;61402222)~~
软件安全性是衡量软件是否能够抵御恶意攻击的重要性质.在当前互联网环境下,黑客攻击无处不在,因而估计软件中可能含有的漏洞数量与类型,即对软件进行安全评估,变得十分必要.在实际中,用户不仅需要对未发布或者最新发布的软件实施安全...
关键词：软件安全评估 自然语言处理 机器学习 网络爬虫 
自动合成数组不变式被引量：3
《软件学报》2018年第6期1544-1565,共22页李彬 翟娟 汤震浩 汤恩义 赵建华 
国家自然科学基金(61632015;61561146394);国家重点研发计划(2016YFB1000802)~~
提出了基于抽象解释框架自动合成数组程序不变式的方法,它能够分析按照特定顺序访问一维或者多维数组的程序,然后合成不变式.该方法将性质(包括区间全称量词性质和原子性质)集合作为抽象域,通过前向迭代数据流分析合成数组性质.证明了...
关键词：不变式合成 抽象解释 数组程序 
数值稳定性相关漏洞隐患的自动化检测方法被引量：5
《软件学报》2018年第5期1230-1243,共14页沈维军 汤恩义 陈振宇 陈鑫 李彬 翟娟 
国家自然科学基金(61772260;61402222;61373013);国家重点基础研究发展计划(973)(2014CB340700);江苏省产学研前瞻项目(BY2015069-03)~~
安全漏洞检测,是保障软件安全性的重要手段.随着互联网的发展,黑客的攻击手段日趋多样化,且攻击技术不断翻新,使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类型的安全漏洞隐患,称为数值稳定性相关的安全漏洞隐患.由于黑...
关键词：漏洞检测 数值稳定性 程序分析 软件安全 
一种符号执行制导的循环内界分析方法被引量：2
《电子学报》2017年第11期2582-2592,共11页赵祖威 冯世宁 汤恩义 陈鑫 李宣东 潘敏学 赵晨 
国家自然科学基金(No.61402222;No.61632015);国家重点研发计划(No.2016YFB1000802);教育部高等学校博士学科点专项科研基金(No.20110091120058);江苏省产学研项目(No.BY2014126-03)
循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界(Loop Bound).对应技术在文献中被称为循环边界分析(Loop Bound Analysis).现有的循环边界分析均使用保守方式进行外界分析,即产生略...
关键词：循环边界分析 符号执行 软件测试 
面向条件判定覆盖的线性拟合制导测试生成被引量：5
《软件学报》2016年第3期593-610,共18页汤恩义 周岩 欧建生 陈鑫 
国家自然科学基金(61402222;91318301;61561146394);国家重点基础研究发展计划(973)(2014CB340703);教育部高等学校博士学科点专项科研基金(20110091120058);江苏省产学研项目(BY2014126-03)~~
条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足....
关键词：测试用例自动生成 条件判定覆盖 线性拟合 关联路径 
设备驱动程序可靠性和正确性保障方法与技术研究进展被引量：10
《软件学报》2015年第2期239-253,共15页张一帆 黄超 欧建生 汤恩义 陈鑫 
国家重点基础研究发展计划(973)(2014CB340703);国家自然科学基金(91318301;91118002;61321491;61402222);教育部高等学校博士学科点专项科研基金(20110091120058);江苏省产学研项目(BY2014126-03)
随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导...
关键词：安全攸关软件系统 设备驱动程序 可靠性 正确性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部