基于使用剖面的软件可靠性测试用例生成方法

为了获得软件的可靠性指标,需要设计操作剖面来仿真用户实际使用软件的情况,并基于操作剖面来进行可靠性测试。传统的基于操作剖面的可靠性测试方法难以适用于航天软件,为了解决此问题,描述了一种具有层次化网络体系结构特征的使用剖面的形式化定义,阐述了构造这种使用剖面的系统化方法,给出了根据使用剖面生成用于软件可靠性测试操作序列的算法,以及基于操作序列生成可靠性测试用例的方法。提出的方法经过实验验证表明是可行的。

基于使用剖面分析的系统健壮性评测方法

为了减小健壮性评测过程中测试数量以及更准确地评估错误输入对系统的健壮性影响,提出了在传统的健壮性评测之前引入用户使用剖面分析过程,并将该过程同传统方法结合起来对系统进行健壮性评测。该过程在基准应用程序运行过程中,分别从系统调用接口层和内核层给出用户使用情况,包括函数接口发生次数和持续时间度量。根据使用剖面分析结果,以故障注入的方式进行健壮性评测。通过对具体应用程序下的系统健壮性分析,表明了该方法的有效性。

面向软件可靠性测试数据生成的剖面构造技术

软件可靠性测试是软件可靠性工程中的一项重要工作内容,通过软件可靠性测试积累的软件失效数据可以为软件可靠性的评估、验证提供重要的度量依据。针对传统的基于操作剖面的可靠性测试方法对实时嵌入式软件的适用性差、测试难以实施的情况,在操作剖面的基础上提出了一种层次化网络体系结构的使用剖面的概念,并研究了构造使用剖面的系统方法,以及根据使用剖面生成用于实时嵌入式软件可靠性测试操作序列的方法。该方法适用于实时嵌入式软件,对其它非实时软件也具有参考价值。

固体发动机典型环境载荷分析

分析了固体发动机在贮存、运输、发射等使用条件下的环境载荷,为下一步编制固体发动机环境载荷谱和试验研究提供了基础。

实时嵌入式软件可靠性测试数据自动生成方法

可靠性测试是软件可靠性工程中的一项重要工作内容。为了更好地支持可靠性测试数据的自动生成,提出了一套形式化建模方法,通过系统视图、使用类视图、剖面视图和操作描述视图,实现对被测系统的分析、可靠性测试输入建模。根据这些形式化描述信息,计算机可以自动抽取出适用于软件可靠性测试的测试数据。

星载软件可靠性测试实践

为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据的收集,最后给出了该软件的可靠性定量评估结果,表明了该方法和流程的实用性和可行性,为后续开展类似的软件可靠性测试提供实践经验。

运8系列飞机结构疲劳定寿总结

运8系列飞机结构定寿属国家“九五”重点型号科研项目,是我国首次大中型军民用运输机的结构定寿。它需要同时满足国军标和民用航空器适航条例,是一项跨学科、多领域、综合技术难度与复杂程度极高的系统工程。通过对机体结构进行疲劳定寿,给出了运8系列飞机结构的使用寿命,为型号研制积累了宝贵经验。