刘雪艳[1]2004年在《嵌入式软件组件技术研究》文中进行了进一步梳理基于组件的软件复用技术在非嵌入式系统中已广泛应用,将组件技术应用于嵌入式系统,对嵌入式软件开发具有重要现实意义。本文基于现有组件技术,根据嵌入式系统的特点和要求,设计一种嵌入式软件组件模型——SECOM,对其特点进行分析,并给出了主要的实现思路和方法。 文中首先对嵌入式系统软件的特点进行说明,介绍当前通用的组件模型COM/DCOM、CORBA、JavaBean/EJB,指出通用组件模型不能直接应用于嵌入式软件开发中的原因。其次,通过对当前几种嵌入式组件模型的分析,提出一种适用于嵌入式环境的组件模型——SECOM,并对SECOM组件模型元素、组件复用方式、非功能性约束、实现语言无关性、可维护性、可移植性等进行详细分析。在分析非功能性约束的实时性和可靠性时,采用了一种形式化描述工具——Petri网技术。其中,采用时间Petri网(TPN)∑=(P,T,I,O,K,M_0,F)建立了一个TPN计时器timer,利用timer实现模型对实时性的需求;引入资源回路和有向辅助弧的概念,通过对其活性进行控制而提高系统的可靠性。同时,提出SECOM组件仓库模型,以实现对组件的分类、管理、组织、存储和查询。最后,给出SECOM组件模型实现方法,并阐述了与该模型配套的可视化开发工具的设计和实现思路。 本文对嵌入式软件组件技术进行初步研究和探索,在采用形式化方法对组件模型进行实时建模和分析方面提出了新思路,将Petri网建模技术应用于组件模型分析,取得了一定的研究成果。
盛云龙[2]2013年在《基于组合覆盖的嵌入式软件测试平台研制》文中认为随着嵌入式软件技术的日益发展和应用范围的不断扩大,对嵌入式软件的测试也已经越来越引起开发人员的关注。目前,大多数嵌入式软件测试设备都是针对代码进行覆盖测试,缺少功能测试设备,而且对嵌入式软件的功能测试自动化程度不高、测试覆盖率低,致使嵌入式软件的可靠性难以得到保证。针对上述不足,在研究嵌入式软件功能测试方法和组合测试技术的基础上,研制嵌入式软件测试平台,旨在提高嵌入式软件功能测试的覆盖率,提高自动化测试程度,同时对于提高嵌入式软件的质量和保障其可靠性具有一定的意义。经过对嵌入式软件功能测试需求的深入分析,确定了嵌入式软件测试平台的基本结构,制定了嵌入式软件测试平台的总体实施方案。以本课题组提出的虚拟试验体系结构为基础,利用其集成开发环境组件化的设计思想和订购/发布机制可以方便测试平台的研制。研制的嵌入式软件测试平台最终将以集成开发环境及编写的嵌入式软件测试通用组件为上位机环境,将为被测设备提供硬件接口工控机作为底层硬件平台。在现有的粒子群优化组合测试数据生成算法的基础上,提出了一种部分初始化思想,来提高了粒子的搜索能力,同时引入一种扰动搜索机制来增加测试数据的适应值,经过验证效果好于原有算法,因此以此算法为核心设计了测试用例生成组件用于为被测嵌入式软件生成测试数据;针对现有组合测试故障定位算法在不知道安全值的情况下无法进行故障定位的不足,提出了一种在多参数、多取值条件下的安全值定位方法,并改进了现有组合故障定位算法,经过实验检验故障定位效率有所提升,以上述方法为核心设计了测试结果比对组件,在比对标准设备测试结果和被测软件测试结果的基础上,对故障进行定位。通过单元测试验证了组件功能的正确性,通过以本课题组研制的“ATE在线监测设备”的嵌入式软件作为被测对象,搭建测试系统并进行测试,验证了嵌入式软件测试平台对高覆盖率测试用例的快速生成能力、被测软件标准模型构建的能力和对测试结果比对的能力。总之,全面的验证了嵌入式软件测试平台对于嵌入式软件测试的有效性。
刘刚, 邵志清, 肖立中[3]2007年在《基于组件的嵌入式软件开发中的几个关键问题》文中指出针对嵌入式系统的实际特性,着重从系统的角度提出构造一个嵌入式应用程序的开发架构,也可以称为开发框架。该开发架构是以基于组件的方法来开发嵌入式应用程序的,其主要研究系统结构规约、系统行为规约、组件配置和执行、程序产生和系统配置等几个关键问题。研究的结果将指导一个分布嵌入式应用程序开发框架的构造。
汪帅[4]2018年在《基于组件的嵌入式软件开发问题研究》文中研究指明对嵌入式系统组件架构进行了阐述,从引导软件开发企业健康发展、保证电子产品开发稳定发展两个方面,对加强嵌入式软件开发的必要性进行解析,并结合嵌入式组件的接口设计,提出了基于组件的嵌入式软件开发方案。
邓阿群[5]2007年在《面向方面技术在大规模嵌入式软件中的应用》文中研究表明嵌入式系统在消费类电子产品、通讯系统、车辆控制装置、遥感设备等多个领域得到日益广泛应用。嵌入式软件与PC软件开发相比较,普遍存在技术要求高、性能要求高、软件变更与维护难等特点。另一方面,随着因特网的迅速普及,各种嵌入式设备对接入以因特网为首的网络的需求也日益提高。自动售货机是用于销售合装、罐装等有形、防震防压性能好的商品的机器。自动售货机作为大型嵌入式系统设备同样面临着上述的普遍问题及需求。如何提高自动售货机软件的开发效率,缩短开发周期,提高软件质量,满足自动售货机发展的各项要求迫在眉睫。尽管采取了很多的技术和手段,软件产品及开发过程仍然存在诸如软件模块化程度低,体系结构层次不清,可维护性差,开发效率低下等许多的问题。本文以自动售货机控制软件为应用背景,探索和研究改善大规模嵌入式软件产品及其开发过程的解决方案。目的是:为大规模嵌入式软件系统的开发提供一套完整的开发平台以实现系统对网络的接入更加容易;通过改善嵌入式软件系统的体系结构来提高软件质量;研究一套从分析、设计、编码到测试整个过程可使用的,可视化程度高的软件开发方法,以提高软件的开发效率,缩短软件的开发周期。为了实现上述目的,论文对“面向方面技术(Aspect Oriented Technology,AOT)”进行了详细的分析,提出了自己的观点,并把AOT应用于自动售货机控制软件开发中,有效地改善了自动售货机控制软件产品及开发过程。主要研究成果有:(1)设计和实现了一种基于Java技术的嵌入式软件开发平台,解决了嵌入式软件可扩展性差、系统集成难的问题;(2)提出了一种面向方面的嵌入式软件体系结构模型,改善了软件内部结构,提高了软件的可维护性和可重用度;(3)提出了基于UML和形式化方法的AO描述方法,提高了软件设计和实现间的一致性以及建模准确度;(4)设计和实现基于C语言的方面组织器(Aspect Weaver);(5)提出了面向方面的敏捷统一软件开发过程,能够严格地指导嵌入式软件系统的开发,克服了传统开发过程方法论的缺点。论文的主要研究工作内容如下:(1)综述了面向方面技术的发展历史、原理和发展现状以及嵌入式软件系统的特点和当前面临的挑战,分析了大规模嵌入式软件系统及其开发过程中的问题点及需求特性,明确阐述了本文研究的背景、意义以及主要的研究内容和成果。(2)根据AOT的基本思想,开发平台特性的实质是一种横断关注点,始终保持平台特性关注点和其他功能性关注点的分离十分必要。为了实现这种平台特性关注点的分离,设计和实现了一种基于Java技术的嵌入式软件系统开发平台。介绍了该平台的软硬件结构、功能、关键技术及其特点。实际应用表明,使用该平台易于实现嵌入式系统对网络的集成和系统功能的扩展。(3)分析了传统软件体系结构中存在的问题和不足。详细讨论了嵌入式系统的基本构成要素,设计原则和嵌入式软件设计的共性。采用AOT解决各构成要素间导致系统开发效率和软件质量低下的横断关系,定义了面向方面软件体系结构的基本构件及各构件间的连接器,进而提出了一种面向方面的嵌入式软件体系结构模型。通过在自动售货机控制软件开发中的实际应用,说明了基于该模型的软件设计过程。与基于传统软件体系结构开发结果对比表明,采用该软件体系结构模型能够提高软件系统的开发效率和软件质量。(4)分析了前面提出的嵌入式软件体系结构模型的本质,进一步抽象出该体系结构的构成要素及构成要素间关系,并讨论了使用该软件体系结构模型的面向方面软件系统的基于UML和形式化方法的描述方法。(5)实现AO(Aspect Oriented)设计的关键技术之一是方面编织器(Weaver)的设计与实现。本文探讨了采用大众化的开发工具实现方面编织器的方法,结合编译原理,给出了方面编织器的实现思路,实现了基于C语言的方面编织器,并应用于自动售货机控制软件开发中,验证了上述各章节的研究结果。(6)整合了AO、极限编程(eXtreme Programming,XP)和统一过程的软件开发方法,将AO和XP的思想融入到统一过程中,提出了基于面向方面的敏捷统一软件开发过程(Aspect Oriented eXtreme Unified Process,AOXUP)框架,给出了该过程框架的核心流程。自动售货机的应用实践表明,使用该过程框架使得软件开发过程的复杂度下降,开发过程更加容易管理。最后,作为本文的结束语,对上述各章节进行总结,提出目前存在的问题和继续研究的方向,并对面向方面技术领域的进一步应用研究提出了看法。
耿莉莉[6]2013年在《基于ISO 26262标准的安全关键嵌入式软件开发技术与工具》文中进行了进一步梳理随着信息和电子技术的快速发展,嵌入式领域的分布越来越广,嵌入式系统的功能也越来越复杂,涉及各种人身信息安全相关的产业也越来越多。因此近些年来,在嵌入式应用领域也出现了非常多的安全研究,设计安全的嵌入式系统也显得十分紧迫。本文针对嵌入式领域软件开发的需求,结合ISO26262功能安全标准,总结了通用的安全嵌入式软件开发方法应该遵循的目标,对嵌入式领域软件开发的技术和工具做了深入研究,主要工作可以概括为以下几点:1)分析并设计了基于ISO26262标准的软件开发方法。本文通过分析ISO26262标准,将安全生命周期,安全的软件开发过程应用到本嵌入式软件开发方法中,在设计实现过程中引入了ISO26262的安全需求和建议。2)提出了一种分层架构的开发方法流程。借鉴基于模型驱动的软件开发方法和汽车电子领域AUTOSAR开发方法论,考虑到分层架构的可维护性以及耦合性低的优势,提出了在嵌入式领域将开发方法分为:架构层、逻辑层、运行时环境层、映射层和实现层这五个层次,这种分层结构在提高了开发效率的同时也降低了二次开发的复杂度。3)支持嵌入式不同领域不同的硬件开发平台。本文基于Eclipse捅件和扩展点的机制,提出了不同硬件平台管理自己模块的方法,方便的支持了多硬件平台的嵌入式软件开发。4)完成了整个开发方法的设计和实现,并在汽车电子领域和微小卫星领域实现了案例应用。
黄新生, 吴百锋, 朱琦[7]2004年在《基于组件的嵌入式软件开发方法》文中研究指明根据嵌入式软件的特点,提出一种以模型为中心、基于组件的嵌入式软件开发方法。它以动态数据流图为系统模型对嵌入式软件的功能和性能需求进行了描述,由此提供了强大的描述和分析能力;通过基于特定组件模型的实现结构和实现代码框架的自动生成,以DDF定义的系统可以被有效地分解为一系列独立的组件,合适的DDF调度算法一致地表示了系统组件的执行语义,使得并发开发的组件具有良好的可集成性。该方法充分考虑了嵌入式开发的特点,能有效地降低系统复杂性和支持系统组件的并发开发和复用,从而提高了开发效率并降低了开发成本。
张煜[8]2003年在《航天嵌入式软件测试系统研究与设计》文中提出本文主要讲述了嵌入式软件测试的技术和测试过程管理的理论和实际需求,设计了一套可应用于嵌入式软件系统集成测试和测试过程管理的最小系统,并实现了其中的主要模块和组件。本文首先介绍了软件工程的基本概念和理论,之后介绍了软件测试的相关技术和发展状况。对于航天嵌入式软件测试管理系统进行了较为详细的需求分析,在此基础上应用较先进的软件技术完成最小系统的设计,讲述了各个主要模块的功能和应用的技术要点,并讲述了缺陷管理子系统和测试控制子系统的实现方法,举例说明了系统的工作过程和特点。最后针对该系统的应用,讨论了在最小系统上进行扩展和完善的方法以及一些重要的技术难点。文章附录了相关领域的一些研究热点,探讨了本课题在相关热点领域进行深入研究的可能性。
李涛[9]2006年在《C/C++嵌入式软件构件模型及构件管理库的研究与实现》文中研究指明软构件技术已经广泛渗透到软件开发之中,它使得开发的效率大大提高,而在嵌入式领域却没有广泛使用该技术,研究嵌入式软件构件的目的是将软件构件技术应用到嵌入式软件的开发中去。嵌入式系统的一个显着特点就是平台相关性。这使得软件模块难以被重用,相同的功能需要针对不同的平台重新进行开发。如果采用构件技术,提高模块的重用性,则可以提高嵌入式开发的效率,降低开发难度和成本。本文就是结合国家863课题“面向区域的嵌入式软件技术环境”,对嵌入式软件构件技术进行了研究和探索。 本文针对嵌入式系统资源有限、平台差异大、可靠性要求高等软硬件特性,在吸收现有构件模型的优点的基础上提出了一种嵌入式软件构件模型CMES(Component Model for Embedded Software)。详细描述了CMES的主要元素:属性和接口。本文还结合智能化电子花样机嵌入式软件系统,以此为例子介绍了嵌入式构件的实现和复用方式,并提出了采用构件化思想开发智能化电子花样机嵌入式软件系统的思路。 为了支持基于构件的软件开发,方便对构件的管理和查找,本文还设计并实现了一个基于Web的嵌入式软件构件库WREC(Web-based Repository for Embedded Component)管理系统,该构件库使用刻面分类法提高对构件的浏览和查询效率,并通过Internet以在线的方式向用户提供服务,具有访问简单、功能强大等特点。
刘雪艳, 张贵仓[10]2004年在《嵌入式软件组件模型的研究与设计》文中研究指明根据嵌入式系统及其应用的需求,分析了当前嵌入式软件组件技术的发展现状,设计一种新的嵌入式组件模型SECOM,给出了模型的组成元素及其形式化定义,并对组件组合进行详细的描述。同时,通过分析,总结了SECOM模型的多样性、语言无关性和可扩展性等优点,且指出下一步的工作目标。
参考文献:
[1]. 嵌入式软件组件技术研究[D]. 刘雪艳. 西北师范大学. 2004
[2]. 基于组合覆盖的嵌入式软件测试平台研制[D]. 盛云龙. 哈尔滨工业大学. 2013
[3]. 基于组件的嵌入式软件开发中的几个关键问题[J]. 刘刚, 邵志清, 肖立中. 计算机应用研究. 2007
[4]. 基于组件的嵌入式软件开发问题研究[J]. 汪帅. 电脑编程技巧与维护. 2018
[5]. 面向方面技术在大规模嵌入式软件中的应用[D]. 邓阿群. 浙江大学. 2007
[6]. 基于ISO 26262标准的安全关键嵌入式软件开发技术与工具[D]. 耿莉莉. 浙江大学. 2013
[7]. 基于组件的嵌入式软件开发方法[J]. 黄新生, 吴百锋, 朱琦. 计算机工程与设计. 2004
[8]. 航天嵌入式软件测试系统研究与设计[D]. 张煜. 中国科学院研究生院(空间科学与应用研究中心). 2003
[9]. C/C++嵌入式软件构件模型及构件管理库的研究与实现[D]. 李涛. 西北工业大学. 2006
[10]. 嵌入式软件组件模型的研究与设计[J]. 刘雪艳, 张贵仓. 佳木斯大学学报(自然科学版). 2004
标签:计算机软件及计算机应用论文; 嵌入式系统论文; 嵌入式软件论文; 嵌入式系统设计论文; 测试模型论文; 软件开发流程论文; 测试过程论文; 软件开发模型论文; 软件安全论文; 软件过程论文; 面向过程论文; 安全平台论文; 自动售货机论文;