公开(公告)号：CN110008122A

公开(公告)日：2019-07-12

申请号：CN201910220738.1

申请日：2019-03-22

Applicant: 哈尔滨工业大学(威海)

Inventor： 张策 ,  王金勇 ,  吕为工 ,  盛晟 ,  白睿 ,  袁雨飞 ,  苏嘉尧 ,  邱忠银 ,  高天翼 ,  徐早辉 ,  孙源 ,  王瞰宇 ,  丁烨

IPC: G06F11/36

Abstract: 本发明的目的在于提供一种考虑TE与CP下的一般性不完美排错模型，本发明明确考虑到测试工作量TE(testing effort)与变动点CPs(change-points)。首先给出了考虑TE下的不完美排错时的软件测试过程建模，在此基础之上，将不完美排错的研究范围进一步扩大，分析了考虑存在CPs时的软件测试，建立了更一般性不完美排错下的软件可靠性增长模型框架。本发明的有益效果是有效地建立软件测试过程中的可靠性增长模型，更加准确地描述不完美排错情况。

公开(公告)号：CN110008122B

公开(公告)日：2022-09-06

申请号：CN201910220738.1

申请日：2019-03-22

Applicant: 哈尔滨工业大学(威海)

Inventor： 张策 ,  王金勇 ,  吕为工 ,  盛晟 ,  白睿 ,  袁雨飞 ,  苏嘉尧 ,  邱忠银 ,  高天翼 ,  徐早辉 ,  孙源 ,  王瞰宇 ,  丁烨

IPC: G06F11/36

Abstract: 本发明的目的在于提供一种考虑测试工作量与变动点下的模型建立方法，本发明明确考虑到测试工作量TE(testing effort)与变动点CPs(change‑points)。首先给出了考虑TE下的不完美排错时的软件测试过程建模，在此基础之上，将不完美排错的研究范围进一步扩大，分析了考虑存在CPs时的软件测试，建立了更一般性不完美排错下的软件可靠性增长模型框架。本发明的有益效果是有效地建立软件测试过程中的可靠性增长模型，更加准确地描述不完美排错情况。

公开(公告)号：CN112783772B

公开(公告)日：2023-09-15

申请号：CN202110089560.9

申请日：2021-01-22

Applicant: 哈尔滨工业大学(威海)

Inventor： 张策 ,  王金勇 ,  袁雨飞 ,  江文倩 ,  孙智超 ,  盛晟 ,  丁烨 ,  范苗苗 ,  李文毓 ,  温雅菲 ,  宋雯 ,  刘凯卫 ,  吕为工

IPC: G06F11/36

Abstract: 本发明属于软件分析技术领域，公开了一种软件可靠性分析方法、系统、介质、设备、终端及应用，所述软件可靠性分析方法包括：对故障总数进行分类分析，建立覆盖故障检测与修复的一般化的不完美排错模型；向排错中引入新故障现象，从故障总数增加性变化的角度建立具体化的不完美排错模型；利用4组失效数据集，验证构建的具体化不完美排错模型的性能；并利用验证后的不完美排错模型对故障总数进行分析。系统包括：分析模块；一般模型构建模块；具体模型构建模块；验证模块；软件分析模块。本发明提供了一种不完美排错下故障总数相关的软件可靠性增长模型。本发明提供的模型具有较好的性能，在拟合与预测上较为优秀，能够准确地描述软件测试过程。

公开(公告)号：CN112783772A

公开(公告)日：2021-05-11

申请号：CN202110089560.9

申请日：2021-01-22

Applicant: 哈尔滨工业大学(威海)

Inventor： 张策 ,  王金勇 ,  袁雨飞 ,  江文倩 ,  孙智超 ,  盛晟 ,  丁烨 ,  范苗苗 ,  李文毓 ,  温雅菲 ,  宋雯 ,  刘凯卫 ,  吕为工

IPC: G06F11/36

Abstract: 本发明属于软件分析技术领域，公开了一种软件可靠性分析方法、系统、介质、设备、终端及应用，所述软件可靠性分析方法包括：对故障总数进行分类分析，建立覆盖故障检测与修复的一般化的不完美排错模型；向排错中引入新故障现象，从故障总数增加性变化的角度建立具体化的不完美排错模型；利用4组失效数据集，验证构建的具体化不完美排错模型的性能；并利用验证后的不完美排错模型对故障总数进行分析。系统包括：分析模块；一般模型构建模块；具体模型构建模块；验证模块；软件分析模块。本发明提供了一种不完美排错下故障总数相关的软件可靠性增长模型。本发明提供的模型具有较好的性能，在拟合与预测上较为优秀，能够准确地描述软件测试过程。