共查询到20条相似文献,搜索用时 140 毫秒
1.
2.
3.
4.
实时嵌入式软件系统测试需求建模研究 总被引:2,自引:0,他引:2
使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度.UML状态图具有形式化特征,适合复杂系统详细行为的描述.本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法.该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等.并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述.基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例.作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点. 相似文献
5.
简要介绍217+可靠性预计方法,阐述了元器件级、系统级进行可靠性预计的流程,并对217+方法的计算模型进行概要性的描述。 相似文献
6.
对电子战(EW)系统在完成作战任务中的作用和使用效果进行定量描述和测试、评估,在EW系统的论证、研制、采办、应用过程中具有十分重要的地位。对于EW系统这样的大型动态复杂系统,计算机建模和仿真的方法是全面分析和评估其动态行为效能的重要手段。综述了计算机仿真在EW系统评估中的应用,把EW系统的仿真评估分为三个层次:工程级、系统级和任务级。并从EW的特点出发,提出了EW系统仿真模型中的三个重要的类型:基于离散事件的事件模型,基于数据描述的数据模型,基于信号描述的信号模型。提出根据这三个模型的标准规范建立系统数学模型和设计EW系统仿真模型构件的概念,用于构筑大型复杂的EW系统评估的仿真环境,并利用计算机技术,走发展和利用综合仿真的道路。 相似文献
7.
8.
低轨星座系统业务建模与仿真 总被引:2,自引:0,他引:2
低轨星座系统组网复杂,业务类型多且动态性强。为对系统业务进行分析和估计,首先 构建其业务建模与仿真框架,其中业务模型分为业务源模型和网络模型,业务源模型采用分 层触发方式实现对网内用户行为的精确描述,网络模型采用模块化方式以增强可扩展性。在 此基础上,针对“天基+地基”模式的星座系统建设方案,对境外业务进行分析,基于业务 模型设计仿真场景,通过仿真获得不同用户数下星际链路所需承载的业务量,较好地解决 了卫星星际链路有效载荷的重量分配问题,为低轨星座系统的设计和性能评估提供参考。
相似文献
相似文献
9.
针对基于多Agent的航天自主运行系统,梳理了模型描述的内容和要求.为了满足多Agent之间协同规划以及Agent内部自主规划的要求,提出了活动和方案两级的规划系统描述模型.在活动一级建立与时间、资源的约束关系,实现Agent之间的规划分解、交互协商.以方案描述系统组成部分的运行状态,并通过方案衔接约束和能量参数的定义,使Agent具有局部优化和适应变化的能力.使用选择性约束和优先级等参数,使规划活动更为灵活和鲁棒.Agent知识描述语言使用类似C++的语法,使用预定义类和函数来实现规划知识的描述,方便实现过程性运算,易于扩展.通过规划模型描述的实例验证了描述语言的描述能力.模型语言的处理程序已经应用于仿真系统,可以针对应用场景进行仿真. 相似文献
10.
11.
12.
13.
14.
统一建模语言UML及其应用 总被引:5,自引:0,他引:5
UML是面向对象的统一建模语言,是面向对象领域的重要成果。它的内容包括UML语义和UML表示法两个部分。本文简要介绍了UML语义,表示法的内容,并总结了它在某些重要领域的应用。 相似文献
15.
复杂系统仿真概念模型研究进展及方向 总被引:6,自引:0,他引:6
介绍了仿真领域里的概念模型的发展过程及研究现状,针对复杂系统仿真提出了复杂系统仿真概念模型,研究了复杂系统仿真概念模型的内涵和评价建模方法优劣的标准,探讨了关于复杂系统仿真概念模型的建模语言、描述方法、建模过程、验证方法和辅助工具五个研究方面的研究方法及方向。 相似文献
16.
运载火箭飞行测量数据误差分析的小波方法 总被引:3,自引:0,他引:3
以提高火箭飞行跟踪测量数据处理精度为目的。结合弹道处理的实际,将小波理论运用于火箭弹道测最数据的分析。本文首先针对火箭飞行弹道测量数据的特征,应用小波理论建立了弹道测量数据事后误差分析处理方法的杠架模型,创建了雷达测量数据诸元的多项式和B样条时序分析模型,提出并验证了雷达测量数据的随机分布模型;其次,对受到噪声干扰时间段数据模型出现严重病态的情况,建立了基于多项式拟合和B样条函数选取有限时间段拟合的火箭弹道建模和预测的二次建模方法;最后,利用所提出的分析处理方法对某次任务两个测量站雷达弹道测量数据的分析,处理效果显著,精度理想。实验验证了上述方法是一种理想的弹道测量数据事后误差分析处理方法。 相似文献
17.
应用UML建模航天测试数据库需求的过程 总被引:1,自引:0,他引:1
为有效地将面向对象方法及相应建模技术在航天软件应用中工程化,本文通过航天测试数据库开发实例,阐述了运用UML对面向对象软件进行需求定义和需求分析的过程。以该需求展开的设计及实现在型号试验中得到较好的验证,同时此过程方法对其他面向对象软件的需求开发也起到一定借鉴作用。 相似文献
18.
19.
20.
霍尔电推进长寿命试验台测控系统研制 总被引:2,自引:0,他引:2
针对霍尔电推进长寿命试验台的测控需求,提出并详细论述了IPC+DAQ2205+PCI1721的测控系统硬件和Delphi7+SQL的测控系统软件。采用基于PCI总线的高性能数据采集卡DAQ2205和模拟控制量输出卡PCI1721完成测控系统的数据采集和模拟控制量的输出控制。采用多线程的程序设计架构实现测控系统多任务和快速响应的需求。测控系统实际运行测试表明其测控精度、响应速度、可靠性和人机交互友好性等方面都能很好地满足霍尔推力器长寿命试验的具体要求。 相似文献