极端编程模型——新颖的软件工程模型 被引量：2

1

作者 潘秋菱 刘宗田 《计算机科学》 CSCD 北大核心 2000年第12期97-100,共4页

极端编程模型(Extreme Programming Model,XP模型),是大约1995年由Kent Beck等提出的一种软件工程模型,Kent Beck和Ward Cunningham从九十年代初起致力于思考使软件开发简易高效的方法。从丰富的开发实践经验中总结出了一组规则,提出了... 极端编程模型(Extreme Programming Model,XP模型),是大约1995年由Kent Beck等提出的一种软件工程模型,Kent Beck和Ward Cunningham从九十年代初起致力于思考使软件开发简易高效的方法。从丰富的开发实践经验中总结出了一组规则,提出了极端编程模型,在软件工程界引起了许多思考和争论。如今,XP模型已成功用于一些努力控制软件开发质量和成本的公司,如Bayerischelandesbank,Credit 展开更多

关键词 极端编程模型 软件工程模型 软件开发

在线阅读 下载PDF 职称材料

测绘软件工程过程模型研究 被引量：2

2

作者 乌萌 李娜 +1 位作者 王成宾 管斌 《测绘通报》 CSCD 北大核心 2013年第10期59-62,共4页

针对测绘软件装备研制过程各阶段存在的问题,深入分析测绘软件不同项目类型的研制要求和项目特点,并结合这些要求及特点建立预先研究项目、常规科研项目、型号研制项目对应的SMEM模型。通过应用SMEM模型到4个独立的测绘软件研制项目中,... 针对测绘软件装备研制过程各阶段存在的问题,深入分析测绘软件不同项目类型的研制要求和项目特点,并结合这些要求及特点建立预先研究项目、常规科研项目、型号研制项目对应的SMEM模型。通过应用SMEM模型到4个独立的测绘软件研制项目中,与以往同类项目相比,应用模型后的项目软件工程各阶段的目的性和可控性增强,模型中针对阶段的风险管理和有规律的需求确认降低了项目风险,使软件的总开发周期缩短约20%,显著节约了项目过程的时间和人力成本。 展开更多

关键词 测绘软件 软件工程 过程管理 软件工程过程模型 SMEM模型

在线阅读 下载PDF 职称材料

基于MARTE和STAMP的安全关键软件测试建模方法

3

作者 薛雯耀 王轶辰 任庆玮 《计算机科学》 北大核心 2025年第S1期843-852,共10页

基于模型的软件工程(MBSE)方法在安全关键软件(Safety-critical Software)开发和测试中的应用是当前研究的热点。然而,在建立模型时,如何完整且准确地刻画软件的安全属性仍然是一个亟待解决的问题。文中提出了一种创新性的方法,将软件... 基于模型的软件工程(MBSE)方法在安全关键软件(Safety-critical Software)开发和测试中的应用是当前研究的热点。然而,在建立模型时,如何完整且准确地刻画软件的安全属性仍然是一个亟待解决的问题。文中提出了一种创新性的方法,将软件安全性分析深度集成到软件模型构建过程中。该方法结合MARTE(实时和嵌入式系统建模与分析)建模语言和STAMP(系统理论事故模型与过程)理论,通过扩展MARTE构造型或增加标签的方式对非功能属性进行描述,并在MARTE视图层次融入STAMP控制结构模型。最终,通过STPA(系统理论过程分析)技术进行迭代建模,形成一个多视图的混合模型。STPA方法中的控制结构构建、不安全控制行为识别及致因场景分析等步骤展现出更高的分析深度和自动化潜力。案例研究表明,所提方法能够有效且清晰地展示软件系统的功能和非功能性能需求,更好地实现基于模型的软件安全特性刻画,并为测试用例的自动化生成和建模提供坚实的技术基础。 展开更多

关键词 MARTE模型 STAMP理论 STPA方法 安全关键软件 基于模型的软件工程

在线阅读 下载PDF 职称材料

基于SPEM的CMM软件过程元模型 被引量：10

4

作者 李娟 李明树 +1 位作者 武占春 王青 《软件学报》 EI CSCD 北大核心 2005年第8期1366-1377,共12页

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

关键词 CMM 软件过程元模型 软件过程工程元模型 模型驱动架构 模型转换

在线阅读 下载PDF 职称材料

支持自适应过程中分析与规划的软件体系结构模型 被引量：4

5

作者 陈湘萍 黄罡 +1 位作者 孙艳春 梅宏 《计算机研究与发展》 EI CSCD 北大核心 2010年第7期1156-1164,共9页

模型驱动的软件体系结构自适应是支持软件适应性的主要方法之一,其重点是基于模型来支持适应过程中的分析和规划.但是已有的方法和实现大多特定于体系结构描述语言,导致复用性和集成性比较差.由于使用标准的模型技术能够提高方法的复用... 模型驱动的软件体系结构自适应是支持软件适应性的主要方法之一,其重点是基于模型来支持适应过程中的分析和规划.但是已有的方法和实现大多特定于体系结构描述语言,导致复用性和集成性比较差.由于使用标准的模型技术能够提高方法的复用性和集成性,总结了分析和规划中所需的模型以及模型上的操作,并考察了如何在体系结构建模语言中引入标准模型技术进行支持.基于分析所得的设计原则,对ABC-ADL进行扩展,并且在实现中使用模型转换和模型查询等标准化技术来支持分析和规划.以ECPerf系统中一个性能相关的不良模式自适应分析和规划的过程为例,展示了如何使用扩展后的ADL对分析规划过程进行支持.此外,其中使用2种不同的分析方法,展示了如何使用ADL复用和集成不同的分析和规划方法. 展开更多

关键词 软件体系结构 自适应 软件体系结构描述语言 模型驱动的软件工程 ABC

在线阅读 下载PDF 职称材料

软件度量的概念模型

6

作者 侯红 刘晓霞 郝克刚 《计算机科学》 CSCD 北大核心 2008年第3期258-260,共3页

度量面临的重要问题是建立引入和运用度量的一个有效的方法和框架。使用统一的术语、明确的语义对组织的过程模型进行定义;创建具体的度量模型参考框架的度量元模型,建立组织整体的度量管理。为解决上述问题,本文建立了软件度量的概念模... 度量面临的重要问题是建立引入和运用度量的一个有效的方法和框架。使用统一的术语、明确的语义对组织的过程模型进行定义;创建具体的度量模型参考框架的度量元模型,建立组织整体的度量管理。为解决上述问题,本文建立了软件度量的概念模型CMMP(Conceptual Model of Measurement Process),它是基于软件过程工程元模型(SPEM)的,从而可与现有的过程模型有效地集成。 展开更多

关键词 软件度量 软件过程改进 软件过程工程元模型

在线阅读 下载PDF 职称材料

运行时软件体系结构的建模与维护 被引量：8

7

作者 宋晖 黄罡 +4 位作者 武义涵 Franck CHAUVEL 孙艳春 邵维忠 梅宏 《软件学报》 CSCD 北大核心 2013年第8期1731-1745,共15页

运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及... 运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及时影响当前系统.运行时体系结构允许开发者以读写体系结构的方式实现系统的监测和调整,是体系结构层次系统动态适应与在线演化的基础.构造运行时体系结构的关键是针对不同的目标系统和体系结构风格实现合适的基础设施,以维护二者之间的因果关联.由于目标系统和体系结构的多样性以及因果关联维护逻辑的复杂性,这一构造过程往往过于繁琐、易错、难以复用和维护.提出一种模型驱动的运行时体系结构构造方法.开发者只需针对目标系统、体系结构以及两者之间的关系分别进行建模,根据这些模型,支撑框架自动构造合法而高效的运行时体系结构基础设施.基于MOF和QVT标准建模语言定义了一组运行时体系结构建模语言,并基于通用的模型与系统间同步技术实现了相应的支撑框架.一系列实例研究表明,该方法具有广泛的适用性,并显著提高了运行时体系结构构造过程的效率与可复用性. 展开更多

关键词 运行时体系结构 模型驱动软件工程 领域特定建模 运行时维护与演化

在线阅读 下载PDF 职称材料

基于模型的自适应方法综述 被引量：9

8

作者 赵天琪 赵海燕 +1 位作者 张伟 金芝 《软件学报》 EI CSCD 北大核心 2018年第1期23-41,共19页

自适应为管理现代软件系统的复杂性提供了有效的解决方案,被设计为自适应系统的软件能够持续地演化以应对环境中的不确定性.在现有的研究工作中,基于模型的自适应方法是一类广泛使用的方法,它将模型驱动工程技术的应用从设计时扩展到运... 自适应为管理现代软件系统的复杂性提供了有效的解决方案,被设计为自适应系统的软件能够持续地演化以应对环境中的不确定性.在现有的研究工作中,基于模型的自适应方法是一类广泛使用的方法,它将模型驱动工程技术的应用从设计时扩展到运行时,以支持自适应能力的实现.通过利用软件模型对运行时丰富和不确定的信息进行管理,这类方法避免了将自适应逻辑与程序语言交织带来的复杂性,从而简化了自适应系统的开发.对近些年来国内外学者在该研究领域取得的成果进行了系统总结.首先给出了6个研究问题,包括相关工作常用的需求模型、结构模型、行为模型、环境模型、模型与模型或模型与系统间的同步方式、自适应规划算法等;然后,依次总结了相关工作在这6个研究问题上的已有研究成果;最后,对未来研究可能面临的挑战进行了展望. 展开更多

关键词 自适应软件 模型驱动的软件工程 基于模型的自适应 自适应规划方法.

在线阅读 下载PDF 职称材料

工作流元模型到SPEM的扩展与映射

9

作者 赵宗敏 吴海涛 王洋 《计算机应用》 CSCD 北大核心 2010年第3期617-619,共3页

为了提高软件开发效率、实现软件过程管理规范化,将工作流技术应用于软件开发过程,实现软件过程自动化管理。软件过程工程元模型(SPEM)是软件过程建模的基础,是一种通用的框架,适合不同类型的生命周期模型。根据软件过程的特点,扩展了... 为了提高软件开发效率、实现软件过程管理规范化,将工作流技术应用于软件开发过程,实现软件过程自动化管理。软件过程工程元模型(SPEM)是软件过程建模的基础,是一种通用的框架,适合不同类型的生命周期模型。根据软件过程的特点,扩展了工作流元模型,制定了SPEM和工作流元模型之间的映射规则,实现了这两种元模型之间的映射,以瀑布模型为例验证了具有软件过程特点的工作流元模型的有效性。通过工作流引擎解析映射后的工作流元模型,实现软件过程的自动化管理。 展开更多

关键词 软件过程工程元模型 工作流 软件过程 瀑布模型

在线阅读 下载PDF 职称材料

基于SPEM扩展元模型的PSP实施方法

10

作者 郭军 袁峰 +1 位作者 阮利 周津慧 《计算机应用研究》 CSCD 北大核心 2008年第3期775-778,共4页

提出了一种支持PSP过程的SPEM扩展元模型P-SPEM,并给出了基于P-SPEM的PSP实施过程及支持该过程的原型工具。其中使用PROBE方法帮助个体进行项目计划和估算,用DEA分析方法综合评价工程师的过程性能,有效地指导工程师实施PSP。

关键词 个体软件过程 软件过程工程元模型 数据包络分析

在线阅读 下载PDF 职称材料

SPEM2XPDL模型转换研究

11

作者 万志刚 袁峰 周津慧 《计算机应用研究》 CSCD 北大核心 2007年第4期42-46,共5页

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎。此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持。... 将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎。此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持。SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性。 展开更多

关键词 软件过程工程元模型 可扩展标记语言过程定义语言 软件过程 工作流 模型转换

在线阅读 下载PDF 职称材料