软件逆向工程的研究与发展

从介绍逆向工程的产生背景出发,给出了逆向工程的基本概念,同时也给出了与逆向工程密切相关的正向工程和再工程概念.通过分析逆向工程的主要目的,概括出逆向工程的最基本目标是为了系统的维护和进一步开发而增加对系统的全面理解能力.指出了逆向工程的主要任务为分析系统、抽象系统和展现系统,并论述分析系统的方法,即静态分析法和动态分析法.总结了国内外逆向工程的发展现状和应用现状,提出了发展方向.

基于横切关注点恢复的软件逆向工程研究

为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面(aspect-oriented)的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复。通过对目标系统执行信息进行概念格分析,该方法能够识别和抽取横切用例模型的系统方法调用集合,并利用统一建模语言中用例图的版型(stereotype)机制对它们进行模型重构和呈现。与仅为了代码重构而进行的侧面挖掘(aspect mining)技术相比,该方法更适合在较高的系统抽象层面上进行程序理解,作为一种采用增量式结果产生策略的半自动化方法,它的实施流程也具有更好的可控性和对逆向工程需求变化的适应性。

工程软件中C++与FORTRAN之间数据传递方法研究

Fortran语言由于其强大的计算功能被广泛地应用于工程软件领域。但是在当前的W indows操作系统下,基于Fortran语言的计算核心部分,其数据前、后处理过程一直是开发的难点。目前最实用,最便捷的处理方法是采用C++等面向对象的编程语言与Fortran混合编程,以解决这个问题。然而,Fortran和C++混合编程的关键问题是两者之间数据无差错传递。

第三代软件工程环境研究——一个可配置的开放式系统框架

关于软件工程环境有多种定义。E.Fedchak曾将其定义为“共同构成软件开发与支持框架的一组工具、结构、规则和方法(proeedures)的集合。”〔2〕。C.J.Tully在第九届国际软件工程年会(I CSEg)上又将软件工程环境定义为“为了获得更高的生产率和更高的产品质量,用于支持程序设计者、软件工程师、系统设计者和项目管理者等活动的一组计算机辅助设施。

逆向工程中反射植入的研究

逆向工程辅助程序理解 ,而动态分析是理解面向对象软件系统的一种重要手段 .通过植入 ,才能准确提取系统运行时的信息 .常见的植入方法中 ,植入代码和目标代码处于同一计算层次 ,在植入过程中 ,需要对目标代码进行除编译分析之外的额外语法分析 .该文提出反射植入思想 ,将植入的软件触发器和被植入的目标系统作为两个计算层次来处理 ,通过反射层元对象干预编译过程 ,实现源代码的植入 ;首先详细描述反射植入核心算法及识别调用方元信息和对象标识的思路 ,然后在扩充开放编译器的基础上实现了全局函数和系统调用语句前植入代码的算法 .最后对该植入机制进行系统的实验研究 .结果表明 ,反射植入机制不会破坏源代码本身的执行逻辑 ,能正确有效地植入代码并收集到系统运行时的信息 .同时 ,多次植入的对比数据也证明了反射植入算法的收敛性 .

遗传算法及其在软件测试数据生成中的应用研究

文中首先给出了遗传算法的形式化的表示和一个基于此算法的测试数据生成系统原型。然后结合一个典型的测试单元例程，介绍系统实现中必须解决的参数选取、参数编码、评价函数的构造及驱动模块自动生成等关键问题。最后，介绍了一个实用的Ada软件测试数据生成工具——TCAG。

软件构件的可信保证研究

近年来,可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,而方法就是通过扩展与完善可信重用的软件构件(可信构件)库。构件的可信来源于可信保障技术的应用,如:契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等。本文通过分析可信构件研究的若干领域,总结出构件可信性的3个角度,探讨了可信构件研究的不足之处,并分析其原因。作为总结,给出了可信构件领域研究需要解决的若干问题。

软件过程改进中项目计划与跟踪的实例研究

项目的计划与跟踪是软件过程管理与改进活动中应该首先着手的方面。成熟的软件开发组织能够通过有效的软件项目计划与跟踪实现对项目的策划与监控。文章立足小组软件过程,以实际项目为背景,着重介绍了以项目计划和跟踪为主的软件过程改进实施活动。在此基础上,分析了相关项目的计划与跟踪数据,研究总结了实施中遇到的问题和经验,并提出了进一步完善的措施及相关支持工具的研制。

逆向工程发展现状研究

随着软件产业的发展,越来越多的遗产系统需要维护和改善,逆向工程已经成为遗产系统维护与演化的关键技术之一。介绍了逆向工程的定义,综述了逆向工程的研究进展。通过对现有工具的分析探讨了逆向工程研究中的不足之处,给出了未来的发展趋势。

软件体系结构描述语言研究现状分析

软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具。目前,已定义的ADL超过20种,新的ADL还在不断出现。然而,各种ADL并没有在实际项目开发中得到真正的推广。为了明确ADL的研究进展情况,分析了ADL的研究现状,讨论了ADL研究中存在的主要问题及解决思路。

有效改善软件过程方法研究

改善软件过程是软件生产和发展软件产业的必由之路 .结合目前软件过程工程领域研究现状 ,研究分析两种软件过程改善的方法 :自顶向下和自底向上 .自顶向下的方法以 CMM模型框架为基础 ,结合其 5层结构指导企业软件过程的改善 ;自底向上的方法根据企业及其具体软件项目的特点 ,采取“理解”-“评估”-“打包”的软件过程改善过程 ,“理解”过程目的是建立软件过程基线 ,“评估”过程是引进过程变更并评估过程变更造成的影响 ,“打包”过程是评估成功过程变更得到的经验并形成新的过程规范 .最后从软件过程改善目标、软件过程基线、软件过程变更评价。

基于CMM的软件过程度量系统的研究与设计

首先描述了软件过程的度量过程 ,结合软件度量定义模型GQ(I)M提供的方法和软件能力成熟度模型(CMM)提供的过程框架 ,给出了项目跟踪与监控过程域的一些度量实例 ,在此基础上完成了软件过程度量系统的设计 ;最后 。

软件过程度量技术的研究

软件度量是软件项目管理的关键技术。文章在介绍度量基本概念的基础上，重点分析对软件过程的度量，包括分析不同过程成熟度层次对度量的需求。研究系统化的问题驱动的度量过程ISPM（Issue－driven Software Process Measurement），包括“剪裁”、“应用”、“实现”三个子过程。分析针对软件过程的三大类度量内容和它们子类及子类之间的结构关系，并结合软件过程的层次特性细化度量子类在各个层次的具体表现。最后探讨度量过程随着软件过程成熟度的提高而随之改善的方法。

中小型企业软件过程改善方法研究

软件过程改善是各个企业建立适合自身软件生产线和促进软件工业化生产的必由之路。软件过程理论和技术的研究与应用始终存在一定的差距,在国内外成功应用并受益于这些软件经验与技术的企业多数是国防企业和大型的商业企业,中小型企业具有不同于大型企业的企业特征,这些特征有些有利于软件工程技术的应用与实施,而有些又限制了软件工程技术的应用与实施。软件过程改善的关键是量体裁衣,以理论和模型为指导,充分结合企业特征,进行适合企业特色的软件过程改善。该文在分析中小型软件企业的企业文化、企业规模、软件生产的创新能力、动态变化能力、技术革新能力等特征的基础上,提出在对中小型软件企业进行过程改善时应突出几个方面,一是过程改善应充分利用开发组的丰富创造能力为解决过程改善问题提出方案,在确立过程改善目标时应尽可能多地涉及各种层次的项目组人员,同时采取划分过程改善任务单元的方法,不破坏软件开发过程的连续性;二是过程改善得到的结果应不限制团体的创造性,对过程改善结果的应用应针对具体项目相关的问题,而非建立一般性的软件过程规范。三是过程改善是应着重企业关心的目标,不一定完全依从CMM。在进行过程改善时,应实施“项目分析”关键子域,“项目分析”是以过程度量为核心的,分析?

基于企事业模型的软件需求工程方法

在当前软件开发中,软件需求的获取和分析在软件开发中变得越来越重要。该文针对大型管理信息系统的实际要求,提出了一种基于企事业模型的方法,并给出了具体的实施步骤。该方法适用于企事业信息系统的需求分析,具有与实践结合紧密,与用户交流方便,支持重用,工具支持等特点。

基于元模型的软件开发与管理集成研究

当今软件开发呈现一些新特点：团队并行开发，基于模型的软件开发，迭代增量开发等。开发过程是如此复杂，融合软件开发与管理支持的环境成为必要。文章认为开发与管理集成的关键是：环境提供对元模型的支持，以UML为基础的软件产品标准化，多种开发工具的数据集成和良好的数据管理机制。文章介绍了将开发与管理融为一体的集成化环境UML＿IDME，集中讨论环境如何提供和协调过程模型，产品模型，组织模型和开发工具集合来达到开发与管理集成的目的。此外，还讨论了过程模型如何组织，指导和监控软件开发。

一种有效的软件测试工程化方法

合适的软件测试方法可以明显提高软件测试的质量和效率。该文以POCERM软件测试过程模型为基础,结合一个实际测试项目,阐述了一种有效的软件测试工程化方法。

软件体系结构层次的适应性度量技术研究

软件适应特定变化的能力对软件开发和维护都具有重要的影响。软件适应性(Software Flexibility)是反映软件适应变化能力的一项重要质量特征。实践说明软件体系结构设计在很大程度上决定了软件的适应性。在软件体系结构层次上量化地度量软件适应性,有助于设计人员改善和比较软件体系结构的设计方案,并可以辅助设计人员评价软件体系结构的质量。本文首先定义了软件适应性的因素-准则-度量模型(FCM模型);然后在此基础上提出了一种利用变化影响图(CIG)对软件适应性进行度量的方法。

基于本体的软件测试知识管理模型研究

本文针对知识管理在软件测试领域的具体应用,提出了一个基于本体的软件测试知识管理模型,其关注的主要对象是软件测试过程中产生的具有高知识密集性的创造性文档。该模型的主要思想是:将软件测试知识分为个人知识和组织知识,并以本体索引的自由文本为软件测试知识的方式得以表示和组织,然后根据SWEBOK软件测试领域本体得到分类保存,最终目的是协助软件测试知识以"知识螺旋"的方式得以共享和重用。

面向对象软件度量工具体系框架研究

该文首先从系统分析、模型创建、度量计算以及结果表示四个方面讨论了面向对象软件度量工具的体系框架,然后介绍了度量工具信息库的设计,并就若干度量模型实例,对信息的覆盖范围做了统计分析。