计算机程序切片技术探讨

程序切片技术是一种分析和理解程序的技术，在程序切片技术提出的30年来，得到了很快的发展。本文主要介绍了程序切片的基本概念，程序切片的种类、算法以及用途。     

一种组合式基于调用栈的程序切片方法

通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图(SDG)而造成大程序分析效率较低等问题,提出相关子程序分析算法,通过仅分析程序中部分与切片标准相关的子程序,而不是所有子程序来提高分析效率,同时提出一种组合式基于调用栈的程序切片...     

基于SAP5P程序的刚架结构离散变量优化系统

利用优化准则法，结合机械设计的特点，编制了以ＳＡＰ５Ｐ程序为基础的大型复杂刚架结构离散变量优化程序ＳＯＰ，并对一刚架结构模型进行了优化分析。     

面向对象软件耦合的度量和验证

在研究面向对象软件度量过程中,提出了一种基于程序切片和信息流分析技术的面向对象软件耦合性度量方法.该方法首先计算面向对象程序的前向切片和后向切片,然后通过信息流分析技术分析程序中可能存在的输入耦合、输出耦合、I/E耦合,单向耦合、双向耦合和无耦合等6种耦合情况,并根据程序切片计算信息流的绝对量和信息流的宽度,进一步在此基础上计算面向对象程序中2个组件之间的耦合系数和某个组件自身的耦合度.最后通过理论证明和经验分析的方法验证了基于程序切片耦合度量的正确性和有效性.     

新资产减值准则与税法的比较分析

新发布的资产减值准则本身与税法在核算方法，计提口径、计提比例、核销程序等方面依然存在差异，如固定资产减值准备，而对差异形成的所得税会计处理，新准则只允许采用一种方法——资产负债表债务法进行业务处理。同时，资产减值准则与税法在一定程度上存在紧密的联系，如唯一能税前抵扣的坏账准备，通过其与税法之间的潜在联系进行纳税筹划，更好地实现企业价值。本文对此进行了分析研究。     

切片技术在代码味道识别中的研究

程序切片技术作为一种良好的代码分析技术,可以用来改善软件质量.基于程序切片技术这一特点,本文提出了一种切片度量代码味道的方法,用其识别代码味道,促进全自动化重构技术发展.     

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题, 提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖, 获得程序整体框架, 再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖, 以此得到程序切片。该算法减少了计算控制流的工作量, 避免计算谓词依赖集的过程, 减少了存储资源开销, 提高了切片的效率。     

面向对象软件和EFSM规范测试覆盖准则比较

测试覆盖准则是软件测试的一个重要组成部分。目前已有的覆盖准则研究大多从程序代码或者规范出发,很少将两者结合起来考虑。另外,面向对象软件和扩展有限状态机(EFSM)规范应用越来越广泛。该文从面向对象程序代码和EFSM规范两方面出发,对现有测试覆盖准则进行了分析比较,给出了2个新的测试覆盖准则,对现有测试覆盖准则进行了扩充,并对基于面向对象程序和EFSM规范的测试覆盖准则进行了公理化评估。通过实验进一步分析了基于规范的和面向对象程序的测试覆盖准则之间的一些对应关系,为测试人员在测试准则的选取上提供了一定的指导。     

预应力钢筋混凝土叠合框架的非线性分析

应用平面非线性有限元对叠合框架进行了全过程分析，考虑了二阶段成型二次受力的特性和混凝土受拉应力-应变曲线的下降段，使用了Liu等人模式的混凝土破坏准则，编制了Fortran程序，并通过框架实验验证了计算方法和程序计算的可靠性．     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

软件测试环境COSTE的设计与实现

介绍一个COBOL软件测试环境COSTE系统的组成结构、主要功能和特点．该系统采用了弱变异、程序插装、测试数据自动生成等一些独特的软件测试技术，可以完成对COBOL程序的静态分析和动态测试，提供关于被测软件的程序特性和异常信息，以夏动态测试结果和结构覆盖信息，并可以根据覆盖情况和结构覆盖准则，自动生成补充的测试数据。以期更好地逼近结构覆盖要求，辅助用户更有效地进行软件维护工作．     

我国会计准则制定模式的研究

良好的会计准则制定模式，是制定高质量会计准则的基础。恰当的准则制定机构、高素质的准则制定人员以及充分的准则制定程序，是良好会计准则制定模式的必备要素。本文提出了我国的准则制定模式的设想。     

浅谈监理系统的建设

针对监理系统建设不够充分的现实，对监理系统的目标体系、方式体系、准则、程序及建设问题进行了论述。     

浅谈监理系统的建设

针对监理系统建设不够充分的现实，对监理系统的目标体系、方式体系、准则、程序及建设问题进行了论述。     

一种获取Web结构切片的方法及其应用

程序切片是一种程序分析方法,在软件的理解、调试、维护、测试以及逆向工程中发挥中着重要的作用.Web应用程序的编码特性与传统程序有着较大的区别,因此,传统的切片方法难以适用.在分析Web应用程序语句特征的基础上,定义了由页面引起的Web页面间的各种依赖关联,并构建了Web应用结构依赖图WAStrDG.基于WAStrDG所实现的Web结构切片算法有助于获取Web结构层次的信息,可以有效提高Web的测试和维护效率.     

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

船舶纵向运动及波浪弯矩计算

本文用Ｆｒａｎｋ紧密拟合法和ＳＴＦ新切片理论研究了船舶在任意浪向下纵向运动及波浪弯矩的计算，并编制了电算程序。计算结果与试验结果吻合很好。此外，本程序还可预报垂向加速度、相对运动、上浪、拍击、螺旋桨出水概率以及波浪中阻力增加。本文旨在能给船舶研究和设计部门提供一个用 Ｆｒａｎｋ法和 ＳＴＦ切片理论计算纵向运动，且能适用于各种船型的计算方法和程序．     

论住院病人费用核算中的会计准则实践

本文通过借鉴《企业会计准则》，分析在《医院会计制度》中规定的住院病人费用相关业务处理的规则、方法和程序，针对与会计准则中不相一致的部分提出改进意见．以理论实践的形式评价相关业务处理的规则、方法和程序．     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多.但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决.文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用.     

一种新的弹塑性本构矩阵及应用

利用非关联流动法则,在空间状态下基于M—C准则导出一种新的屈服准则以及相应的弹塑性本构关系,该屈服准则与M—C准则所得的塑性体应变增量完全相等,并体现了中间应力σ2对屈服的影响．并把新准则与其他准则在理论上进行了分析、比较．最后把本文提出的新准则与有限元强度折减系效法结合起来,通过对c、φ的等效替换,利用ANSYS通用程序进行边坡稳定分析,所得结果与极限平衡法吻合良好．