Java程序度量工具的实现及案例分析

介绍了面向对象度量技术,给出针对Java语言的McCabe,Halstead和WMC复杂度的定义,提出了一种新的面向Java语言的度量工具的实现方法,并且通过实例分析说明利用该工具度量Java程序,某些度量值高的模块逻辑复杂、工作量大、易错且难维护,从而引导测试人员重点测试这些模块,同时也使开发人员关注它们,仔细检查程序逻辑,进行合理优化,使整个程序的复杂度降低.确凿实验数据表明,软件度量对改进软件质量具有很大实用价值.本工具采用以下度量标准度量Java程序:针对继承复杂性的DIT(Depth of Inheritance Tree)和NOC(Number Of Children)复杂度;针对模块复杂性的McCabe度量法、Halstead软件科学度量和WMC(Weighted Methods per Class)复杂度;针对类间耦合性、聚集性的RFC(Response for a Class)度量法.每种复杂度从不同方面、不同层次度量Java程序,从而有效全面的评价软件质量,揭示可能隐藏的错误.     

软件安全性设计常见问题的思考

代码实现过程中存在访问权限以及使用环境变量、加载库、printf/wprinft函数、缓冲区作写操作的C函数、string类中data函数、vfork函数等的安全性问题,对这些无法通过测试手段发现的问题提出相应的解决措施。     

基于软件定义的航天器分布式电源系统设计

针对电源系统架构灵活性的需求,提出了一种基于软件定义智能功率单元的可重构航天器分布式电源系统设计。给出了系统的分布式架构,采用了一种可软件定义的标准功率单元实现所有发电单元、储能单元的分布式接入。智能功率单元可以通过星载计算机软件定义工作模式,满足不同单元的接入需求。通过搭建分布式电源系统仿真模型,对不同故障情况进行了验证,结果表明:分布式电源系统的可重构控制策略,实现了电源系统高可靠运行。最后,对提出电源系统设计的优势进行了总结。     

基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

试验

JASSM导弹通过飞行试验完成软件验证 洛克希德。马丁公司研制的联合防区外空对地导弹（JASSM）最近在新墨西哥州的白沙导弹靶场成功完成产品验证测试（PVT）。     

宽带高性能SMA匹配负载的研制CSCD

本文介绍一款高性能SMA匹配负载的设计、制作及测试。匹配负载制作难点在于高性能微波电阻选型、过渡段匹配设计及电阻段外导体渐进线设计。本文应用CST仿真软件对产品结构进行整体仿真,优化得到合理结构。仿真中应用TDR模块"看见"结构找到不匹配点。产品测试达到设计目标:DC^18GHz,驻波比小于1.07。测试结果验证设计方法有效性。     

μC/OS-Ⅱ操作系统在飞机座椅电源模块软件设计中的应用

基于座椅电源模块的实时性需求,在产品软件设计中引入μC/OS-Ⅱ操作系统,并对基于μC/OS-Ⅱ操作系统的软件设计进行了详细论述,包括软件总体设计、μC/OS-Ⅱ操作系统移植及任务优先级的划分,并对软件设计进行了验证,验证结果表明,该产品软件具有很好的实时性和稳定性。     

试飞驾驶技术评价方法研究

通过分析以往试飞驾驶技术评价方法中出现的问题,以典型的俯仰倍脉冲试飞动作为研究对象,将整个动作过程分为三个阶段,提出了针对每个动作阶段的评价标准以及整个试飞驾驶动作的评价算法,并在此基础上开发了驾驶动作评价软件,最后在地面模拟器上对评价软件的效果进行了验证,结果表明该方法能够客观地评价试飞驾驶技术水平,可以推广到其他试飞驾驶动作的评价上。     

LENS风洞试验返回器模型气动热特性模拟

国家数值风洞高超声速流动模拟软件HyFLOW的研制对打破国外同类软件的技术壁垒具有重要意义。与国外DPLR软件进行了对比研究，同时系统介绍了HyFLOW软件求解器的数值方法、物理化学模型以及壁面催化特性计算模型等主要方法，采用典型算例对有限催化模型进行了数值验证，最后基于LENS风洞试验146 mm返回器标模外形开展了高超声速气动热特性数值模拟。研究结果表明，HyFLOW软件在高超声速热化学非平衡流动模拟与评估方面的气动力计算精度高，与国外同类软件DPLR相当，同时其壁面催化条件下的气动热计算精度可靠，可信度高。