期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
构造面向对象软件可复用测试用例的模式研究 被引量:12
1
作者 徐仁佐 陈斌 +2 位作者 陈波 吴闽泉 熊忠伟 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2003年第5期592-596,共5页
从分析测试用例的共性着手,将面向对象系统中的测试用例依据它们的设计方法分为:状态检查测试用例与状态比较测试用例,并进而得出关于这两类测试用例的详细描述.以此为基础,提出了一个统一的测试用例生成、执行的模式,使测试用例能够独... 从分析测试用例的共性着手,将面向对象系统中的测试用例依据它们的设计方法分为:状态检查测试用例与状态比较测试用例,并进而得出关于这两类测试用例的详细描述.以此为基础,提出了一个统一的测试用例生成、执行的模式,使测试用例能够独立于被测对象,以达到测试复用的目的. 展开更多
关键词 软件工程 软件测试 测试用例复用 测试框架 测试用例模型 面向对象系统 组件
下载PDF
基于可重用组件技术的软件开发方法 被引量:7
2
作者 周晓锋 刘馨月 +1 位作者 张靖波 马志强 《信息技术》 2005年第11期139-141,共3页
采用软件重用技术是解决软件危机的重要途径,基于组件技术的软件工程是重要的软件重用技术。文中提出了一种利用可重用组件进行软件开发的方法,使整个软件开发过程围绕着软件重用进行展开,并且对其中的一些技术细节进行了详细的阐述。
关键词 软件重用 组件 可重用组件 基于组件的软件工程
下载PDF
一种基于组件的软件开发方法 被引量:3
3
作者 周晓锋 马志强 刘馨月 《信息技术与标准化》 2005年第9期35-38,共4页
在软件工程中关于软件重用的问题是近几年来研究的热点问题,其中研究较多且应用广泛的是基于组件的软件重用。提出了一种基于组件的软件工程开发方法,并进行了详细的阐述。
关键词 软件重用 组件 可重用组件 基于组件的软件工程 软件开发方法 软件工程 工程开发
下载PDF
基于可生存性规范的软件构件系统恢复的建模与推理 被引量:4
4
作者 卢暾 《软件学报》 EI CSCD 北大核心 2007年第12期3031-3047,共17页
从基于构件的系统在面临各种不同的恶意攻击、系统故障和意外事故时,根据预先定义好的生存性规范为用户提供不同等级的系统服务出发,研究了构件系统恢复中的一些关键问题.其主要贡献是:(1)提出了基于构件家族和构件安装顺序的服务核表... 从基于构件的系统在面临各种不同的恶意攻击、系统故障和意外事故时,根据预先定义好的生存性规范为用户提供不同等级的系统服务出发,研究了构件系统恢复中的一些关键问题.其主要贡献是:(1)提出了基于构件家族和构件安装顺序的服务核表示方法,该方法能够准确表达系统在不同条件下为用户提供能够感知的服务;(2)建立了基于构件兼容性和构件安装执行的构件系统恢复性质的推理规则,用于判断系统恢复的成功性(新启动的服务能够正常工作)和安全性(原有的服务不会受到损害);(3)提出了基于投影的构件安装执行的简化算法,为大规模构件系统恢复的性质推理分析提供了支持.利用基于可生存性规范的构件系统恢复的分析流程,可以在实际中系统地应用相应的推理规则.最后通过一个基于构件的移动视频点播MVoD系统来展示所提出的模型与方法的实用性和有效性. 展开更多
关键词 基于构件的软件工程 基于构件的系统 构件重用 可生存性规范 服务核 系统恢复
下载PDF
构件适应和组装的形式化语义描述 被引量:1
5
作者 谢兄 张维石 《计算机工程与应用》 CSCD 北大核心 2007年第21期36-39,45,共5页
构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适... 构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题。 展开更多
关键词 基于构件的软件工程 软件构件 构件组装 构件适应 软件复用 形式化描述
下载PDF
一种基于线性逻辑的构件组装方法研究 被引量:3
6
作者 谢兄 张维石 《小型微型计算机系统》 CSCD 北大核心 2008年第5期797-800,共4页
构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组... 构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题. 展开更多
关键词 基于构件的软件工程 软件构件 构件组装 构件适应 形式化描述
下载PDF
基于组件的分析模型 被引量:1
7
作者 蒋建民 《重庆工商大学学报(自然科学版)》 2003年第1期37-40,共4页
基于组件的分析模型由对象模型、工作流模型和信息对象模型构成,讨论了他们的关系,以及组件与对象的映射关系。这是一种新的基于自制组件的系统分析方法,它能实现分析、设计、实现、测试和维护各阶段平滑过渡,减少跨阶段造成的各种误差。
关键词 组件 分析模型 软件工程 软件开发 系统分析方法 对象模型 工作流模型
下载PDF
基于UML软件测试技术的比较研究(英文) 被引量:1
8
作者 白晓清 蓝秋萍 李怀忠 《广西大学学报(自然科学版)》 CAS CSCD 2003年第4期358-362,共5页
近年来 UML图广泛应用于软件开发的各个阶段 ,特别在软件测试领域 ,基于 UML软件测试技术的研究成为学术热点 .本文对基于 UML的软件测试技术进行了详细地比较和研究 ,并且给出了组件工程中
关键词 软件测试技术 UML图 软件开发 组件工程
下载PDF
FreeScaler:一个灵活面向领域的可复用基础设施
9
作者 赵佳 孙涌 陆建德 《小型微型计算机系统》 CSCD 北大核心 2006年第5期906-912,共7页
框架是软件复用研究中的重要课题之一,但是框架在不同的领域中有不同的特性,需要将框架的特性与共性分离,将共性部分单独加以实现并复用,使得研究人员的注意力集中在各个领域的特性部分.本文提出并研发了一个基于构件和双总线的分层微... 框架是软件复用研究中的重要课题之一,但是框架在不同的领域中有不同的特性,需要将框架的特性与共性分离,将共性部分单独加以实现并复用,使得研究人员的注意力集中在各个领域的特性部分.本文提出并研发了一个基于构件和双总线的分层微内核结构的基础设施—FreeScaler.该基础设施属于框架共性的实现,具有高度的开放性和灵活性,为科研试验和应用开发提供了一个快捷易用的平台.文中重点介绍了FreeScaler的设计思路、整个系统的模型和体系结构,阐释其关键特性,并展示了基于FreeScaler的实际应用. 展开更多
关键词 软件复用 构件 框架 领域 基于构件的软件工程
下载PDF
基于WebGIS的构件软件工程环境研究
10
作者 张泊平 吴国玺 《计算机工程与设计》 CSCD 北大核心 2008年第15期4086-4089,共4页
在深入研究构件库及环境的基础上,对基于构件的软件开发方法(CBSE/CBD)进行了研究。将基于构件的软件开发方法应用在地理信息系统领域(GIS),利用MapXtreme等构件和Java语言在GIS构件环境中设计并实现了郑州市网络地理信息系统(WebGIS)。
关键词 构件 地理信息系统 地图 构件软件工程
下载PDF
基于行为自动机的构件可替换性分析与验证 被引量:7
11
作者 张敬周 任洪敏 +2 位作者 宗宇伟 钱乐秋 朱三元 《软件学报》 EI CSCD 北大核心 2010年第11期2768-2781,共14页
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出... 在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法.另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率. 展开更多
关键词 基于构件的软件工程 构件可替换性 交互兼容性 构件行为自动机 软件演化
下载PDF
Testing Component-Based Software: What It has to do with Design and Component Selection
12
作者 Shyam S. Pandeya Anil K. Tripathi 《Journal of Software Engineering and Applications》 2011年第1期37-47,共11页
In a component-based software development life cycle, selection of preexisting components is an important task. Every component that has to be reused has an associated risk of failure of not meeting the functional and... In a component-based software development life cycle, selection of preexisting components is an important task. Every component that has to be reused has an associated risk of failure of not meeting the functional and non-functional requirements. A component's failure would lead a developer to look for some other alternative of combinations of COTS, in-house and engineered components among possible candidate combinations. This means design itself can readily change. The very process of design of a software system and component selection seems to be heavily dependent on testing results. Instability of design, further, becomes more severe due to requirements change requests. Therefore, this instability of design has to be essentially mitigated by using proper design and testing approaches, otherwise, it may lead to exorbitantly high testing cost due to the repeated testing of various alternatives. How these three activities: Component-based software design, component selection and component-based software testing are interrelated? What process model is most suited to address this concern? This work explores the above questions and their implication in terms of nature of a process model that can be convincing in case of component-based software development. 展开更多
关键词 CBSE (component-based software engineering) software TESTING software Process COTS (Commercial Off-The-Shelf software)
下载PDF
一种基于ebXML规范构建组件库的方法 被引量:1
13
作者 杜德慧 应时 何克清 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2005年第1期87-90,共4页
针对软组件的管理要求,本文在扩充 OASIS ebXML 注册信息模型的基础上,提出了一种基于ebXML注册库和存储库标准,管理软组件资源的方案,并给出了该软组件库的组件注册框架结构.该方案符合OASIS的ebXML注册信息模型规范和ebXML注册服务规... 针对软组件的管理要求,本文在扩充 OASIS ebXML 注册信息模型的基础上,提出了一种基于ebXML注册库和存储库标准,管理软组件资源的方案,并给出了该软组件库的组件注册框架结构.该方案符合OASIS的ebXML注册信息模型规范和ebXML注册服务规范,具有通用性和推广应用价值并举例说明了组件注册框架的使用过程. 展开更多
关键词 基于组件的软件工程 软组件 ebXML注册库 ebXML存储库
下载PDF
基于构件的电力市场运营平台的研究
14
作者 杨波 高飞 《华中电力》 2004年第2期7-10,共4页
电力市场运营平台是支持电力市场运营的大型软件系统,要求具有开放性、可扩展性、互操作性、可重用性和安全性。本文针对传统软件工程的不足,提出基于构件技术建立电力市场运营平台,并深入阐述了基于构件的电力市场运营平台开发方法。... 电力市场运营平台是支持电力市场运营的大型软件系统,要求具有开放性、可扩展性、互操作性、可重用性和安全性。本文针对传统软件工程的不足,提出基于构件技术建立电力市场运营平台,并深入阐述了基于构件的电力市场运营平台开发方法。在此基础上,提出基于请求/代理方式的电力市场运营平台体系结构,并对该系统的构件库、构件模型表示、基于Catalysis方法的构件建模技术进行了深入讨论。 展开更多
关键词 构件 软件开发方法 软件工程 电力市场运营平台 电力工业
下载PDF
面向体系结构的构件接口模型及其形式化规约 被引量:7
15
作者 任洪敏 张敬周 钱乐秋 《计算机工程》 EI CAS CSCD 北大核心 2005年第23期67-69,共3页
借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软... 借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。 展开更多
关键词 基于构件的软件工程 软件体系结构 构件接口模型 接口规约 行为协议
下载PDF
软件工程新进展:组件软件工程 被引量:4
16
作者 马红 《现代计算机》 2001年第8期24-27,共4页
本文首先介绍了组件、基于组件的软件工程的概念、特点和意义,然后论述了组件软件工程的开发过程和开发方法,并与传统的软件开发方法进行了比较。组件软件工程的出现,将会大大提高软件生产效率,增加软件的可靠性、易读性、易维护性。
关键词 软件工程 组件软件工程 软件开发 软件系统 计算机
下载PDF
基于行为协议的构件替换性分析
17
作者 任洪敏 刘晋 《计算机工程与科学》 CSCD 北大核心 2012年第12期74-80,共7页
构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件... 构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件行为替换性的概念体系,以增进软件构件的复用,开发了构件行为替换性的验证方法,以支持构件行为替换性验证的自动执行。 展开更多
关键词 基于构件的软件工程 构件替换性 构件自动机 形式化分析 形式化验证
下载PDF
面向主机遥控系统的CBSE方法研究
18
作者 陈迪秋 郑元璋 《上海船舶运输科学研究所学报》 2011年第2期135-139,共5页
以SRI-VC2110RC遥控系统为目标系统,设计了面向该目标系统的构件模型、架构风格和可复用软件构件库;设计并开发了基于Eclipse的构件化嵌入式软件开发工具。最后通过构建实例,展示了嵌入式软件构件化解决方案,并证明采用CBSE(Component B... 以SRI-VC2110RC遥控系统为目标系统,设计了面向该目标系统的构件模型、架构风格和可复用软件构件库;设计并开发了基于Eclipse的构件化嵌入式软件开发工具。最后通过构建实例,展示了嵌入式软件构件化解决方案,并证明采用CBSE(Component Based Software Engineering)方法能够改善目标系统嵌入式软件的开发过程,提高开发效率。 展开更多
关键词 嵌入式软件 基于构件的软件工程 主机遥控 Eclipse软件
下载PDF
后装配组件的分析与设计方法
19
作者 蒋建民 舒红平 《成都信息工程学院学报》 2003年第1期16-19,共4页
后装配组件的分析与设计方法是为如何方便组装、拆卸和替换组件而提出的,它是建立在面向对象和基于组件的软件工程基础上,把组件的概念引入到需求分析中,建立起组件与具体需求的映射关系。该方法能根据用户需求变化直接确定要维护的组件... 后装配组件的分析与设计方法是为如何方便组装、拆卸和替换组件而提出的,它是建立在面向对象和基于组件的软件工程基础上,把组件的概念引入到需求分析中,建立起组件与具体需求的映射关系。该方法能根据用户需求变化直接确定要维护的组件,从而提高组件的适应能力。 展开更多
关键词 软件工程 后装配组件 设计方法 需求分析 面向对象 组件重用 软件开发
下载PDF
基于构件技术的虚拟仪器的研究与实现 被引量:10
20
作者 李云飞 姜晓峰 《仪器仪表学报》 EI CAS CSCD 北大核心 2006年第11期1550-1553,共4页
基于构件的软件工程逐渐成为软件开发的主流范型,本文提出了一个基于构件技术的虚拟仪器设计初步思想,解决由于用户需求不断变化给虚拟仪器的稳定性和寿命带来的问题,并用一个应用实例,说明了该构想的可行性。
关键词 虚拟仪器 软件工程 柔性线路板
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部