面向软件重用的领域分析过程

本文针对软件重用的难点,提出了把领域分析(DA:Domain Analysis)的主要过程作为建立可重用软部件的一个基础性先前步骤的观点,使得在DA基础上产生的软部件具有更高的可重用性。在分析现有可重用软件系统之后,着重给出了面向软件重用的领域分析过程模型。     

过程间流敏感的指针分析技术研究

指针分析技术是一种基础的静态程序分析技术,也是软件安全方向的研究热点之一,在软件缺陷检测、恶意代码分析、程序验证、编译器优化等应用场景中发挥着重要的作用,指针分析的精度在这些应用场景中至关重要。流敏感分析和过程间分析是提高指针分析精度最有效的两种技术。文中对现有的提高过程间流敏感指针分析精度的技术进行总结,从为提高精度所消除的信息入手,将分析方法分为两大类：一类是消除分析中的虚假信息,以避免指向信息沿虚假的返回路径或是虚假调用关系传播;另一类是消除分析中保守的指向关系,在每个程序点处根据设置的规则尽可能确定指针的唯一指向,而不是笼统地计算指针的多个可能指向。据此,详细比较了过程间流敏感指针分析技术的异同,并对指针分析技术未来的研究方向进行了展望。     

基于解释的程序转换

程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导程序转化的进程.文中给出了一个基于解释的fold/unfold转换算法及其在自学习软件自动化系统NDSAIL中的实现,用来解决多步递归程序的优化问题.     

群组软件过程技术的分析与应用

Team Software Process(TSP)技术是一种软件开发的新技术 ,通过对 TSP技术的着重解释 ,简要地总结了软件产业面临的挑战 ,阐述了有关软件管理人员所面临的与软件过程、能力和成熟度有关的问题以及TSP方法在解决这些问题中的应用。     

一个过程间数据流分析的框架

本文提出一个过程间数据流分析的框架．它将层次式任务图HTG（hierarchical-taskgraph）用于程序功能并行性的表示与挖掘．在框架中定义了过程表ProcTable和二叉树形式的过程调用图BCG（binary-call－graph），以使算法的时空代价最小．     

CMMI差距分析过程与实施

差距分析过程是CMMI实施准备阶段的一项主要工作。通过采用快速诊断方法的差距分析,对组织的软件过程进行综合评估,了解组织现有软件过程的状况,为识别过程改进机会提供帮助。根据实践积累,对CMMI差距分析的过程和实施的经验进行了分析总结。     

过程间的数据流分析技术

过程间数据流分析是一件比较复杂而又很有意义的工作，本文提出了一种过程间数据流分析技术，讨论了在过程间数据流分析中全局量和参数对数据流分析的影响，给出了有效的解决方法，并以此技术为基础，构造了一种程序静态分析系统。     

软件过程技术研究中的若干问题

作为一个新的软件研究领域，软件过程技术是提高软件生产率和保证软件质量的一个重要的方法。本文主要对软件过程的概念和内容、软件过程模型、过程语言特征、过程的演化及建模的方法等问题进行了探讨。     

软件过程技术研究

一、引言提高软件生产率,保证软件质量一直是软件界追求的目标,在过去的几十年里,人们不断地探索新技术、新方法和新工具,为实现此目标作出了巨大努力,我们只要对这些探索的历程做一简单的回顾,就不难发现当前人们开始对软件过程进行研究是软件发展的必然.     

领域分析过程框架及UML描述

文章首先对领域的基本概念进行了讨论，并给出了一个一般的描述性定义；然后通过从三个不同角度讨论了领域及分析过程，并提出一个一般的领域分析过程框架，这将有利于对领域分析活动进行分类和管理，也为领域分析的标准化提供了一种参考解决方案，最后，给出了领域分析过程框架的UML描述。