[发明专利]基于HFSQM排队模型考虑排错资源局限性的构件软件可靠性分析方法

摘要

基于HFSQM排队模型考虑排错资源局限性的构件软件可靠性分析方法，本发明涉及软件可靠性分析方法，它解决了实际中不可能拥有无限的排错资源，当所有排错人员都被占用时，新检测到的故障必须排队等待的缺陷。实现由三步组成：资源分配，故障检测过程和故障排除过程。资源分配为HFSQM中等待排错资源的故障分配合适的资源。故障检测过程基于构件软件应用的运行剖面对整个应用执行集成测试。故障排除过程对HFSQM中占有排错资源的故障进行修复。这能为软件发布和测试资源的合理配置提供依据，使软件既能按计划准时发布，又能满足用户的可靠性需求，降低软件的总成本。因此，基于HFSQM的仿真方法对于构件软件测试，进一步对于软件市场决策具有着重要指导意义。

主权项

基于HFSQM排队模型考虑排错资源局限性的构件软件可靠性分析方法，其特征在于它的仿真过程中，每次执行采取的行动包括如下三个步骤：资源分配的步骤ALLOCATING，具体过程为：HFSQM中等待排错资源的故障分配合适的资源；首先检查每个FSQ系统中有没有空闲的排错资源，以及等待队列中有没有故障在等待；如果条件满足，给等待队列队首的故障分配资源，并将其移到排错队列的队尾；以上过程重复进行，直到条件不满足为止；故障检测过程的步骤DETECTING，具体过程为：基于软件应用的运行剖面对整个应用执行集成测试；在执行当前构件curr_comp之前，首先根据运行剖面P确定下一个要执行的构件next_comp，然后由curr_comp和next_comp确定curr_comp本次执行所需要的时间time_this_visit；如果curr_comp执行过程中发生失效，则执行如下操作：将检测到的故障用结构体fault_info进行封装，然后根据排错策略放入相应的等待队列中，在下一个时间步到来之时参与排错资源分配；更新相应的计数器；设置curr_comp等于最后一个构件n，以便于在下一个时间步到来之时重启系统；中断对curr_comp的执行；curr_comp执行完成之后，检查curr_comp是否等于n，若终止应用一次执行正常完成或发生失效时，则curr_comp等于n；当curr_comp等于n，需要重新启动系统，通过设置curr_comp等于构件1来实现；否则curr_comp不等于n；以上过程重复执行，直到整个应用执行集成测试完成；故障排除过程的步骤CORRECTING，具体过程为：对HFSQM中占有排错资源的故障进行修复；定义变量f指向排错队列中的每个故障；如果f的状态是CORRECTING，表示还未被排除，则执行修复；利用函数occur()判断修复是否完成；如果修复完成，更改f的状态为CORRECTED，释放排错资源，累加相应的计数器；如此重复，直到完成对HFSQM中所有排错队列的遍历。以上三个步骤重复进行，直到到达时间t停止执行，然后返回在这段时间内修复的总故障数。