软件测试用例生成与约简算法研究

对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率。针对该问题,提出了一种测试用例生成与约简算法。该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计。该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误。应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效。     

针对航天测控实时软件的二级AHP-Fuzzy可信性评估模型

随着航天测控系统实时软件的规模和复杂度不断增加,对此类软件可信性的评估越来越重要。然而,如何客观合理地给出一个可信性评估结论也成为新的挑战。通过对航天测控系统实时软件质量特性的分析,确定了航天测控系统软件可信性的评估指标。为了对这些指标进行客观评估,将第三方独立测试结果作为专家评判依据,采用二级AHP-Fuzzy模糊综合评判方法,使软件可信性的评估结论更客观合理。