一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

数据驱动自动化测试方法研究

介绍了一种数据驱动方法,用以实现自动化测试.通过对测试数据的产生及选取、控制数据调度的研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需编写脚本,只需填写测试表,即可完成全面的自动化测试.这样,即使非技术人员也能够开发测试数据,完成数据驱动自动化测试.     

必须把党的思想理论建设摆在更加突出的位置

党的思想理论建设是党和国家建设的灵魂和根本,是党和国家事业不断发展的思想保证。必须把党的思想理论建设摆在更加突出的位置。坚持用发展着的马克思主义指导新的实践。     

炮兵营射击的弹着点模拟及射击误差分析

弹着点模拟是对敌火力打击目标毁伤仿真的重要环节。在分析炮兵营射击误差构成与计算方法的基础上,研究建立了炮兵射击的弹着点散布蒙特卡洛(Monte-Carlo)仿真模型,实现了对集火射向、适宽射向、三距离射击等多种火力打击方式共同作用下的弹着点散布模拟,为目标毁伤仿真研究提供了模型支持。以此为基础,通过分析各组误差对毁伤概率的影响,发现对于炮兵营打击面散布目标来说,营共同误差是影响毁伤概率的最显著因素,应当通过提高测定目标位置和气象准备的精度减小误差以提高对目标的毁伤效果。     

Equity in genetic newborn screening

State‐level newborn screening allows for early treatment of genetic disorders, which can substantially improve health outcomes for newborns. As the cost of genetic testing decreases, it is becoming an essential part of newborn screening. A genetic disorder can be caused by many mutation variants; therefore, an important decision is to determine which variants to search for (ie, the panel design), under a testing budget. The frequency of variants that cause a disorder and the incidence of the disorder vary by racial/ethnic group. Consequently, it is important to consider equity issues in panel design, so as to reduce disparities among different groups. We study the panel design problem using cystic fibrosis (CF) as a model disorder, considering the trade‐offs between equity and accuracy, under a limited budget. Most states use a genetic test in their CF screening protocol, but panel designs vary, and, due to cost, no state's panel includes all CF‐causing variants. We develop models that design equitable genetic testing panels, and compare them with panels that maximize sensitivity in the general population. Our case study, based on realistic CF data, highlights the value of equitable panels and provides important insight for newborn screening practices.     

卫星地面站自动测试软件的“三化”设计

应用MVC设计模式,采用PIM应用架构,通过动态链接库和构件技术,对卫星地面站自动测试软件进行了通用化、系列化和组合化设计。     

舰空导弹武器系统软件靶场综合测试分析

针对舰空导弹武器系统的特点以及舰空导弹武器系统软件定型试验的现状,指出了舰空导弹武器系统软件靶场测试的必要性、特殊性。通过靶场软件测试综合试验,总结了舰空导弹武器系统软件靶场定型的试验方法。并指出了靶场软件测试的发展方向。     

线导+尾流自导鱼雷射击阵位优化研究

在目标运动要素未知的条件下,方位导引法是线导鱼雷常用的导引方法,尾流自导鱼雷的制导技术要求鱼雷必须满足一定的角度进入目标尾流,才能发现尾流并跟踪击毁目标.线导如何导引鱼雷满足进入尾流角的要求,是急需研究的问题.通过分析和仿真得出鱼雷满足进入尾流角要求时本艇阵位与目标速度和舷角之间的关系,并从技术角度对其射击阵位进行了优化分析及仿真,对线导 尾流自导鱼雷的作战使用具有一定的指导意义.     

爆炸复合接头剪切强度测试方法研究

参照正交各向异性层压复合板层间剪切强度的测试方法,提出了用于测试爆炸复合接头复合界面剪切强度的3种方法;并建立三维有限元模型,分别对3种测试方法进行模拟;最后分别对3种方法进行了测试试验.结果表明,3种试验方法均能有效测试爆炸复合接头的剪切强度,其中对称试件双切口拉伸法最适合实际应用.     

指挥军官任职培训效果评估量化指标体系研究

探讨了建立指挥军官任职培训效果评估量化指标体系应遵循的基本原则,提出了建立该指标体系的模型,运用基于主成分的因子分析方法研究了26项评估指标,确定了反映任职培训效果的5类指标类型,对指标类型的内涵进行了分析,说明建立的指标体系具有实际意义.