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