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

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

并发程序切片方法综述

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

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

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

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

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

软件测试中的程序切片技术

程序切片是一种程序分析和理解技术,在软件测试中使用程序切片技术可根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率。同时由于程序切片考虑了程序存在的各种依赖关系,使得测试的准确性得到提高。本文介绍了目前的切片技术,探讨了程序切片技术在软件测试中的应用。     

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

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

程序切片技术综述

程序切片技术在软件维护、程序调试、测试、代码理解及逆向工程等方面有许多应用。文章介绍了目前已有的程序切片技术及其应用领域，提出了面向对象程序应用该技术时需要考虑的问题及相应的解决方法。     

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

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

程序切片技术综述

程序切片技术在软件维护、程序调试、测试、代码理解及逆向工程等方面有许多应用。文章介绍了目前已有的程序切片技术及其应用领域，提出面向对象程序应用技术时需要考虑的问题及相应的解决方法。     

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

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

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

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

广播电视节目标签标注与可视化研究

针对传统广播电视节目类型和节目标签并行存在,无法定量刻画节目与标签接近程度,节目与标签关联关系展示效果不佳的问题,本文提出了电视节目与标签“粘度”的概念,通过为电视节目标签赋予不同权重,并利用D3插件建立节目与标签的扁平化网络结构关系,实现了节目与标签关系的定量描述及可视化展示。通过抓取网络热播剧标签,对标签粘度进行计算及可视化展示,证明本文提出的方案能够直观、动态地将标签粘度关系进行有效展示,可以为后续的数据分析和数据挖掘提供技术基础。     

International high technology cooperation: lessons learned

In February 1986, in response to the Nunn Amendment in the United States, a special Conference of National Armaments Directors (CNAD) examined possible ways to foster cooperative high technology research and development programs within the NATO Alliance. As a result, they established the Special Working Group on Ada Programming Support Environments (SWG APSE) to oversee the development of a multinational software development environment for developing real-time weapon systems in the Ada programming language. The Working Group also developed a requirements specification for a software development environment interface standard. The author describes the benefits and pitfalls of this joint software development. He also describes the lessons learned from such joint multinational development efforts. Further, the author describes the management issues that are unique to such an international collaborative effort and gives a frank assessment of the techniques that had helped and hindered the program's progress     

An Ada-compatible distributed database management system

Adaplex is an integrated language for programming database applications. It results from the embedding of the database sublanguage Daplex in the general-purpose programming language Ada [1]. This paper describes the design of DDM, a general-purpose distributed database management system implemented in Ada that supports the use of Adaplex as interface language. There are two novel aspects in the design of this system. First, this is the first full-scale distributed database system to support a semantically rich, functional data model. DDM goes beyond systems like Distributed INGRES and R^*(which are based on the relational technology) in providing advanced data modeling capabilities and ease of use. Second, this is the first full-function distributed DBMS designed to be compatible with the Ada programming environment. The coupling between Ada and Daplex has been achieved at the expression level which is much tighter than the statement level integration attained in previous systems. This tight coupling poses new implementation problems but also creates new opportunities for optimization. The current paper highlights the Adaplex language and discusses innovative aspects in DDM's design that are intended to meet the dual objectives of good performance and high data availability.     

一种实现Android机顶盒录制节目的设计方法

为使电视节目录制方式适应用户个性化需求,提出一种在Android机顶盒上实现个人视频录制功能的改进方案。对于正在播放的电视节目采用持续录制、定时录制、时移录制三种可供选择的录制方式,根据开始录制的触发条件不同选用不同的录制停止方式;对于未来播放的电视节目采用与电子节目指南信息相结合的预约录制方式,不断更新时间和日期表来实时查询后台监控任务。测试结果表明,该方案有效可行,更好地实现了人机交互功能。     

基于TL2软件事务内存的并发程序的精化验证

软件事务内存并发机制将对共享存储复杂的同步访问控制转嫁给底层系统开发者,从而大大减轻高层程序员开发并发程序的负担。TL2是一个经典的基于锁的高性能软件事务内存算法。本文以一个TL2读写事务的底层具体实现为验证目标,首先采用并发程序间的精化关系来刻画基于TL2的底层细粒度并发程序是某个具体的高层抽象原子事务代码块的正确实现,然后通过基于依赖保证的并发程序模拟技术证明两个程序间具有精化关系,完成读写事务的底层实现在代码级的验证并总结TL2算法满足的不变式,为完成TL2算法在代码级的完整验证奠定基础。