搜索筛选:
搜索耗时2.4611秒,为你在为你在102,285,761篇论文里面共找到 15 篇相符的论文内容
发布年度:
[学位论文] 作者：汤恩义,
来源：南京大学 年份：2013
随着计算机科学与技术的不断快速发展，软件系统的规模和复杂性日益增大，软件系统的开发、维护和演化成本也随之不断上升。如何有效地控制复杂性、保障正确性和可靠性、降低成本......
[期刊论文] 作者：汤恩义,李宣东,
来源：计算机学报 年份：2013
正确的时间属性和行为对于实时软件来说非常关键,然而这却很难得到完全的保障.在实际工业中,实时性错误不仅会在软件的设计开发阶段被引入,在软件的维护阶段,随着软件的演化...
[期刊论文] 作者：杨开懋,施小逸,汤恩义,
来源：南昌教育学院学报 年份：2016
随着软件的规模和复杂度持续上升，在软件开发中不可避免地会引入缺陷，而如何对软件进行缺陷预测也成为了软件工程研究的热点领域之一。现有的软件缺陷预测方法主要根据源码结构......
[期刊论文] 作者：汤恩义, 周岩, 欧建生, 陈鑫,,
来源：软件学报 年份：2016
条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动...
[期刊论文] 作者：汤恩义,BARR Earlz,苏振东,李宣东,,
来源：中国科学:信息科学 年份：2014
很多用于关键领域的数值计算程序使用浮点数格式作为数据的内部表示,但由于浮点数在表示上存在误差,这类程序的正确性很难得到完全的保障.本文提出了一种自动的检测途径来帮助应用程序的开发人员获得他们所写代码的稳定性信息.它通过两种具体的扰动技术——数值......
[期刊论文] 作者：张庆垒, 乔均, 刘春林, 汤恩义,,
来源：软科学 年份：2004
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食Back to yield...
[期刊论文] 作者：张庆垒, 施建军, 刘春林, 汤恩义,,
来源：外国经济与管理 年份：2018
近年来技术多元化研究一直都是探讨技术多元化与企业绩效关系,忽略了技术多元化对不同类型技术创新能力的影响。本文基于组织学习理论,探索技术多元化对企业双元技术创新能力...
[期刊论文] 作者：李彬,翟娟,汤震浩,汤恩义,赵建华,
来源：软件学报 年份：2018
提出了基于抽象解释框架自动合成数组程序不变式的方法,它能够分析按照特定顺序访问一维或者多维数组的程序,然后合成不变式.该方法将性质（包括区间全称量词性质和原子性质）集......
[期刊论文] 作者：李倩,汤恩义,戴雪峰,王林章,赵建华,
来源：软件学报 年份：2011
指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen算法,设计了一种有效的、上下文敏感的指针指向分析算法,支持继承、字段对象等语言特性.不同...
[期刊论文] 作者：陈俊洁,汤恩义,何啸,马晓星,
来源：软件学报 年份：2021
随着互联网、物联网、云计算等新计算平台、新应用模式及智能化等新软件模式的广泛运用,软件系统内外各种来源的非确定性不断增强.从软件系统内部的不确定性来看,并发程序是一类典型的非确定性软件系统.并发程序由于其随机性高的特点,容易导致并发缺陷且难以调......
[期刊论文] 作者：张一帆, 黄超, 欧建生, 汤恩义, 陈鑫,,
来源：软件学报 年份：2015
随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的...
[期刊论文] 作者：沈维军,汤恩义,陈振宇,陈鑫,李彬,翟娟,
来源：软件学报 年份：2018
安全漏洞检测,是保障软件安全性的重要手段.随着互联网的发展,黑客的攻击手段日趋多样化,且攻击技术不断翻新,使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类...
[期刊论文] 作者：张一帆,汤恩义,苏琰梓,杨开懋,匡宏宇,陈鑫,
来源：软件学报 年份：2018
软件安全性是衡量软件是否能够抵御恶意攻击的重要性质.在当前互联网环境下,黑客攻击无处不在,因而估计软件中可能含有的漏洞数量与类型,即对软件进行安全评估,变得十分必要....
[期刊论文] 作者：赵祖威,冯世宁,汤恩义,陈鑫,李宣东,潘敏学,赵晨,
来源：电子学报 年份：2017
循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界（Loop Bound）.对应技术在文献中被称为循环边界分析（Loop Bound Analysis）....
[期刊论文] 作者：成浩亮,汤恩义,玉淳舟,张初成,陈鑫,王林章,卜磊,李宣东,,
来源：软件学报 年份：2020
软件测试在提高移动应用的安全性和可靠性方面扮演着重要角色.然而,目前主流的移动应用界面测试技术存在着许多不足:人工编写脚本和录制回放技术需要消耗大量的人力成本,自动化测试在移动应用界面测试的应用场景上受到了诸多限制.针对这些问题,提出一种基于手绘......
相关搜索：
