依赖性分析相关论文
通过研究中国乳制品进口市场格局演变将对指导国内乳业生产及市场引导具有重要意义.通过构建近似理想需求系统模型(AIDS)和进口依......
随着互联网的快速发展,软件的规模越来越大、迭代速度越来越快,软件的质量也面临着挑战。目前大规模开源软件代码量甚至达到数百万......
Java语言是当今最流行的语言之一,其具有的“一次编写,多处运行”的特性,使Java被广泛应用于各类应用的开发中。单元测试是Java开发中......
程序依赖性分析是软件工程领域中一项重要而基础的活动,它是对已有程序分析与理解的基础,并在程序切片、逆向工程、软件测试以及软......
随着计算机技术的飞速发展,软件系统的数量越来越多,规模越来越大,复杂程度越来越高。在一些大型、长生命周期的软件测试和维护过......
学位
程序切片是一种重要的程序分析理解方法,用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和控制条件,组成新的程序(称......
近年来,信息科学与计算科学方面的研究呈现一种蓬勃发展态势,软件系统应用在人类生活的方方面面。由于人们对软件系统智能化程度要......
程序切片技术是一种重要的分析和理解程序的技术,具有简化程序,缩小目标范围的特点。程序切片在程序调试、软件维护、测试、度量、逆......
劳动力工资收入是劳动者的主要收入来源,合理区间内的工资收入差距有助于社会财富的流动,促进经济发展,而严重的工资收入差距将会......
本文在已有的依赖性分析技术的基础上,尝试把依赖性分析的思想引入到SOFL模型中,提出了一种基于SOFL条件数据流图的粗粒度切片方法......
依赖性分析是由ProsserR.T.于1959年提出,反映了程序中语句之间的执行顺序和相互作用,是一种重要的程序分析和理解方法。虽然程序能......
程序切片是由WeiserM.提出的一种重要的程序分析和理解的方法,用于从源程序P中抽取对程序中特定点p上的特定变量V有影响的语句和控......
目前,产品开发的困难既来自于技术复杂性,又来自于时间压力。一方面产品生命周期大大缩短,另一方面产品结构日益复杂化和项目大规......
为了实现顺序尺寸标注完备性的自动检测,提出一种基于轨迹相交的检测方法。根据几何约束求解和约束依赖性分析,将顺序尺寸标注的完......
并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制,在通过程序分析工具CodeSurfer获取程序基本信息的基础......
在大型遗留系统的维护活动中,通过聚类技术将系统划分为更小和更易于控制的子系统,是理解软件架构的一项重要措施。传统架构恢复的......
依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示一线程交互可达图(tIRG)的基础上,从......
引入程序切片的思想对UML的重要组成部分--类图进行切片分析.通过定义类间的各种依赖关系构造UML类依赖图,在此基础上提出了一种UM......
目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反......
通过分析 CMOS 集成电路光辐射机理,利用单光子探测技术,搭建针对 CMOS 电路光辐射采集平台;以运行固定指令的 AT89C52微控制器为分析......
并发程序的依赖性分析是并发程序分析、理解、调试、测试和维护的重要手段.由于并发程序执行的不确定性,目前,尚有很多难点有待解......
基于模型的测试是软件测试中一个重要分支,但随着模型规模的增大,测试用例生成也变得越来越困难.扩展有限状态机(extended finite s......
社会的快速发展使人们对交通运输的需求急剧增长,航空运输以其快速、舒适等优点在交通运输体系中所起的作用El益增大。本文对未来客......
项目通过足尺路面环道结构响应观测、路面结构模型试验、典型路面材料模量应力依赖性分析、路面力学计算等手段,研究了沥青路面材......
提出一种基于依赖性分析和打分函数进行贝叶斯网络结构学习的新方法,并把该方法应用于轻度认知障碍诊断系统中。该算法首先通过对......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
为了验证RDFS(resource description framework schema)本体的正确性所执行的推理是一项计算开销很大的任务,该任务在附加约束存在......
为明确重塑黄土动态回弹模量的应力依赖性,借助室内重复加载三轴试验,研究了在16种应力路径、3个压实度和4个含水量状态下黄土动回......
基于UML状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。该文通过依赖性分析,生成基于依赖性分析的UML状态图和......
近日,威斯康辛的地方法院宣布,苹果在自家旗下的A系列处理器中侵犯威斯康辛大学麦迪逊分校的处理器微结构技术专利,被判赔偿2.34亿美......
软件测试是保证软件质量的重要手段,是一项成本昂贵、耗时耗力的复杂工作。面向对象程序分为方法级、类级、类簇级和系统级四个测试......
为确保分支覆盖更加简约高效,提出一种基于遗传算法和分支覆盖的测试数据生成方法。使用控制依赖分析对需覆盖的分支集进行约简,使......
产品价格和品质层面上的各种竞争是市场竞争的关键,而企业产品定价决策的主要影响因素在于成本信息的精确性。本文的切入点在于以......
将UML状态图、程序切片和软件测试技术三者结合起来,生成基于依赖性分析的UML状态图切片,为软件测试中待测试的程序的理解、发现和修......
阿片成瘾的精神依赖性分析及心理治疗刘国清综述郑有顺指导广州第一军医大学中医系目前早期脱毒治疗只注重身体依赖性所导致的戒断......
并发程序切片是一种重要的并发程序分析手段.基于程序可达图可构造以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发......
在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数......
基于黑盒测试思想的Fuzzing是漏洞分析的主要方法,但效率较低且不能分析未知格式.基于污点分析,提出一种针对文件型软件的漏洞发现......
市场营销是企业经营管理的重要内容,但是现在很多企业的市场营销人员没有掌握营销数据分析的方法,在营销管理工作中企业积累的大量......