桥梁盖梁支架一体化智能升降装置研究与应用 被引量：1

1

作者 潘春为 杨飚 +2 位作者 蔡有信 周同生 周祖衡 《桥梁建设》 北大核心 2025年第1期154-162,共9页

针对现有桥梁盖梁传统支架施工面临的高空作业多、施工难度大、安全风险高等问题,依托南中高速和清花高速桥梁工程项目,研发了一套桥梁盖梁支架一体化智能升降装置。该装置硬件主要包括上层电动抱箍、上连接座、下层电动抱箍、下连接座... 针对现有桥梁盖梁传统支架施工面临的高空作业多、施工难度大、安全风险高等问题,依托南中高速和清花高速桥梁工程项目,研发了一套桥梁盖梁支架一体化智能升降装置。该装置硬件主要包括上层电动抱箍、上连接座、下层电动抱箍、下连接座、顶升机构及驱动等,软件主要包括变频器、编程控制器、电气控制系统等,通过机构协同作业,实现整体同步顶升和下放。为验证该装置的工作性能,采用ANSYS软件建立该装置关键受力构件有限元模型,分析其承载状态下的受力及变形,开展智能升降装置空载荷、半载荷、满载荷3种工况下的现场试验,并进行实桥应用。结果表明:智能升降装置关键受力构件最大应力与最大竖向变形值均小于允许值;2个墩柱上2套智能升降装置的下连接座最大高度差为10~12 mm,能有效实现同步顶升;相较传统支架施工,采用该装置施工单个盖梁可减少工时11 h,工效提高14%,整体施工成本降低46.28%。该装置可将盖梁支架搭设的高空作业转化为地面作业,极大降低了施工安全风险,减少了对劳动力的依赖,提高了机械化程度。 展开更多

关键词 盖梁 支架一体化智能升降装置 硬件设计 软件设计 结构验算 有限元法 现场试验 工程应用

在线阅读 下载PDF 职称材料

构件软件的测试问题综述 被引量：27

2

作者 景涛 白成刚 +1 位作者 胡庆培 蔡开元 《计算机工程与应用》 CSCD 北大核心 2002年第24期1-6,共6页

基于构件的软件设计方法是软件设计的新趋势。文章介绍了构件及构件软件的概念、特点和由此引发的测试问题,介绍了现有的构件软件的测试方法和测试工具的研究情况。

关键词 构件 软件测试 测试充分性条件 软件设计方法 面向对象 软件工程 软件开发

在线阅读 下载PDF 职称材料

构件软件可靠性过程技术 被引量：15

3

作者 张策 崔刚 +1 位作者 刘宏伟 孟凡超 《计算机学报》 EI CSCD 北大核心 2014年第12期2586-2612,共27页

针对构件软件可靠性研究现状以及如何提高其可靠性过程,对其可靠性过程的相关研究进行综述.构件软件可靠性过程的关键问题是在整个生命周期内,以可靠性为核心,不断提高可靠性增长过程,实现可靠性预期要求.文中介绍了构件软件可靠性过程... 针对构件软件可靠性研究现状以及如何提高其可靠性过程,对其可靠性过程的相关研究进行综述.构件软件可靠性过程的关键问题是在整个生命周期内,以可靠性为核心,不断提高可靠性增长过程,实现可靠性预期要求.文中介绍了构件软件可靠性过程的主要研究问题,对以可靠性过程为核心的基本内容体系结构与技术分类框架进行了描述,并对基本研究支撑元素进行了概括与分析.重点介绍了依据可靠性过程研究内容与技术分类下从可靠性建模、可靠性增长模型、评估、测试资源分配与最优发布、可靠性过程仿真、基于PCM(Palladio Component Model)的可靠性技术等六个方面进行了技术分类评述,在分类评述中,对技术成果进行了深入讨论并选取典型模型进行剖析和归一化分类.最后还指出,未来还需要在复杂不完美环境下结合非参量求解方法、容错体系结构与硬件系统构件化研究、集成化的可靠性建模表示与分析等方面,深入开展一些研究工作. 展开更多

关键词 构件软件 可靠性 可靠性过程 操作剖面 测试工作量 软件测试

在线阅读 下载PDF 职称材料

基于构件软件系统集成测试的初步研究 被引量：9

4

作者 张书杰 于学军 +1 位作者 阎健卓 于华 《北京工业大学学报》 CAS CSCD 北大核心 2004年第2期224-226,共3页

针对构件软件系统存在着构件源代码无法获得,构件本身性能无法进行完全测试等问题,提出了构件化软件系统集成测试模型,并提出了运用统一建模语言(unified modeling language,简称UML)建立多种视图(如顺序图、合作图等)实现组件依赖关系... 针对构件软件系统存在着构件源代码无法获得,构件本身性能无法进行完全测试等问题,提出了构件化软件系统集成测试模型,并提出了运用统一建模语言(unified modeling language,简称UML)建立多种视图(如顺序图、合作图等)实现组件依赖关系的建模,从而为构件化软件系统级测试提供了可行的测试源. 展开更多

关键词 构件 软件集成测试 统一建模语言(UML)

在线阅读 下载PDF 职称材料

构件软件测试技术研究进展 被引量：32

5

作者 毛澄映 卢炎生 《计算机研究与发展》 EI CSCD 北大核心 2006年第8期1375-1382,共8页

软构件技术提供了一种较面向对象方法更为有效的软件设计模式,构件软件被广泛应用并成为一种主流软件形态·然而,构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等特点给构件软件系统的测试带来极大的挑战,寻求高效的构... 软构件技术提供了一种较面向对象方法更为有效的软件设计模式,构件软件被广泛应用并成为一种主流软件形态·然而,构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等特点给构件软件系统的测试带来极大的挑战,寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界一个亟待解决的课题·分析和归纳近年来一些典型的构件、构件软件测试方法和技术并对当前较为有效的测试框架和工具进行总结;最后,对其今后若干研究方向进行了展望· 展开更多

关键词 构件软件 测试 可测试性 网构软件 可靠性

在线阅读 下载PDF 职称材料

基于构件技术的软件测试问题探讨 被引量：4

6

作者 贾瑞生 孙红梅 +1 位作者 郑永果 齐润泉 《山东科技大学学报（自然科学版）》 CAS 2004年第4期105-107,110,共4页

描述了构件技术的特点,介绍了构件及构件软件的概念、特点和由此引发的测试问题,以及现有构件软件测试方法的研究情况。

关键词 构件 构件软件 软件测试 软件复用

在线阅读 下载PDF 职称材料

基于耦合测试信息元数据模型的构件集成测试 被引量：3

7

作者 马良荔 郭福亮 李永杰 《计算机学报》 EI CSCD 北大核心 2007年第10期1705-1712,共8页

文中提出一个方法,由构件开发方提供有关构件内接口变量定义和使用的信息,以提高构件的可测试性和可理解性.形式化地定义了构件耦合测试准则,定义-使用属性和观察点值.在此基础上,引入包含上述两项属性的定义-使用表(DU表),给出基于该... 文中提出一个方法,由构件开发方提供有关构件内接口变量定义和使用的信息,以提高构件的可测试性和可理解性.形式化地定义了构件耦合测试准则,定义-使用属性和观察点值.在此基础上,引入包含上述两项属性的定义-使用表(DU表),给出基于该表的构件框架.最后将上述方法应用于自主开发的构件中,并生成了相应的测试用例.将文中提出的方法与Orso方法和Kan方法进行了相关的比较,结果表明文中方法无论在测试用例生成,还是在变异发现上都更有效. 展开更多

关键词 构件 构件系统 构件集成测试 构件耦合测试 构件元数据

在线阅读 下载PDF 职称材料

一种基于构件的开放性工作流集成框架 被引量：4

8

作者 刘英博 张力 +1 位作者 卢亚辉 王建民 《计算机集成制造系统》 EI CSCD 北大核心 2007年第7期1350-1353,共4页

提出了一种基于构件的工作流集成框架,包括其体系结构和主要的技术路线,讨论了实现基于构件的工作流集成框架时需要解决的关键技术问题。该框架系统在多家企业的信息系统建设过程中得到了应用,实践证明基于构件的开放体系和工作流管理... 提出了一种基于构件的工作流集成框架,包括其体系结构和主要的技术路线,讨论了实现基于构件的工作流集成框架时需要解决的关键技术问题。该框架系统在多家企业的信息系统建设过程中得到了应用,实践证明基于构件的开放体系和工作流管理系统相结合,为信息系统集成提供了灵活的集成框架。 展开更多

关键词 工作流 基于构件的开发 企业应用集成 软件体系结构

在线阅读 下载PDF 职称材料

面向构件化软件的合约检查测试框架 被引量：5

9

作者 张毅坤 叶涛 邢传玉 《计算机工程》 EI CAS CSCD 北大核心 2006年第20期78-80,83,共4页

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监... 基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架(contract-checkingtestframework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。 展开更多

关键词 构件 合约检查 CCTF 构件化软件集成测试

在线阅读 下载PDF 职称材料

实现构件软件可靠性分析的改进的可加模型 被引量：4

10

作者 侯春燕 崔刚 刘宏伟 《高技术通讯》 CAS CSCD 北大核心 2011年第3期267-272,共6页

可加模型是构件软件可靠性分析领域中的创新式尝试，建立了构件软件应用的非齐次泊松过程（NHPP）类模型。但是可加模型中没有采用白盒方法分析构件软件应用的体系结构，并且它假设构件的NHPP模型已知，而不考虑如何根据构件软件的实际... 可加模型是构件软件可靠性分析领域中的创新式尝试，建立了构件软件应用的非齐次泊松过程（NHPP）类模型。但是可加模型中没有采用白盒方法分析构件软件应用的体系结构，并且它假设构件的NHPP模型已知，而不考虑如何根据构件软件的实际测试过程来建立构件的NHPP模型。本文针对可加模型存在的问题进行改进。利用仿真方法实现构件测试剖面到运行剖面的映射，建立构件的NHPP模型。然后通过基于状态的白盒分析方法将所有构件的NHPP模型结合起来，建立整个应用的NHPP模型。改进后的可加模型实现了黑盒方法和白盒方法的结合。最后通过一个实验验证了改进后的可加模型的有效性。 展开更多

关键词 非齐次泊松过程(NHPP) 剖面 软件测试 构件 构件软件

在线阅读 下载PDF 职称材料

基于免疫遗传算法的构件化软件测试用例生成 被引量：6

11

作者 马臻 张毅坤 +3 位作者 梁荣 鲁晓锋 徐艳丽 解建仓 《计算机工程》 EI CAS CSCD 北大核心 2006年第23期64-67,共4页

提出了一种基于免疫遗传算法(GA)的构件化软件测试用例生成模型(MTCGCBS),介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在水利构件化软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法... 提出了一种基于免疫遗传算法(GA)的构件化软件测试用例生成模型(MTCGCBS),介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在水利构件化软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性。 展开更多

关键词 免疫遗传算法 构件化软件测试用例生成模型 疫苗

在线阅读 下载PDF 职称材料

构件分层元数据对象参考模型的设计 被引量：2

12

作者 马良荔 汪厚祥 李永杰 《计算机应用研究》 CSCD 北大核心 2007年第10期282-285,共4页

在概述构件元数据的基本定义基础上,引入了分层元数据对象的概念,将其分为描述性元数据和操作性元数据两种类型,进一步对其中的具体内容按照层次概念进行了详细描述,并给出了其形式化定义。基于此,用UML的类图给出了构件元数据对象的形... 在概述构件元数据的基本定义基础上,引入了分层元数据对象的概念,将其分为描述性元数据和操作性元数据两种类型,进一步对其中的具体内容按照层次概念进行了详细描述,并给出了其形式化定义。基于此,用UML的类图给出了构件元数据对象的形式化描述,并结合构件使用方对元数据系统的需求,给出了一个分层元数据系统的结构框架。 展开更多

关键词 构件 构件集成测试 构件元数据 统一建模语言 类图

在线阅读 下载PDF 职称材料

构件软件的回归测试复杂性度量 被引量：4

13

作者 陶传奇 李必信 Jerry Gao 《软件学报》 EI CSCD 北大核心 2015年第12期3043-3061,共19页

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以... 基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以实施不同的修改手段.不同的修改手段会导致不同的回归测试复杂性,这种复杂性是软件维护成本和有效性的重要因素.目前的研究没有强调构件软件的回归测试复杂性问题.基于修改影响复杂性模型和度量,提出一种回归测试的复杂性度量框架.该度量框架包括两个部分:基于图的模型和形式化度量计算.该度量可以有效表示构件软件分别在构件和系统层面的回归测试复杂性因素,可视化地体现复杂性变化.然后根据模型,提出具体的度量计算方式.最后,通过实验研究,针对同一个构件软件的相同修改需求,利用若干个实验组进行独立修改实施,然后比较回归测试的复杂性.实验结果表明,所提出的度量方式是可行和有效的. 展开更多

关键词 基于构件的软件 回归测试 重测复杂性 软件维护

在线阅读 下载PDF 职称材料

基于元数据和UML的构件测试用例生成技术研究 被引量：2

14

作者 马良荔 卢炎生 刘孟仁 《计算机工程与设计》 CSCD 北大核心 2006年第23期4444-4446,4578,共4页

概述了构件及其测试技术的基本概念和特征,并在对元数据的基本概念和含义进行概述的基础上,使用UML方法给出了相应的元模型,根据上述模型的具体概念描述了UML用例到测试用例的映射方法。构造了构件元数据的组成元素,给出了嵌入该元数据... 概述了构件及其测试技术的基本概念和特征,并在对元数据的基本概念和含义进行概述的基础上,使用UML方法给出了相应的元模型,根据上述模型的具体概念描述了UML用例到测试用例的映射方法。构造了构件元数据的组成元素,给出了嵌入该元数据后的测试模型。详细描述了用上述方法实现的一个实例——学生成绩管理构件,并针对该实例的应用提出了相应的测试框架,最后给出相应的结论。 展开更多

关键词 构件 构件软件测试 构件元数据 UML 测试用例

在线阅读 下载PDF 职称材料

面向对象软件测试技术进展 被引量：46

15

作者 金凌紫 《计算机研究与发展》 EI CSCD 北大核心 1998年第1期6-13,共8页

面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方... 面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面，综述有代表性的研究工作，探讨研究方向． 展开更多

关键词 面向对象 软件测试 程序语言 软件开发

在线阅读 下载PDF 职称材料

构件软件回归测试用例选择策略 被引量：4

16

作者 毛澄映 卢炎生 《计算机研究与发展》 EI CSCD 北大核心 2006年第10期1767-1774,共8页

软构件技术虽被广泛应用于软件系统的开发中,但其测试问题并未得到很好地解决.系统构建者对外部提供的构件内部结构及其变更信息缺乏了解,很难选择出与构件变更相关的用例用于下一轮的测试.分析已有回归测试技术的不足,提出了两种改进... 软构件技术虽被广泛应用于软件系统的开发中,但其测试问题并未得到很好地解决.系统构建者对外部提供的构件内部结构及其变更信息缺乏了解,很难选择出与构件变更相关的用例用于下一轮的测试.分析已有回归测试技术的不足,提出了两种改进的回归测试策略一种是基于增强的构件版本变更信息的方法;另一种则是基于内建式测试设计的方法.通过对几个实例程序的实验分析,初步证实了所提出的方法在实际应用中的可行性与有效性. 展开更多

关键词 构件软件 回归测试 变更信息 内建式测试设计 测试用例选择

在线阅读 下载PDF 职称材料

基于UML软件测试技术的比较研究(英文) 被引量：1

17

作者 白晓清 蓝秋萍 李怀忠 《广西大学学报（自然科学版）》 CAS CSCD 2003年第4期358-362,共5页

近年来 UML图广泛应用于软件开发的各个阶段 ,特别在软件测试领域 ,基于 UML软件测试技术的研究成为学术热点 .本文对基于 UML的软件测试技术进行了详细地比较和研究 ,并且给出了组件工程中

关键词 软件测试技术 UML图 软件开发 组件工程

在线阅读 下载PDF 职称材料

元数据在构件软件测试用例生成中的应用研究 被引量：1

18

作者 马良荔 卢炎生 刘孟仁 《小型微型计算机系统》 CSCD 北大核心 2006年第12期2228-2231,共4页

首先分析了构件测试的基本过程,在对元数据的基本概念进行概述的基础上,给出了用例元模型、测试用例元模型以及用例到测试用例的转换.构造了元数据的组成元素,以及嵌入该元数据后的测试模型,最后,给出了一个用上述方法实现的一个实例.

关键词 构件 构件软件测试 构件元数据 UML

在线阅读 下载PDF 职称材料

一种基于运行时交互约束的COTS构件集成测试用例生成方法 被引量：1

19

作者 高静 兰雨晴 金茂忠 《计算机科学》 CSCD 北大核心 2009年第3期261-265,共5页

COTS(Commercial Off-The-Shelf)构件的源代码不可得,而且规约通常缺少交互语义信息,使得集成了COTS的构件软件系统无法采用基于源代码和基于规约的集成测试用例生成方法。提出基于运行时交互约束的COTS构件集成测试用例生成方法。方法... COTS(Commercial Off-The-Shelf)构件的源代码不可得,而且规约通常缺少交互语义信息,使得集成了COTS的构件软件系统无法采用基于源代码和基于规约的集成测试用例生成方法。提出基于运行时交互约束的COTS构件集成测试用例生成方法。方法在构件软件系统的初始功能测试用例执行过程中,获取COTS构件在系统上下文环境中的运行时接口交互约束信息,建立COTS构件与系统中其它构件的交互约束模型,根据建立的构件交互约束模型生成集成测试用例。当替换、更新集成的COTS构件时,采用生成的集成测试用例验证重新集成的COTS构件与系统其它构件交互的正确性。实现方法的自动化工具原型,并采用真实的系统实例对生成的测试用例的有效性进行了初步评估。 展开更多

关键词 运行时交互 交互约束建模 基于构件软件 集成测试

在线阅读 下载PDF 职称材料

用于构件集成测试的分层元数据的设计与实现 被引量：1

20

作者 马良荔 卢炎生 刘孟仁 《计算机应用研究》 CSCD 北大核心 2007年第2期272-274,共3页

在对构件元数据的基本思想进行概述的基础上,提出了一种分层元数据的概念,并从构件使用方和构件开发方两个角度分析了对构件的需求。设计了分层元数据对象的模型以及分层元数据的层次结构,并进一步给出了元数据的具体内容及其XML表示的... 在对构件元数据的基本思想进行概述的基础上,提出了一种分层元数据的概念,并从构件使用方和构件开发方两个角度分析了对构件的需求。设计了分层元数据对象的模型以及分层元数据的层次结构,并进一步给出了元数据的具体内容及其XML表示的实现思想。最后结合一个描述构件硬件运行环境的元数据实例,给出了相关的XML代码。 展开更多

关键词 构件 构件软件测试 构件元数据 UML

在线阅读 下载PDF 职称材料