-
公开(公告)号：CN112817842B
公开(公告)日：2023-09-15
申请号：CN202110090910.3
申请日：2021-01-22
Applicant: 哈尔滨工业大学(威海)
IPC: G06F11/36 , G06F18/241
Abstract: 本发明属于软件测试技术领域，公开了一种不完美排错SRGM决策方法、系统、介质、设备及应用，包括：对实际测试过程与SRGM的研究本质一致性进行分析，建立分类视角下的SRGM归类集合；从矩阵分析的角度形式化描述SRGM评价与选择问题，获得加权标准化决策矩阵；建立基于明考斯基距离的双最优化排序方法，对模型的性能进行综合评价，给出SRGMs间的性能偏序关系；验证和阐释模型性能之间的排序，并进行参数敏感性分析。本发明通过在真实的失效数据集上进行实验和分析，检验所提出方法的有效性，为定量决策模型提供了有力支持。实验表明，本发明提出的双最优化排序方法MMIMMD可以较好地对模型进行多维度评估。
-
公开(公告)号：CN112817842A
公开(公告)日：2021-05-18
申请号：CN202110090910.3
申请日：2021-01-22
Applicant: 哈尔滨工业大学(威海)
Abstract: 本发明属于软件测试技术领域，公开了一种不完美排错SRGM决策方法、系统、介质、设备及应用，包括：对实际测试过程与SRGM的研究本质一致性进行分析，建立分类视角下的SRGM归类集合；从矩阵分析的角度形式化描述SRGM评价与选择问题，获得加权标准化决策矩阵；建立基于明考斯基距离的双最优化排序方法，对模型的性能进行综合评价，给出SRGMs间的性能偏序关系；验证和阐释模型性能之间的排序，并进行参数敏感性分析。本发明通过在真实的失效数据集上进行实验和分析，检验所提出方法的有效性，为定量决策模型提供了有力支持。实验表明，本发明提出的双最优化排序方法MMIMMD可以较好地对模型进行多维度评估。
-
Patent Agency Ranking
公开(公告)号：CN115391171A
公开(公告)日：2022-11-25
申请号：CN202210746599.8
申请日：2022-06-28
Applicant: 哈尔滨工业大学(威海)
IPC: G06F11/36
Abstract: 本发明属于软件故障数据识别技术领域，公开了一种故障检测率对软件可靠性影响分析方法、系统及应用。所述故障检测率对软件可靠性影响分析方法包括以下步骤：分析同类型的故障检测率b(t)形式，针对单SRGM单FDS多FDR模式、多SRGM多FDS多FDR模式，利用信息熵联合TOPSIS决策算法，得出软件故障检测率函数对应的SRGM模型的偏序排序；分析FDR对于SRGM模型的性能影响因素，对实际软件测试过程中选择出故障检测率以建立距离的SRGM，实现测试资源分配和最优发布时间。本发明对于软件可靠性建模中的参数模型选择、确定最优发布时间等具有较强的指导作用。
-
公开(公告)号：CN112783772B
公开(公告)日：2023-09-15
申请号：CN202110089560.9
申请日：2021-01-22
Applicant: 哈尔滨工业大学(威海)
IPC: G06F11/36
Abstract: 本发明属于软件分析技术领域，公开了一种软件可靠性分析方法、系统、介质、设备、终端及应用，所述软件可靠性分析方法包括：对故障总数进行分类分析，建立覆盖故障检测与修复的一般化的不完美排错模型；向排错中引入新故障现象，从故障总数增加性变化的角度建立具体化的不完美排错模型；利用4组失效数据集，验证构建的具体化不完美排错模型的性能；并利用验证后的不完美排错模型对故障总数进行分析。系统包括：分析模块；一般模型构建模块；具体模型构建模块；验证模块；软件分析模块。本发明提供了一种不完美排错下故障总数相关的软件可靠性增长模型。本发明提供的模型具有较好的性能，在拟合与预测上较为优秀，能够准确地描述软件测试过程。
-
公开(公告)号：CN115878112A
公开(公告)日：2023-03-31
申请号：CN202211430181.2
申请日：2022-11-15
Applicant: 哈尔滨工业大学
Abstract: 一种多方复杂商业协议智能合约生成系统及其生成方法，属于计算机服务技术领域。系统包括文本合同提取模块、合同建模模块、BPMN建模模块、代码生成模块、安全性检查和部署模块以及可复用智能合约代码库模块；方法如下：对多方复杂商业协议的服务合同进行分析；生成统一合同模型并表达出外层模型和内层模型的元素：将合同模型转化为能够体现多方之间交互关系的扩展BPMN流程图；将扩展的BPMN流程图与可复用的智能合约代码库形成映射，生成完整的智能合约代码；对生成的智能合约进行安全性检查和本地私链部署测试。本发明能够保证代码的安全性，提高了开发效率，减少了业务上的交流障碍，避免了手工编程造成的错误。
-
公开(公告)号：CN118764541A
公开(公告)日：2024-10-11
申请号：CN202410796780.9
申请日：2024-06-20
Applicant: 哈尔滨工业大学
IPC: H04L69/00 , H04L67/104 , G06F40/205 , G06F40/211
Abstract: 本发明公开了一种基于模型驱动的多方复杂协议上链模式分析与建模方法，所述方法包括如下步骤：步骤S1、收集、总结和归纳协议中区块链案例的上链模式；步骤S2、上链模式提取；步骤S3、构建符合模型驱动架构的多方服务协议上链模型；步骤S4、可视化工具的实现。该方法能够在系统运行时，对复杂协议文本的区块链部署需求进行分析并提取上链元素，然后根据上链元素对协议进行建模，模型符合模型驱动架构的标准，最后实现模型间的无语义丢失的自动转换，以便智能合约的开发人员能够更好的理解业务需求并减少交流障碍。
-
公开(公告)号：CN112783772A
公开(公告)日：2021-05-11
申请号：CN202110089560.9
申请日：2021-01-22
Applicant: 哈尔滨工业大学(威海)
IPC: G06F11/36
Abstract: 本发明属于软件分析技术领域，公开了一种软件可靠性分析方法、系统、介质、设备、终端及应用，所述软件可靠性分析方法包括：对故障总数进行分类分析，建立覆盖故障检测与修复的一般化的不完美排错模型；向排错中引入新故障现象，从故障总数增加性变化的角度建立具体化的不完美排错模型；利用4组失效数据集，验证构建的具体化不完美排错模型的性能；并利用验证后的不完美排错模型对故障总数进行分析。系统包括：分析模块；一般模型构建模块；具体模型构建模块；验证模块；软件分析模块。本发明提供了一种不完美排错下故障总数相关的软件可靠性增长模型。本发明提供的模型具有较好的性能，在拟合与预测上较为优秀，能够准确地描述软件测试过程。
-
-
-
-
-
-
Search Results
7
records
(took 0.024 seconds)
