导读:本文包含了软件构件论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:构件,软件,测试,技术,嵌入式,语义,作战。
软件构件论文文献综述
杨永国[1](2019)在《一种嵌入式信号处理软件构件测试框架》一文中研究指出为了缓解嵌入式信号处理软件构件人工测试的不足,设计一种自动化测试框架极为必要。基于此,本文从特征与主要流程入手,明确了嵌入式信号处理软件构件测试的内容,并依托叁层体系架构完成嵌入式信号处理软件构件测试框架的设计,分析了测试框架中不同的功能单元。(本文来源于《数字技术与应用》期刊2019年10期)
沈怡颹,张程,何益康,林荣峰,朱晏庆[2](2019)在《基于虚拟化技术的卫星控制系统软件构件库运行监控与可信验证技术》一文中研究指出动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在同一模型建模体系进行,并进行相应的控制算法设计;但是由于动态系统建模工具其自身的时钟步长和数据流处理逻辑,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,可能与真实物理环境要求的系统有一定的出入,造成对承载卫星控制器功能的目标机CPU处理系统存在一定程度的失真,影响仿真效果;提出了一种基于虚拟化技术的卫星控制系统软件构件库可信验证技术,使用虚拟化技术实现对真实物理目标机功能的完全模拟,运用软件非干涉运行监控技术,获取可信的开发证据和应用证据,利用协同仿真组件和卫星控制系统方案设计的控制算法模型对各个软件构件进行动态同步仿真验证。(本文来源于《计算机测量与控制》期刊2019年08期)
程知敬,张晋文,刘凤[3](2019)在《一种嵌入式信号处理软件构件测试框架》一文中研究指出嵌入式系统在保障雷达信号处理高可靠性和高实时性要求的同时,其硬件耦合度高和处理数据量大的问题给嵌入式测试的自动化推进带来了挑战。为提高嵌入式信号处理软件的测试效率,提出了一种构件级测试的自动化框架,该框架通过解析构件的测试用例表产生测试数据,调用驱动镜像,并根据测试脚本自动执行测试,评估测试结果,最终生成测试报告,实现测试全流程的自动化。文中给出了该框架应用于某产品构件测试的实际效果,缩短近一半的人工耗时,验证了其正确性及有效性。(本文来源于《现代雷达》期刊2019年06期)
刘泊江,韩新宇,唐龙利,沈晓美,闫然[4](2018)在《舰船装备软件构件可靠性评估方法》一文中研究指出为了解决对当前大型舰船装备软件构件可靠性评估不够直观详细,构件的性能参数缺乏足够的测试数据;针对以上问题进行研究,提出针对舰船装备软件构件的可靠性评估方法、分析和综合评价的工具;提出了一种针对舰船装备软件构件可靠性评估方法,接着对其评估过程进行介绍;最后,在开发出的可靠性评估工具上对方法进行验证,它可以实现软件可靠性早期预计以及可靠性分析的自动化实施;该软件可以极为方便地帮助软件可靠性工程师实现舰船装备软件构件可靠性早期预计分析工作,具有重要的工程意义。(本文来源于《计算机测量与控制》期刊2018年06期)
毛洪川,韩洁,胡豪,王芳[5](2018)在《软件构件库技术研究》一文中研究指出近年来,大型应用系统软件逐渐增多,软件的质量和开发效率严重制约着系统软件的发展,软件代码的复用再次成为软件开发的研究热点,软件构件的建立为软件的重用提供了基本的技术支持。软件的构件库研究,被软件行业的执行者认为是提高软件开发的生产效率、解决软件危机和提高软件产品质量的必要途径之一。通过软件构件的重用,可以提高软件开发过程的质量和工作效率。(本文来源于《科技传播》期刊2018年11期)
王霞[6](2018)在《软件复用与软件构件技术》一文中研究指出近几年来,随着社会的发展与进步,科技发展迅速,软件技术逐渐得到认可并成为主流技术。软件复用是因在软件开发过程中的劳动重复,因此,利用软件复用的手段帮助提高软件开发的效率和质量。软件复用和软件构件技术一直受到行业内部的关注,笔者就对此进行了探究,分别研究了软件复用和软件构件技术,探讨了两者之间的关系,并对未来进行了展望,希望能够为软件行业发展提供有效思路。(本文来源于《信息与电脑(理论版)》期刊2018年10期)
张立新[7](2018)在《嵌入式计算机软件构件提取及组装技术分析》一文中研究指出伴随着社会经济的飞速发展,我国计算机科学技术水平也在不断提升,进而使得计算机软件的研发工作效率得到有效提高,但是,对于研发工作的水平要求也更加严格。在这一前提下,想要让计算机软件开发速度与时代发展速度处于同一发展水平线,就必须积极开展计算机软件的开发创新活动。鉴于此,笔者对嵌入式计算机软件构件提取及组装技术进行了详细的分析,旨在提升计算机技术人员的研发水平。(本文来源于《信息系统工程》期刊2018年03期)
陈黎明,高锋[8](2018)在《海军作战指挥软件构件化》一文中研究指出作战指挥软件顶层设计的核心是建设内容。针对海军作战指挥实际需求,提出了基于指挥对象分类、基于指挥活动业务构架及基于指挥主体集成的作战指挥软件构件化基本逻辑,构建了针对不同类别指挥对象、面向不同层次指挥主体及涵盖不同内容指挥业务需求的海军作战指挥软件体系框架和软件构件体系,分析了软件(构件)体系综合运用的基本思路。最后,通过示例分析了海军作战指挥软件构件体系的运用方法。(本文来源于《指挥信息系统与技术》期刊2018年01期)
胡启敏,薛锦云,游珍,程着[9](2018)在《PAR平台中若干软件构件形式化验证技术研究》一文中研究指出PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保其中软件构件的正确性和可靠性就显得十分重要。选取PAR平台中若干典型软件构件,用形式化方法对构件的语义进行形式化描述,并借助Coq定理证明系统,对构件的正确性进行形式化验证,大幅度提高了软件构件形式化验证的效率。(本文来源于《计算机工程与科学》期刊2018年02期)
孙燕,郭松超,张芮[10](2018)在《“Java网络编程”与“软件构件与中间件”教学探索》一文中研究指出《Java网络编程》、《软件构件与中间件》是高校计算机学院网络工程专业和软件工程专业的必修课,这两门课程是本科教学从"理论教学"转为"应用型教学"改革课程。《软件构件与中间件》(软件工程)与《Java网络编程课程》(网络工程)都需要网络编程,它们在通信过程编程实现的思想是共同的,使用的通信的体系架构是一致的。从两门课的共同点网络通信概念出发,叙述了中间件在通信中的作用,利用现实通信的实例做比对,并使用一个Web Java项目作为实例,使用网络通信体系结构概念模型(OSI参考模型)及通信数据封装解封装过程解释了网络通信编程项目开发应有的思路和步骤,使学生从全局的角度掌握Java网络编程和软件构件与中间件课程的通信本质,取得了良好的教学效果。(本文来源于《实验室研究与探索》期刊2018年02期)
软件构件论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在同一模型建模体系进行,并进行相应的控制算法设计;但是由于动态系统建模工具其自身的时钟步长和数据流处理逻辑,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,可能与真实物理环境要求的系统有一定的出入,造成对承载卫星控制器功能的目标机CPU处理系统存在一定程度的失真,影响仿真效果;提出了一种基于虚拟化技术的卫星控制系统软件构件库可信验证技术,使用虚拟化技术实现对真实物理目标机功能的完全模拟,运用软件非干涉运行监控技术,获取可信的开发证据和应用证据,利用协同仿真组件和卫星控制系统方案设计的控制算法模型对各个软件构件进行动态同步仿真验证。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
软件构件论文参考文献
[1].杨永国.一种嵌入式信号处理软件构件测试框架[J].数字技术与应用.2019
[2].沈怡颹,张程,何益康,林荣峰,朱晏庆.基于虚拟化技术的卫星控制系统软件构件库运行监控与可信验证技术[J].计算机测量与控制.2019
[3].程知敬,张晋文,刘凤.一种嵌入式信号处理软件构件测试框架[J].现代雷达.2019
[4].刘泊江,韩新宇,唐龙利,沈晓美,闫然.舰船装备软件构件可靠性评估方法[J].计算机测量与控制.2018
[5].毛洪川,韩洁,胡豪,王芳.软件构件库技术研究[J].科技传播.2018
[6].王霞.软件复用与软件构件技术[J].信息与电脑(理论版).2018
[7].张立新.嵌入式计算机软件构件提取及组装技术分析[J].信息系统工程.2018
[8].陈黎明,高锋.海军作战指挥软件构件化[J].指挥信息系统与技术.2018
[9].胡启敏,薛锦云,游珍,程着.PAR平台中若干软件构件形式化验证技术研究[J].计算机工程与科学.2018
[10].孙燕,郭松超,张芮.“Java网络编程”与“软件构件与中间件”教学探索[J].实验室研究与探索.2018