摘要：为了提高航天软件测试的效率和覆盖率,增加航天软件测试的有效性,提出了一种基于需求模型的软件测试用例设计方法。针对航天软件测试的特点,该方法采用从用例层深入至步骤层的测试优化策略。首先,基于元建模方法定义了一种测试需求模型;通过建立模型,将测试需求加以拆分,获取了测试需求之间的先后依赖关系以及测试需求与测试步骤之间的对应关系。然后,基于测试需求模型,构建了测试需求的路径图,进而通过对图的遍历获得了测试用例。最后,将该方法用于工程实践进行了实验验证。验证结果表明,该方法有效保证了测试活动的充分性和有效性,降低了测试用例约简的风险。与不约简的测试方法相比,该方法减少测试工作量达18%,减少测试用例数量为40%以上,软件测试的执行时间也减少了40%以上,在满足需求覆盖率的同时,有效提高了测试效率。

摘要：在激光角度欺骗仿真系统的需求分析和概要设计阶段,使用基于模糊故障模式、影响及危害性分析(FMECA)框架的分配法对该系统软件可靠性分配。首先建立影响因素集、评价集合;然后基于FMECA框架进行模糊综合评价;再利用层次分析法(AHP)得到权重集;最后通过量化手段得到各子系统的不可靠系数并将它们转化为平均无故障时间(MTBF)。最终得到的可靠性指标符合专家评估和类似软件系统的可靠性分配结果。

摘要：为提高触发旋转火花开关的稳定性和可靠性,研制了一套输出电压及频率可调的高压脉冲触发系统。该系统应用多脉冲触发模式,采用可调直流电源和储能电容作为能源系统,利用半导体开关器件绝缘栅双极型晶体管(IGBT)作为主开关控制放电周期和脉冲宽度,由数模混合电路构成信号源控制IGBT的通断,经过高压脉冲变压器在负载上获得需要的高压脉冲。实验结果表明,该系统在500 Hz的重复频率下能连续稳定地输出高于38 kV的高压重频脉冲,脉冲宽度为20μs,能稳定触发旋转火花开关。通过多脉冲触发的应用,提高了触发系统的可靠性和稳定性、减小了触发系统的体积和重量。

摘要：为进一步满足有条件的隐私保护的需求,在保护安全性和研究椭圆曲线上双线性映射的基础上,设计了群签名方案,提出了一种新的基于位置信息的隐私保护认证协议。对提出的协议进行了详细的安全分析和性能分析。分析表明,该协议需要更少的OBU存储空间、消息验证时间以及更高的验证成功率。