JAVA的静态方法调用
介绍一种数据流程分析,这种分析计算存在不同地址并由方法调用返回的引用.分析的结果用来估算方法调
(本文共4页)
阅读全文>>
介绍一种数据流程分析,这种分析计算存在不同地址并由方法调用返回的引用。分析的结果用来估算方法调...
(本文共2页)
阅读全文>>
本文说明了静态变量和静态方法的概念和特点,具体分析了...
(本文共3页)
阅读全文>>
本文提出了一种自动程序分析方法,其基本思想是程序可以看成由一组基...
(本文共6页)
阅读全文>>
一、程序分析的意义 工作研究的内容主要由方法研究技术与工作衡量技术两部分组成。方法研究又可从两方面着手,一种是从大处着眼,如对整个生产过程或...
(本文共5页)
阅读全文>>
建模仿真验证语言(Modeling,Simulation and Verification Language,简称MSVL)是一种时序逻辑程序设计语言,是投影时序逻辑(Projection Temporal Logic,简称PTL)的可执行子集,其包含丰富的数据结构、函数调用以及同步和异步通信机制,已成功应用于并发系统、反应式系统和嵌入式实时系统的模型描述、路径仿真和形式化验证。作为PTL的命题形式,命题投影时序逻辑(Propositional PTL,简称PPTL)具有完全正则表达能力,能够方便地对顺序、并行、区间相关和周期重复的性质进行描述。基于统一的PTL逻辑框架,现有的方法已经实现了对MSVL程序的运行时验证,用于检测程序的动态执行轨迹是否满足期望的PPTL性质。然而,目前的验证方法存在一些不足:首先,针对单条执行路径的时序逻辑性质验证,没有充分利用当前已经广泛普及的多核设备和分布式网络,导致验证效率不高;其次,针对程序...
(本文共143页)
本文目录|
阅读全文>>
随着软件不断的演化和发展,软件的复杂性日益增加,对软件的理解和推理变得愈加困难。软件复杂度来源于很多因素,包括代码含义的模糊、代码相互依赖和软件中潜在的恶意负载等。软件复杂度随着这些因素不断递增,对软件正确性和可靠性提出巨大挑战。对程序进行分析和检测是人们理解软件的重要方法。对程序性质的分析一般是从静态的视角去分析程序代码,尤其是带有指针和递归数据结构的程序所满足的递归性质,建立其与前后置条件之间的关系,从而可以帮助人们理解程序代码的含义。分析和理解程序含义的另一个重要方面是局部推导,即对一段程序代码的理解仅限于这段代码本身,而不需要了解其它模块的含义。这意味着程序的分析难度与代码之间相互依赖关系成正比。对于面向对象程序来说,封装性是重要的依赖关系解耦手段,是实现局部推导的重要基础。现实中很多面向对象程序因为多种因素,如快速迭代和需求变化等,面临封装性缺失的问题。因此系统性地评估封装性对面向对象程序的性质分析具有非常重要的意义。...
(本文共128页)
本文目录|
阅读全文>>