基于UML的机动工程傈障决策支持系统概念建模

构建准确清晰的概念模型是开发机动工程保障决策支持系统的基础。运用UML用例图建立了系统用户、系统管理员的功能需求模型,描述了数据查询、任务与工程措施分析、重点任务分析等功能;运用UML类图描述了机动工程保障决策实体类以及它们彼此间的关系;运用UML顺序图描述了工程保障决策过程。     

基于AUML的装备维修保障系统建模

AUML(Agent Unified Modeling Language)是一种基于扩展UML的多Agent系统建模方法。针对当前基于Agent的装备维修保障系统建模存在的不足,尝试采用AUML技术来实现对装备维修保障系统的建模。通过组织目标分析,建立了系统的角色模型,采用Agent类图和扩展的UML顺序图分别建立了装备维修保障系统的静态模型和动态模型,较好地描述了系统中各Agent的结构及其交互关系。     

某型导发架通用测试系统软件复用性设计

测试软件的复用性是摆在测试界面前亟待解决的重要问题。运用统一建模语言(Unified Modeling Language,UML)对测试软件进行建模,包括:测试系统的类图、软件功能分解、功能子系统的上下文模型、测试软件需求特征树以及软件功能子系统的顺序交互视图。在Visual C++6.0环境中,采用"应用程序框架+可复用构件"开发方式,实现了基于可复用构件的某型导发架测试系统应用软件组装,成功解决了导发架测试领域内同一系列产品间测试软件的可复用问题。     

基于平台支撑流程驱动的军用软件测试过程实施

为了解决在军用软件测试过程中各项活动的生命周期过度依赖人工驱动的问题,在相关的国/军标指导下,基于军用软件测试和项目管理相关技术和理论,设计了一种基于平台支撑流程驱动的军用软件测试过程实施模型.该模型有利于在平台支撑下军用软件测试过程的自动化实施,可以提高测试效率和降低测试成本,提升军用软件测评实验室的管理能力,在军民融合的大背景下提高军费使用效率.     

军事虚拟训练系统关卡测试用例设计与优化

测试用例的数量和质量决定军事虚拟训练系统软件测试的成本和有效性。针对军事虚拟训练系统软件测试随意性较强,测试效率不高的问题,定义了军事虚拟训练活动图形式化图形符号的语法与语义,在此基础上提出了基于形式活动图的军事虚拟训练关卡测试用例设计方法,通过测试用例优化对生成的测试用例集进一步的合并简化得到最小测试用例集,通过实例对提出的基于形式活动图的军事虚拟训练关卡测试用例设计与优化方法进行了应用说明。     

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

基于UML的作战系统描述方法

在仿真的具体实现过程中,系统描述是其中的关键步骤.分析了利用统一建模语言UML对系统进行描述的方法和步骤,并以炮兵群(团)作战系统为例,给出了UML中的用例图、类图、活动图以及协作图对系统进行描述的方法.结果表明利用UML进行系统描述,描述过程完整,易于理解和操作.     

面向对象软件测试的策略

简要介绍了面向对象中的类、继承、封装等机制给软件测试带来的影响,分析了面向对象测试的特殊性,最后探讨了面向对象软件测试的层次和各层测试中采取的策略。     

武器系统软件靶场测试方法

从软件测试在软件开发过程中的作用出发,阐述了软件测试在武器系统研制试验与鉴定过程中的重要地位,指出武器系统在靶场进行试验过程中,对武器系统软件进行系统测试的重要性。根据靶场的实际条件和武器系统在靶场进行试验时武器系统软件具有的特点,基于现代软件测试理论和软件测试方法,研究探讨了在靶场这一特殊的环境下对武器系统软件进行系统测试的试验方法和进行测试的系统步骤,对武器系统软件的靶场测试具有重要的指导意义。     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的.软件的测试性分析与设计是分析软件测试的复杂性、提高软件测试性的基本方法.提出了软件测试性的基本概念、分析与计算方法,以及软件测试性设计的基本思路.这对于高可靠性软件--特别是武器装备软件的设计具有指导意义.     

基于UML的兵力机动辅助决策软件设计

首先简要介绍了UML的建模体系,然后在使用UML对兵力机动辅助决策软件进行功能需求分析的基础上,进行了问题领域分析,建立了软件的静态和动态模型,并将该软件系统的各种要素、事件和活动,分别在时间和空间上进行了描述,方便开发人员之间的交流,为系统的分析、设计、维护及扩展提供了有利的支持,为兵力机动辅助决策软件系统的研制奠定了基础.     

基于UML的作战信息交换建模

简要介绍了统一建模语言UML(Unified Modeling Language)的基本特点和主要内容,给出了基于UML的作战信息交换建模过程,对常用的静态模型和动态模型及其应用进行了分析,结合营进攻战斗实例进行了基于UML的作战信息交换建模。     

天基信息支援下装备保障系统需求模型

提出了用基于本体和UML的需求分析方法来建立天基信息支援下装备保障系统需求模型;建立了天基信息支援下装备保障系统需求本体元模型、语义模型并给出了建模算法;以天基信息支援下机步师装备保障系统为案例,依次建立其装备保障角色关系模型、装备保障活动模型和装备保障信息模型,然后用UML的表示方法对本体模型进行描述,详细阐明了基于本体与UML建立需求模型的方法和过程。     

基于UML的装备保障指挥控制工作流模型

为优化和描述装备保障指挥控制,提出将UML与工作流技术应用于装备保障指挥控制建模的方法,并从过程视图、组织视图、资源视图和信息视图4个方面给出了装备保障指挥控制工作流模型实例。     

基于UML的航天发射指挥控制软件建模研究

指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。     

三维模型大尺度坐标测量辅助设计与评估方法

针对大尺度产品三维模型坐标测量信息缺乏和面向任务坐标测量结果质量评价困难的问题,引入新一代产品几何量技术规范(GPS),提出了基于CATIA二次开发技术的坐标测量辅助设计方法,设计了CAD与CMM集成的XML数据结构,建立了坐标测量数据的UML模型;实现了符合新一代GPS要求的测量方案脚本化描述,开发了部分数据处理算法;提出了基于Monte Carlo方法的坐标测量不确定度评估方案和流程。基于以上技术开发了基于三维模型的大尺度坐标测量设计与评估系统并应用于飞机装配中的部件位姿测量,结果表明,设计的测量方案能够满足飞机柔性装配对接的要求,验证了上述方法的有效性。     

基于STD的运行时系统研究与测试软件可移植性的实现

分析了IEEE1641信号与测试定义标准的层次结构,利用UML建模工具对该标准中的基本信号组件和测试信号框架进行了静态和动态建模,在此基础上分析了STD与ATML的关系,研究了基于该标准的运行时系统实现方法,实现了测试软件的可移植性。     

军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。     

UML在水下输送艇指挥控制系统分析中的应用

在对水下输送艇指挥控制系统进行需求描述的基础上,遵循统一建模语言UML系统分析的一般过程,分别建立了系统的用例模型、静态模型、行为模型、交互模型和实现模型,并对所建模型逐一进行了测试,测试结果表明了该模型建立的正确性,为下一步系统软件的设计和实现奠定了基础。     

基于TCP/IP协议栈构建的弹上飞控软件评测与验收系统的硬件实现

基于TCP/IP协议栈构建了弹上飞控软件评测与验收系统,详细描述了TCP/IP协议栈在该系统中的应用。