Java程序分析工具在复杂网络背景下的分析与设计

复杂网络背景下的Java程序分析工具,大大提高了Java软件应用系统的前景,促进了软件行业的不断创新。本文就复杂网络背景下的Java程序分析工具进行概述,分析复杂网络背景下的Java程序分析工具JPAC的工作原理和结构,提出在复杂网络背景下Java程序分析工具的设计思想和方法。

过程嵌套调用图生成程序NESTING.COM——VAX/VMS上的一个程序分析工具

本文介绍一个用于程序分析的命令过程。该命令过程主要功能是为分析者提供一张程序执行时过程之间的调用关系图,使分析者对程序的执行过程一目了然。对分析较长、较复杂的程序是一种强有力的工具。本文附有实例及命令过程的程序本身。

程序静态分析技术与工具

静态分析对于保证程序质量,提高软件生产率有重要的意义。本文综述了静态分析常用的策略,介绍了当前静态分析的研究现状,比较了目前已有的静态程序分析工具。

利用ANTLR生成C++描述的分析程序

ANTLR(ANother Tool for Language Recognition)是一种基于LL(k)文法的语法分析程 序(以下简称分析器)生成工具。其生成的分析器默认使用Java描述,而不是更高效的 C++。本文介绍了在Windows平台下,借助VC6.0进行组织工程,使用ANTLR生成 C++描述的分析器的方法,并给出了一个实例。最后,本文对ANTLR本身做出了一 点改进。

商贸企业物流绩效提升的基本工具研究

本文认为,对顾客真正需求的忽略,隐性成本统计数据的缺乏,专业管理技巧的缺少,对物流系统整体性认识的欠缺,是阻碍商贸企业物流绩效提升的因素。商贸企业应采用程序分析工具、定点超越工具、以活动为基准的成本计算工具以及定位、整合、灵活性与测度等策略,克服物流活动障碍,不断提升物流绩效。

稀土金属配合物配位场程序化分析工具

介绍了稀土金属配合物配位场程序化分析工具以及程序设计的专业依据、设计思想和编程方法， 以及分析工具的界面管理过程， 并讨论了在二角和三角对称稀土配合物配位场分析中的应用。

基于证据自动机的软件回归验证

为了在多版本程序验证中利用邻近版本之间的共享信息,提取并重用之前版本证据自动机中的循环不变式,提出基于证据自动机的软件回归验证。首先通过证据预处理生成适用于新版程序的证据文件,然后在辅助不变式增强的k-归纳方法的基础上实现了检验新证据文件及验证新版程序的回归验证过程,最后通过对比实验比较了不使用不变式信息的直接验证与结合或不结合数据流分析的三种回归验证的验证性能。与直接验证相比,不结合与结合数据流分析的回归验证的验证耗时分别减少了49%与75%,而内存消耗分别减少了18%与50%。实验结果表明,当程序满足其验证属性时,基于证据自动机的回归验证能极大地提高验证效率,而将证据自动机与数据流分析相结合的验证方式能得到更好的验证效果。