SystemView在通信系统仿真中的应用研究

ＥＬＡＮＩＸ公司提供的ＳｙｓｔｅｍＶｉｅｗ是一个完整的集动态系统设计,仿真和分析于一起的可视化ＣＡＤ软件。简单介绍了ＳｙｓｔｅｍＶｉｅｗ的功能和特点,重点探讨了该软件在通信系统设计,仿真和分析中的主要应用,并给出了应用实例。     

虚拟无线电抗干扰通信系统

本文在软件无线电概念基础上,讨论了虚拟无线电的思想和虚拟无线电的性能,虚拟无线电用于抗干扰通信系统的可能性和前景,最后提出了跟踪无线电的几点建议。     

电子表格软件LOTUS1—2—3

LOTUS1-2-3是莲花公司80年代初开发的最早的电子表格软件,是电子表格之母,目前有DOS版本和WINDOWS版本两种、随着WINDWS平台的日益普及,基于WINDOWS的电子报表软件相继上市,如Microsoft Excel、Quattro Pro、Lotus Release、Lo-tus Impro等,这些软件十分相似,学好Lotus可以很快地掌握这些软件.本文对该软件的概念、性能、使用方法等作以分析研讨.     

防空导弹武器系统软件质量控制的环节

一些典型的武器系统软件实例表明,影响防空导弹武器系统作战成败的关键因素之一是其软件（尤其是作战软件）的质量。如何确保这类关键软件的质量,一直是困扰着武器系统决策人员、软件人员和质量管理人员的一个大问题,也是软件生产中的一个薄弱环节。在型号软件的开发过程中,经初步的实践认为软件验证与确认、软件测试、软件评审和软件管理是控制软件质量的４个重要环节。在简要描述防空导弹武器系统软件属性的基础上,重点阐明每个环节的作用、意义、实施方法和要求等。     

数据库应用开发中的用户管理

数据库应用的软件开发要解决用户管理问题,本文阐述其设计原则并介绍一种当用户数较少时的用户管理办法。     

校园网设计方案

本文讨论了校园网设计的目标、原则及理论依据,并给出了INTERNET校园网与METNET校园网的设计方案。     

海军数据库结构软件重用的关键因素

软件重用不仅可以节省海军C~4I项目的开发成本、加快系统研制速度,而且可以提高系统的互操作性和质量。本文介绍了美国海军在开发OSS(作战支持系统)过程中使用海军情报数据库、舰队指挥中心作战管理等已有的C~4I项目中的可用程序、数据和数据结构,按照一定的技术标准把它们综合到新系统中的实现方法,并分析了软件重用技术的作用和优点。     

火控系统软件的一种测试方法

基于火控系统的“黑箱”特征,提出了一种软件测试模型,并由此建立了有关的评价方去。从而可为火控系统软件测试的定量评价提供依据。     

C~3l系统软件质量保障技术研究

针对C~3I 软件系统设计实现中所存在的问题,文章重点对软件质量保障方法进行了分析研究,同时提出一种简化任务评审阶段的软件质量综合保障建议。对从事C~3I 系统工程软件质量保障的人员可供参考。     

混合模糊测试中混合符号执行优化策略评估与分析

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。