FADEC软件需求形式化建模与测试用例生成的实例研究

1

作者 董泽华 胡军 +3 位作者 沈翔宇 熊波 董亚炯 戴嘉磊 《南京航空航天大学学报(自然科学版)》 北大核心 2025年第5期999-1012,共14页

研发具有安全关键特征的全权限数字化发动机控制(Full authority digital engine control,FADEC)软件是当前大飞机航空发动机控制系统研制的重要任务。本文工作面向大飞机FADEC软件研发中的需求分析与测试挑战,基于变量关系模型(Variabl... 研发具有安全关键特征的全权限数字化发动机控制(Full authority digital engine control,FADEC)软件是当前大飞机航空发动机控制系统研制的重要任务。本文工作面向大飞机FADEC软件研发中的需求分析与测试挑战,基于变量关系模型(Variable relation model,VRM)提出了对条目化自然语言描述的FADEC软件需求形式化建模、分析和基于模型测试用例生成的技术方法,并对FADEC中启动燃油控制软件(Start fuel control,SFC)功能实例进行了研究。研究包括对FADEC自然语言需求文档开展结构化预处理,生成领域概念库;通过需求规范化生成形式化建模框架;基于变量关系模型开展多范式的分析;基于需求模型自动生成测试用例;对FADEC需求建模分析中的领域特征问题进行总结分析等。本文对FADEC软件需求提供了建模与测试的工程经验。 展开更多

关键词 计算机软件与理论 机载软件形式化建模 变量关系模型 自然语言需求建模 测试用例自动生成

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

基于自然语言需求的SCADE模型测试用例自动生成方法 被引量：4

3

作者 邵温欣 杨志斌 +1 位作者 李维 周勇 《计算机科学》 CSCD 北大核心 2024年第7期29-39,共11页

随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法... 随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法主要采用手工方式构造SCADE模型测试用例,存在需求与测试用例不一致、成本代价高且容易出错的问题。文中提出了一种基于自然语言需求的SCADE模型测试用例自动生成方法。首先,给出了基于模型检测的测试用例自动生成方法,通过自然语言需求处理生成原子命题,用于生成前提假设Assume和观察者模型,同时给出了陷阱性质(Trap Properties)生成规则来生成陷阱性质用于模型检测;其次,给出了基于覆盖分析和变异测试的测试用例质量评估方法,并在SCADE模型上进行变异测试;最后,设计和实现了原型工具,并基于一个工业界案例飞行员弹射座椅控制系统进行了案例分析,验证了所提方法的有效性。 展开更多

关键词 安全关键软件 模型驱动开发 SCADE 测试用例自动生成 模型检测

在线阅读 下载PDF 职称材料

基于需求模型的航天软件测试用例生成方法 被引量：7

4

作者 哈清华 刘大有 +1 位作者 沈湘衡 刘逻 《光学精密工程》 EI CAS CSCD 北大核心 2016年第5期1185-1196,共12页

为了提高航天软件测试的效率和覆盖率,增加航天软件测试的有效性,提出了一种基于需求模型的软件测试用例设计方法。针对航天软件测试的特点,该方法采用从用例层深入至步骤层的测试优化策略。首先,基于元建模方法定义了一种测试需求模型... 为了提高航天软件测试的效率和覆盖率,增加航天软件测试的有效性,提出了一种基于需求模型的软件测试用例设计方法。针对航天软件测试的特点,该方法采用从用例层深入至步骤层的测试优化策略。首先,基于元建模方法定义了一种测试需求模型;通过建立模型,将测试需求加以拆分,获取了测试需求之间的先后依赖关系以及测试需求与测试步骤之间的对应关系。然后,基于测试需求模型,构建了测试需求的路径图,进而通过对图的遍历获得了测试用例。最后,将该方法用于工程实践进行了实验验证。验证结果表明,该方法有效保证了测试活动的充分性和有效性,降低了测试用例约简的风险。与不约简的测试方法相比,该方法减少测试工作量达18%,减少测试用例数量为40%以上,软件测试的执行时间也减少了40%以上,在满足需求覆盖率的同时,有效提高了测试效率。 展开更多

关键词 软件测试 航天软件 测试用例生成 用例约简 测试需求 模型

在线阅读 下载PDF 职称材料

面向测试的构件系统模型及测试用例生成方法 被引量：2

5

作者 曹真 曹旻 《计算机工程与应用》 CSCD 2014年第22期59-64,共6页

随着面向构件的软件开发方法的广泛应用,构件系统的描述和测试成为保证软件质量的关键所在。由于构件系统的复杂性和开发方法的特殊性,用传统方法对构件系统进行集成测试往往面对很多困难。提出了一种改进的面向测试的构件描述模型,称为... 随着面向构件的软件开发方法的广泛应用,构件系统的描述和测试成为保证软件质量的关键所在。由于构件系统的复杂性和开发方法的特殊性,用传统方法对构件系统进行集成测试往往面对很多困难。提出了一种改进的面向测试的构件描述模型,称为TCSM,它着重对构件系统中的构件间的交互和约束进行了动态描述,为构件系统集成测试阶段的功能测试和边界测试等提供了大量可用信息。在此基础上,进一步提出一种把TCSM转换成测试模型的方法,以UML协作图模型为原型,实现了构件系统从描述模型到测试模型的自动转换。最后,实现了一种在所产生的测试模型上自动生成测试用例的算法。TCSM更好地描述了构件的交互行为信息,进一步实现了系统的自动化测试,减少了通常需要在构件系统搭建完成后,针对测试对系统手工建立测试模型的工作,提高了构件系统开发的效率和可靠性。 展开更多

关键词 构件系统集成测试 构件系统测试模型 模型转换 测试用例生成

在线阅读 下载PDF 职称材料

基于Spark的并行化组合测试用例集生成方法 被引量：24

6

作者 戚荣志 王志坚 +1 位作者 黄宜华 李水艳 《计算机学报》 EI CSCD 北大核心 2018年第6期1284-1299,共16页

软件系统的正常运行受很多因素影响,各种因素及其相互作用可能引发软件故障,需要设计测试用例检测这些故障.如果因素数量较多且取值情况较复杂,则所需测试用例的数量将非常庞大.如何设计规模较小的用例集是测试用例生成研究的一个关键问... 软件系统的正常运行受很多因素影响,各种因素及其相互作用可能引发软件故障,需要设计测试用例检测这些故障.如果因素数量较多且取值情况较复杂,则所需测试用例的数量将非常庞大.如何设计规模较小的用例集是测试用例生成研究的一个关键问题.组合测试能够从待测软件的大规模组合空间中,生成小规模的用例集,实现对各因素取值组合的充分覆盖.已有研究表明,组合测试的最小测试用例集生成问题是一个NP完全问题.目前已有一些研究尝试使用启发式搜索算法生成尽可能小的用例集.启发式搜索算法将组合测试用例集生成问题转化为搜索问题,并使用元启发式算法生成用例集.启发式搜索算法通常能够生成较小规模的用例集,但需要较长的计算时间.为了解决这个问题,文中提出了一种基于Spark的岛模型并行化遗传算法,利用Hadoop分布式文件系统实现了Spark运行节点间交换信息的方法,进而实现个体在子种群间的迁移.该算法首先从初始种群创建Spark的弹性分布式数据集;然后,将该数据集划分为多个子种群分布到集群的多个节点中;接着,各个子种群在各自的节点上计算适应度函数值和独立进化,并每隔一定的进化代数选择一些个体在各个子种群间迁移,提高了种群的多样性以及搜索最优解的有效性和性能;最后,算法返回满足覆盖准则的最优测试用例集.这种基于Spark的并行化遗传算法是大规模并行化在组合测试用例集生成方面的一个有效尝试.在实验部分,首先对文中提出的并行化算法进行系统的参数调整,给出适合组合测试用例集生成的推荐参数配置;接着将文中所提算法与串行遗传算法和独立运行遗传算法进行比较.实验结果表明,文中所提算法在生成用例集规模和消耗时间上均显著优于这两个算法.在运行所选实例时,该算法比串行算法加速约4至30倍,比独立运行遗传算法加速约2至3倍.相对于已有的组合测试用例集生成方法,文中所提算法在生成用例集规模上也具备显著优势. 展开更多

关键词 组合测试 测试用例集生成 并行化遗传算法 岛模型 SPARK

在线阅读 下载PDF 职称材料

基于UML的软件测试用例自动生成技术研究 被引量：11

7

作者 黄陇 陈致明 +1 位作者 于洪敏 于秀山 《计算机应用与软件》 CSCD 北大核心 2004年第11期16-17,113,共3页

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试... 测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试数据的生成。 展开更多

关键词 UML模型 测试用例 软件测试 自动生成技术 测试场景 覆盖准则 软件自动化 定义 建模工具 产生

在线阅读 下载PDF 职称材料

Android软件可靠性测试用例自动生成的设计研究 被引量：3

8

作者 李震 王肖 +2 位作者 卢超 王敏 李阳 《计算机应用与软件》 CSCD 2016年第1期235-239,共5页

Android是近几年新兴的智能手机操作系统,同时也出现了各种类型的Android应用软件,竞争激烈。对其进行可靠性测试是保证Android软件质量和可靠性的重要途径,同时也可帮助开发方在满足用户期望和尽快上市发布产品两者之间找到合理的平衡... Android是近几年新兴的智能手机操作系统,同时也出现了各种类型的Android应用软件,竞争激烈。对其进行可靠性测试是保证Android软件质量和可靠性的重要途径,同时也可帮助开发方在满足用户期望和尽快上市发布产品两者之间找到合理的平衡。而测试用例的生成是软件可靠性测试的重要环节。针对Android软件可靠性测试用例的自动生成问题,首先提出收集用户对Android软件使用的习惯数据,以便于构建软件的马尔科夫链模型的方法,并基于马尔科夫链模型,提出和实现了设置状态间转移概率算法和测试用例生成算法,最终根据以上的研究内容设计了带有自动记录用户操作习惯模块的Android文件管理器和Android软件可靠性测试用例自动生成工具,给出了Android软件可靠性测试用例设计的总体思路。实验结果表明,该方法大大降低了Android软件测试用例生成的难度,同时节约了测试用例生成的时间和成本,提高了可靠性测试的效率。 展开更多

关键词 马尔科夫链模型 Android软件开发 测试用例自动生成 Eclipse插件开发 遍历算法

在线阅读 下载PDF 职称材料

基于免疫算法的HLR软件系统测试用例生成 被引量：1

9

作者 马臻 陈天 +2 位作者 李元 孙苗 郭锐 《计算机科学》 CSCD 北大核心 2008年第12期244-246,272,共4页

提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的HLR软件测试用例生成模型(Model of Test Case Generation of HLR Software,简称MTCGHS),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在... 提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的HLR软件测试用例生成模型(Model of Test Case Generation of HLR Software,简称MTCGHS),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在HLR软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时进一步验证了模型的正确性、可行性。 展开更多

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

在线阅读 下载PDF 职称材料

一种基于高阶Markov使用模型的测试用例自动生成方法 被引量：2

10

作者 赵卫东 李有俊 张丽 《现代电子技术》 北大核心 2019年第6期26-29,共4页

为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法... 为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法和基于相对熵的测试充分性判定方法。实践表明,改进后的方法有效地提高了测试用例生成的稳定性和测试充分性判定的精确性,与原有方法比较更适合大规模软件的测试,提高了大规模软件自动化测试的效率。 展开更多

关键词 高阶马尔可夫使用模型 快速轮盘赌 二分查找 相对熵 软件测试 测试用例自动生成

在线阅读 下载PDF 职称材料

基于输出域的测试用例自动生成方法研究 被引量：7

11

作者 尤枫 赵瑞莲 吕珊珊 《计算机研究与发展》 EI CSCD 北大核心 2016年第3期541-549,共9页

对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入也较为困难.提出了一种基于输出域的测试用例自动生成方法,首... 对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入也较为困难.提出了一种基于输出域的测试用例自动生成方法,首先利用BP神经网络构建被测软件的功能模型,然后在被测软件的功能模型上,对于给定的输出,利用遗传算法搜索相应的输入,实现基于输出域的测试用例自动生成.同时,对遗传算法进行了改进,提出了一种新的交叉算子和变异算子,以提高遗传算法生成测试用例效率,并在容错软件RSDIMU子模块和3个常用软件上进行了模型构建及测试生成实验.实验结果表明,利用遗传算法实现基于输出域的测试用例自动生成方法是行之有效的,改进的遗传算法能够提高测试生成的效率和成功率. 展开更多

关键词 BP神经网络 软件功能模型 测试用例生成 输出域 遗传算法

在线阅读 下载PDF 职称材料

T-CBESD:一个构件化嵌入式软件设计模型验证工具 被引量：3

12

作者 徐丙凤 胡军 +3 位作者 曹东 黄志球 郭丽娟 张剑 《小型微型计算机系统》 CSCD 北大核心 2010年第11期2129-2137,共9页

现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-... 现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD(Tool for Component-Based Embedded Software Designs).工具直接使用UML顺序图模型作为系统规约,可以检验系统设计模型与场景式规约之间多种行为一致性问题;并使用消息事件的时间约束不等式,检验实时接口自动机网络与带时间约束的顺序图模型之间的实时行为一致性问题.工具设计与实现内容包括:输入输出接口、顺序图模型的预处理转换、状态空间数据结构设计、抽象验证算法的实现以及通信构件组合系统的实例应用分析. 展开更多

关键词 嵌入式软件设计 构件化设计 软件验证 接口自动机 模型检验工具

在线阅读 下载PDF 职称材料

形式化的软件测试模型研究 被引量：3

13

作者 赖祥伟 张为群 +1 位作者 邱玉辉 周彦晖 《计算机科学》 CSCD 北大核心 2004年第11期169-173,共5页

传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需... 传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。 展开更多

关键词 软件测试模型 测试用例 形式化方法 描述语言 RSL 自动生成 软件设计 实验结论 阶段 传统方法

在线阅读 下载PDF 职称材料

嵌入式软件平台的构件化模型研究 被引量：3

14

作者 古幼鹏 桑楠 熊光泽 《计算机科学》 CSCD 北大核心 2005年第10期216-218,248,共4页

为了提高嵌入式软件的生产率,本文提出了一种基于构件的嵌入式软件平台模型CBMESP。CBMESP将软件开发平台与运行平台以统一的构件模型进行构件化,使其可以应用于各种嵌入式领域而不必更改该模型,只需调整构件库中的具体构件即可,具有普... 为了提高嵌入式软件的生产率,本文提出了一种基于构件的嵌入式软件平台模型CBMESP。CBMESP将软件开发平台与运行平台以统一的构件模型进行构件化,使其可以应用于各种嵌入式领域而不必更改该模型,只需调整构件库中的具体构件即可,具有普遍适用性。因此,CBMESP不但加强同一领域内,也加强了领域之间的重用性。CBMESP强调并提供了开发平台与运行平台(应用软件)统一的基于构件的定制方式,更好满足了嵌入式软件开发的多样性要求;最后(BMES根据嵌入式软件特点提出构件模型由三个可以独立实现和运行的部分组成,并解决了各部分之间信息的传递问题,较好适应了嵌入式软件的交叉开发过程和嵌入式系统资源有限的特点。 展开更多

关键词 构件 软件重用 嵌入式软件 软件平台 嵌入式软件开发 构件模型 构件化 软件平台 软件开发平台 运行平台 基于构件 应用软件 软件特点

在线阅读 下载PDF 职称材料

基于EDPN的类测试框架及测试用例生成技术的研究 被引量：2

15

作者 龚红仿 李军义 +1 位作者 邹北骥 孙家广 《计算机科学》 CSCD 北大核心 2005年第5期224-229,共6页

针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯... 针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。 展开更多

关键词 测试用例 测试框架 生成技术 面向对象软件 自动生成方法 测试过程 交互测试 测试模型 输入输出 状态转移 类测试 路径 递推法 扩展 正交阵 爆炸 组合 标记 序列 协同 列表

在线阅读 下载PDF 职称材料

基于模型检查的嵌入式软件构件化分析与验证 被引量：1

16

作者 聂捷楠 《现代电子技术》 北大核心 2016年第24期63-65,70,共4页

对嵌入式软件构件化进行准确分析与验证,能够为嵌入式系统安全、稳定的运行提供保障。提出一种基于模型检查的嵌入式软件构件化分析与验证方法。设计一种用于检查软件构件的模型,为嵌入式软件构件化分析与验证提供理论基础;将嵌入式软... 对嵌入式软件构件化进行准确分析与验证,能够为嵌入式系统安全、稳定的运行提供保障。提出一种基于模型检查的嵌入式软件构件化分析与验证方法。设计一种用于检查软件构件的模型,为嵌入式软件构件化分析与验证提供理论基础;将嵌入式软件系统模型用SMV语言的形式表达,利用SMV模型检查工具实现对嵌入式软件运行状态的分析与检验。实验结果表明,该模型能够对嵌入式软件构件化的非功能性方面的设计要求进行准确分析与验证,为嵌入式系统安全稳定的运行提供了保障。 展开更多

关键词 模型检查 嵌入式软件 构件化 SMV

在线阅读 下载PDF 职称材料

一个基于UML顺序图的场景测试用例生成方法 被引量：4

17

作者 沈剑乐 王林章 +1 位作者 李宣东 郑国梁 《计算机科学》 CSCD 北大核心 2004年第8期179-184,共6页

UML 顺序图是基于 UML 开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于 UML 顺序图的场景测试方法,它以 UML 顺序图为主要测试模型,结合 UML 状态图和类... UML 顺序图是基于 UML 开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于 UML 顺序图的场景测试方法,它以 UML 顺序图为主要测试模型,结合 UML 状态图和类图生成所有的测试场景,最后使用范畴-划分方法找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例,用于测试该场景中对象之间的交互。由于 UML已广泛用于软件分析和设计阶段,通过 UML 模型生成测试用例可充分利用已有的设计结果,减少测试阶段所需的费用,对于已使用 UML 的工业界有着重要的意义。 展开更多

关键词 UML顺序图 软件设计模型 测试用例生成 场景测试 面向对象 集成测试

在线阅读 下载PDF 职称材料

面向对象的构件化软件开发 被引量：10

18

作者 文艺 袁道华 +2 位作者 李晓娟 杨丽丽 陈蓉 《计算机应用研究》 CSCD 北大核心 2002年第8期40-42,共3页

介绍了面向对象、软件复用、构件化软件开发的基本概念和原理 ,讨论了构件化软件开发的主要研究内容、开发过程。

关键词 面向对象 构件化 软件开发 软件复用 构件模型

在线阅读 下载PDF 职称材料

构件化信息系统体系结构及其业务构件模型研究 被引量：9

19

作者 石双元 吴新明 刘琦 《计算机工程与科学》 CSCD 2005年第5期91-93,共3页

构件化信息系统是根据用户需求通过组装现有构件的方式来建立满足不同企业需求和适应企业需求变化的信息系统,其核心是构建即插即用型领域业务构件。本文提出了构件化信息系统的体系结构及面向制造业的业务构件模型,以支持构件化信息系... 构件化信息系统是根据用户需求通过组装现有构件的方式来建立满足不同企业需求和适应企业需求变化的信息系统,其核心是构建即插即用型领域业务构件。本文提出了构件化信息系统的体系结构及面向制造业的业务构件模型,以支持构件化信息系统及业务构件的开发。 展开更多

关键词 软件开发 软件构件 构件化信息系统 体系结构 业务构件模型 企业信息化

在线阅读 下载PDF 职称材料

基于软件复用技术的海上测控软件测试模型 被引量：2

20

作者 赵建平 赵建辉 +2 位作者 刘晓阳 施斌 顾美 《兵工自动化》 2011年第2期91-93,96,共4页

针对目前测试复杂度日益增加和测试队伍年轻化的问题,设计基于软件复用技术的软件测试模型。在分析传统软件模型中软件测试存在的依赖于某个单独文档问题的基础上,结合领域分析和软件测试复用的研究,描述可复用测试构件库的生成过程和... 针对目前测试复杂度日益增加和测试队伍年轻化的问题,设计基于软件复用技术的软件测试模型。在分析传统软件模型中软件测试存在的依赖于某个单独文档问题的基础上,结合领域分析和软件测试复用的研究,描述可复用测试构件库的生成过程和对测试构件的复用过程,运用刻面分类方法实现了更加精确和准确的分类。结果表明,该模型能提高测试工作效率,解决测试人员经验不足的问题。 展开更多

关键词 软件复用 软件质量保证 软件测试模型 刻面分类方法 构件 测试用例

在线阅读 下载PDF 职称材料