共查询到19条相似文献,搜索用时 72 毫秒
1.
2.
软件构件技术已成为软件开发的一种重要方法,同样过程构件技术在软件过程设计中也起着重要作用。过程构件技术对于提高软件过程的设计效率,增强过程的可复用性以及保证软件过程的质量有着十分重要的意义。主要针对软件演化过程(SEP)的设计,提出一种基于过程构件的过程设计方法,通过对过程构件和连接件进行连接与组装,最后得到以Petri网形式描述的软件演化过程模型。 相似文献
3.
4.
陈展 《计算机工程与设计》2007,28(21):5305-5307
提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法.开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程.通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础. 相似文献
5.
交互软件系统的一种构造方法 总被引:1,自引:1,他引:0
本文根据作者近年来研究交互软件的工作实践,阐述了交互软件系统的一种构造方法.文章介绍了构造活动的工作过程模型,并以一个试验系统加以具体解释,文章对于用户接口管理和具有4GL(Fourth Generation Lan-guage)特征的交互语言,以及和交互系统相关的一些新颖的概念,也作了简要的介绍①。 相似文献
6.
随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证. 相似文献
7.
8.
作为一种具有良好描述能力的形式化建模语言,软件演化过程描述语言能够准确的对演化过程进行详细的描述。采用软件演化过程描述语言对演化过程进行描述,不仅能够从不同抽象层次上进行描述,而且便于控制、分析和改进演化过程。基于此,本文就软件演化过程描述语言的作用及特点进行分析研究。 相似文献
9.
针对一类具有不确定参数的非线性混沌系统,在对现有一些混沌同步方法比较总结的基础上,提出了一种混沌通信同步的新方法。通过合理的假设,将该类系统转化为在可观测输出端由附加白噪声驱动的线性时变系统。然后通过最优滤波来处理同步问题,可应用Kalman滤波的方法进行估计,响应系统的状态能够渐近收敛于驱动系统,并且在输出端加入干扰噪声的情况下,仍能保持良好的跟踪轨迹。 相似文献
10.
分析传统非功能需求定义的不足,基于需求分析阶段的系统抽象—"需求模型"重新定义非功能需求,规范并简化功能需求与非功能需求之间的关系。扩展面向特征的软件产品线建模方法,在特征模型中显式地建模功能需求、非功能需求、非功能需求类型以及它们之间的相互关系,沿用传统特征模型中固有的变化性建模机制建模并管理非功能需求的变化性,显式地复用与非功能需求相关的建模知识和资产,为进一步研究定量评估产品线变体质量的新技术奠定基础。设计了一个基于多视图的特征建模方法,指导开发者在迭代的过程中建模非功能需求和功能需求,支持关注点分离和模型的复杂性管控。实现了工具原型并进行了实例验证。 相似文献
11.
12.
In any manufacturing environment, the fault introduction rate might be considered one of the most meaningful criterion to evaluate the goodness of the development process. In many investigations, the estimates of such a rate are often oversimplified or misunderstood generating unrealistic expectations on the prediction power of regression models with a fault criterion. The computation of fault introduction rates in software development requires accurate and consistent measurement, which translates into demanding parallel efforts for the development organization. This paper presents the techniques and mechanisms that can be implemented in a software development organization to provide a consistent method of anticipating fault content and structural evolution across multiple projects over time. The initial estimates of fault introduction rates can serve as a baseline against which future projects can be compared to determine whether progress is being made in reducing the fault introduction rate, and to identify those development techniques that seem to provide the greatest reduction. 相似文献
13.
一种形式化的组件化软件过程建模方法 总被引:1,自引:0,他引:1
为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题. 相似文献
14.
15.
16.
一种基于目标的过程实例演化方法 总被引:1,自引:0,他引:1
过程具有长生命周期、分布式结构、异构等特性.为适应不可预料的环境变化,过程还需要不断地演化.提出一种过程实例的演化方法以控制对过程实例的改变.它可以检查并保证演化前后的过程实例具备"基于目标的行为一致性",从而避免用户对过程的盲目修改.目标作为行为一致的标准,需要分析演化后的过程实例来保证它可以完成目标.通过用Büchi自动机描述过程实例和其目标的语义,一个过程实例是否能够完成其目标是可判定的. 相似文献
17.
面向软件动态演化的需求建模及其模型规范化 总被引:2,自引:0,他引:2
针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。 相似文献
18.
软件进化是提高软件系统生命力,减缓其废退步伐的有效办法。分析了AOP(面向方面编程)的基本思想、软件进化的必要性及其现状,提出了采用AOP思想进行软件进化,以提高软件进化的有效性。文中给出了一个结合软件进化与AOP的实例。通过在EJB安全性方面初步应用AOP进行软件进化证明了两者结合的有效性。 相似文献
19.