基于规则的软件过程事务模型

事务管理是过程工程环境(PSEE)的一个关键技术.近年来,提出了不少高级事务模型支持长事务.然而,由于软件过程事务处理的特殊性,这些模型只能反映其中一部分需求,而且大多数多层的合作事务模型还不够稳定,无法应用于商业,这对PSEE的事务机制提出了挑战.基于此,提出了一个基于规则的软件过程事务模型E-Process/TM,能够较好地刻画软件过程的特征,即用户交互性、长周期、迭代式过程和数据共享的多用户协作.基于用户可自定义的正确性规则,E-Process/TM提供了良好的灵活性和开放性.目前,该模型已在商业PSEE产品中得以实现,并成功地应用于实践中     

一个新的软件行为动态可信评测模型

针对软件动态可信性度量方法和理论研究中存在的问题,提出以行为轨迹和检查点场景来刻画软件行为的动态特性,通过计算系统调用上下文值以及构造系统调用参数关系约束规则来评测行为轨迹和检查点场景的偏离程度.构建了基于软件行为自动机的动态可信评测模型.实验结果表明,本模型能够准确获取软件行为信息,正确检测出攻击行为,且系统开销较低.     

软件过程评估和改进

软件过程为软件的发展提供了组织、管理、度量、支持和改进的方法。文章对当前主流的软件过程评估和改进的标准(包括ISO、CMM、Bootstrap和QIP等)进行了分析比较,并在此基础上提出了过程模型语言(PML)和基于过程敏感性的软件工程环境(PSEE)等软件过程技术。     

基于SPEM的CMM软件过程元模型

软件企业在实施CMM(capability maturity modelfor software)的过程中面临最主要的障碍是如何将CMM 软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型一-SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型.     

基于软件行为轨迹的可信性评价模型

软件动态可信性评价已经成为信息安全领域研究的一个热点问题.为了提高评价的精确性,在充分考虑了软件的运行流程和运行背景的基础上,提出了基于软件行为轨迹的可信性评价模型(CEMSBT).该模型引入软件行为轨迹描述软件行为,软件行为轨迹由运行轨迹和功能轨迹构成,运行轨迹表示软件运行时的有序操作,表征为有序的检查点向量;功能轨迹则由能够表征软件功能的一系列场景来刻画.为了减少可信性评价的时间和空间开销,给出了软件行为轨迹的化简规则.模型应用检查点的标识评价规则和场景评价规则对实际的软件行为进行评价.考虑到分支给程序带来的随机性很可能被入侵者利用,分支处的检查很必要.模型通过场景确定分支的走向,从而降低了分支处异常情况的漏报率.仿真实验表明CEMSBT具有较高的精确性和效率.     

基于CMM IDEAL模型的中小型企业软件过程改进的方法探究

当前国内中小型软件企业面临的一个重大问题是如何提高软件质量。目前,通过实施CMM来改进软件过程．是提高软件质量的一个有效途径。首先探讨了CMM过程改进的适用范围。基于SEI提出的用于组织过程改进的IDEAL模型。通过对当前国内中小型企业所面临的一些问题的分析,提出了一种适用于国内中小型软件企业的过程改进方法。为企业实施软件过程改进提供了参考思路。     

软件度量的操作模型

软件企业在实施软件度量的过程中面临最主要的障碍是如何将软件度量转换成可实施的、体现组织过程特征的度量实施过程模型.为解决这一问题,本文基于"软件度量过程也是软件"的思想给出组织级实施软件度量的操作模型OMMP,在此基础上,对基于度量的过程管理框架进行讨论,将度量集成在过程管理框架中.     

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

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

一种弹性的软件过程模型验证工具

过程模型验证是保证软件过程定义正确性的重要手段.针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述.在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则.最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性.     

软件过程改进框架

在软件开发过程中,软件工程师以及软件组织不可避免地会遇到各种困难,尤其是软件组织在实施能力成熟度模型(CMM)过程中面对的各种挑战.根据对CMM研究的体会与实践经验,提出了以集成的能力成熟度模型(CMMI)为基础,以个体软件过程和群组软件过程为支持的软件过程改进框架.     

构建基于CSCW的TSP实施系统的研究

软件开发是一个群体协作的过程，要求团队成员在开发活动中相互分工、紧密协作。小组软件过程(TSP)的产生为规范软件开发和改进过程能力提供了有效而实际的帮助，TSP的实施遇到阻碍，主要是由于小组成员对TSP过程不够理解、交流和协同工作困难、软件过程数据处理繁琐等原因。该文提出了计算机支持的协同工作(SCW)-TSP系统解决这些问题，该系统根据CSCW的特性，将TSP的管理方法以计算机应用软件的形式加以实现，使开发团队能够更有效地应用TSP进行开发，全面提高软件开发的效率和质量。     

分布式过程支持系统的研究

要支持异地软件开发,分布式的过程支持系统的建立是必要的.通过比较4种分布式的过程支持系统的体系结构,引擎分布、数据分布的结构能有效地支持分布式软件过程.设计实现了基于P2P方式的多引擎PSEE（ProcessSensitive Software Engineering Environment）——MEPSS,在MEPSS中,每个引擎具有自治性,同时各引擎间通过交互形成一个完整的过程支持系统.     

An empirical analysis of the impact of software development problem factors on software maintainability

Many problem factors in the software development phase affect the maintainability of the delivered software systems. Therefore, understanding software development problem factors can help in not only reducing the incidence of project failure but can also ensure software maintainability. This study focuses on those software development problem factors which may possibly affect software maintainability. Twenty-five problem factors were classified into five dimensions; a questionnaire was designed and 137 software projects were surveyed. A K-means cluster analysis was performed to classify the projects into three groups of low, medium and high maintainability projects. For projects which had a higher level of severity of problem factors, the influence on software maintainability becomes more obvious. The influence of software process improvement (SPI) on project problems and the associated software maintainability was also examined in this study. Results suggest that SPI can help reduce the level of severity of the documentation quality and process management problems, and is only likely to enhance software maintainability to a medium level. Finally, the top 10 list of higher-severity software development problem factors was identified, and implications were discussed.     

基于正交缺陷分类的软件过程测量方法

软件过程是否有效,对评估软件产品的质量和提高组织的软件能力成熟度具有重要意义.正交缺陷分类(ODC)技术是一种对软件过程的有效性进行量化测量的方法.ODC技术基于对缺陷的分析,它依据一组正交的缺陷属性把缺陷归纳为不同的类别.这些互不相关的属性代表了缺陷的有效特征.软件产品的缺陷属性的统计分析,体现了对软件过程的测量结果,并将其反馈给开发团队.通过缺陷类型属性的应用实例,阐述了ODC技术的基本使用方法.     

软件开发方法的几种过程模型研究

良好的软件开发过程模型,对高效率、高质量和低成本地开发软件,具有重要的指导意义。本文介绍了软件过程模型的构造和特点,并从最传统的线性顺序过程开始,对瀑布模型、原型模型、演化模型、螺旋模型、RAD模型等模型的结构、特点作了具体的分析。     

一个基于Web的软件过程改进框架SPIF的实现

软件过程的理论日趋成熟，而基于软件过程改进模型的面向中小软件组织的应用程序却很少，因而造成一种情形，即管理者知道应该进行软件过程的改进，也知道有很多可以参考的规范与模型，但是，真正开始的时候，却不知道该如何着手。本文介绍一个基于Web的软件过程改进框架，试图给出一个解决问题的途径。该系统集成一组管理工具与相关知识库，用一种灵活的方式帮助组织确定适合自己的软件过程模型，从而以一种相对简洁方便的方式实现对软件过程的管理与改进。     

软件开发方法的几种过程模型研究

良好的软件开发过程模型，对高效率、高质量和低成本地开发软件，具有重要的指导意义。本文介绍了软件过程模型的构造和特点．并从最传统的线性顺序过程开始，对瀑布模型、原型模型、演化模型、螺旋模型、RAD模型等模型的结构、特点作了具体的分析。     

Software process modeling languages: A systematic literature review

ContextOrganizations working in software development are aware that processes are very important assets as well as they are very conscious of the need to deploy well-defined processes with the goal of improving software product development and, particularly, quality. Software process modeling languages are an important support for describing and managing software processes in software-intensive organizations.ObjectiveThis paper seeks to identify what software process modeling languages have been defined in last decade, the relationships and dependencies among them and, starting from the current state, to define directions for future research.MethodA systematic literature review was developed. 1929 papers were retrieved by a manual search in 9 databases and 46 primary studies were finally included.ResultsSince 2000 more than 40 languages have been first reported, each of which with a concrete purpose. We show that different base technologies have been used to define software process modeling languages. We provide a scheme where each language is registered together with the year it was created, the base technology used to define it and whether it is considered a starting point for later languages. This scheme is used to illustrate the trend in software process modeling languages. Finally, we present directions for future research.ConclusionThis review presents the different software process modeling languages that have been developed in the last ten years, showing the relevant fact that model-based SPMLs (Software Process Modeling Languages) are being considered as a current trend. Each one of these languages has been designed with a particular motivation, to solve problems which had been detected. However, there are still several problems to face, which have become evident in this review. This let us provide researchers with some guidelines for future research on this topic.