一种粗粒度并发程序切片方法

并发程序切片是并发程序分析、理解、调试、测试和维护的重要手段。文章在针对Ada任务机制讨论通信Petri网的基础上，分析了由任务间的同步活动所引起的控制依赖关系，提出了一种粗粒度的切片方法，为人们从较高的抽象层次上理解并发程序提供了一种有效的手段。     

一种基于程序可达图的并发程序依赖性分析方法

依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高.     

基于依赖标识的并发程序动态切片方法

针对面向对象并发程序给出一种基于依赖标识的动态切片方法.使用面向对象并发程序依赖图(COOPDG)作为中间图表示,然后对不同类型依赖边进行分析,根据在运行时依赖是否出现来决定是否动态地标识COOPDG中相应的边.该方法能降低动态切片在运行时对中间图的更新时间,以及获得切片的反应时间.     

并发程序变异测试研究综述

变异测试是一种面向缺陷的软件测试方法,利用人为注入的缺陷引导测试数据生成,评价测试数据的有效性,在软件工程领域得到了广泛关注.依托多核架构,开发可靠的并发程序越来越迫切.近年来,很多学者尝试将变异测试技术应用于并发程序,以提高并发程序测试的效率和可靠性.首先,介绍了本文工作与已有综述的不同;然后,阐述了与并发程序和变异测试技术相关的知识;接着,从变异实施、变异测试准则、测试数据生成等3方面,综述并发程序变异测试的研究进展,包括：变异算子设计、选择变异、高阶变异、弱变异、测试数据生成方法、变异测试工具等;最后,讨论需要进一步研究的问题.     

一种改进的用于并发程序静态切片的程序依赖图

分析了Krinke切片算法，发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象．原因是Krinke算法的数据结构所定义的线程间数据依赖关系过于粗糙，相应的切片算法对程序执行路径的合法性约束不够严格。提出一种改进的并发程序依赖图，引入跨线程边界循环一承载数据依赖关系。给出了添加跨线程边界循环一承载数据依赖关系的算法。实例分析表明，作用在新的并发程序依赖图上的切片算法克服了Krinke算法的切片不精确现象。     

Unix下的并发处理模式

详细介绍了在 Unix/L inux平台上的 3种并发处理模式及其实现原理 ,并对他们各自的优缺点加以比较。随后以一个项目实例来综合分析多种并发模式的应用 ,由此分析了在大型复杂系统中该如何设计并发程序     

一种Ada并发程序的模型检测方法

提出了一种针对Ada并发程序的模型提取方法,使用模型检测工具SPIN对生成的模型进行自动化验证,发现Ada语言编写的程序中并发错误。通过实例对提取方法进行验证,实验结果表明,此方法能够成功检测出Ada并发程序中存在的错误,并给出相应的错误路径。     

激光共聚焦显微镜样品制备方法（二）——组织切片样品

应用激光共聚焦显微镜技术对荧光标记的组织切片样品进行三维观察成像是生物学研究的常规手段。本文主要介绍实验室制备用于激光共聚焦显微镜成像的冷冻组织切片及免疫荧光标记过程。     

程序切片技术在程序理解中的应用

随着计算机软件技术的飞速发展,软件系统的规模变得越来越大,软件的维护工作也随之越来越复杂。绝大部分软件开发的主要精力都消耗在维护或者扩展原有的系统上面,而不是重新开发新系统。因此,对于软件系统的维护问题变得极其重要,对于遗留软件的维护、理解在软件开发过程中已经变得越来越重要。分别介绍了程序理解的模型及工具,并结合程序切片技术探讨程序切片在程序理解中的应用。     

多线程程序数据竞争检测和验证方法研究综述

随着软件规模的日益增长,多线程并发程序带来的缺陷也很快蔓延开来.数据竞争作为多线程并发程序中常见的问题,经常会导致程序不能正常运行,或更为严重地导致程序直接崩溃.数据竞争产生的条件往往都比较隐蔽和苛刻,不仅需要特定的输入,而且还需要特定的线程执行交错.因此,数据竞争很难被检测出来.本文介绍了多线程数据竞争检测和验证相关的研究现状,并对已有的数据竞争检测和验证方法在检测能力以及检测效率等方面做出比较、分析以及归纳.同时,对未来数据竞争检测和验证相关的研究方向进行了展望.     

一种Web应用程序切片方法

针对Java web开发方法中关键技术的实现机制,定义了Web应用程序中存在的依赖关系,提出了一种构造Web程序系统依赖图,并采用两步遍历图可达性算法计算程序切片的方法.把程序切片技术运用到Web应用开发中,为其调试、测试和维护等软件过程提供了新的支持方法.     

CAD工程数据库与应用程序之间的接口管理系统

随着IC-CAD技术的飞速发展,开发以数据库为核心的集成化CAD系统已日益受到用户青睐。由于库的物理存贮格式与各应用程序内的数据格式有差异,使得这类集成化系统有一个繁重的任务,即每个应用程序与库之间必需有一个接口程序去实现数据格式间的转换。通常,这种接口程序是在应用程序与库集成时由人工编制的。对于一个复杂的工程设计自动化系统,这部分工作量相当大。本文在分析了接口程序的一般结构和功能之后,介绍了一个工程库与应用程序间接口的自动生成开发工具。描述了该系统的结构、功能和实现。     

基于程序切片的一种耦合度量改进算法

程序切片能够提取出程序中影响关注点变量值的所有语句。程序切片分为粗粒度切片和细粒度切片。程序切片用在耦合性度量中能够估算信息流的总量,相比只查看有没有信息流存在的方法更精确。文中对基于切片的耦合度量算法进行了改进。提高了耦合度量算法的准确性。     

基于程序切片的软件测试技术初探

程序切片是一种软件调试、测试、理解和维护技术,通过寻找程序内部的相关性来分解程序,从而达到快速错误定位的目的。对程序切片的基本概念、分类、切片准则、切片算法和基于程序切片的软件测试等方面进行了初步探讨。提出了基于程序切片的软件测试的基本方法,并分析了程序切片技术的发展方向和面临的问题。     

面向场景的类型分析

面向对象语言的动态绑定特性,使得它们实现的程序易于演化与维护．但由此而带来的问题是这些程序难以分析与优化。针对现有一些分析方法的精度普遍不够理想的情况．提出一种只对程序的指定场景进行分析的方法。介绍了场景的抽象与场景相关代码的提取,给出了指定场景下类型分析的方法,并以一个实例进行分析,表明丁这种方法可获得更为精确的分析结果,提高类型分析的精度。     

基于ISA总线与KH-9300的数据采集系统软件设计

介绍基于ISA总线与KH-9300的数据采集板卡的设置,详细说明8254定时计数器及8259中断控制器的结构特点、工作方式、控制字等,探讨中断类型、中断处理程序、中断矢量表及其填写.重点讲述使用TorboC 编写中断服务程序的方法.应注意的主要问题及程序测试的结果.     

基于ISA总线与KH-9300的数据采集系统软件设计

介绍基于ISA总线与KH-9300的数据采集板卡的设置,详细说明8254定时计数器及8259中断控制器的结构特点、工作方式、控制字等,探讨中断类型、中断处理程序、中断矢量表及其填写。重点讲述使用TorboC编写中断服务程序的方法,应注意的主要问题及程序测试的结果。