公开(公告)号：CN111538655B

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

申请号：CN202010276212.8

申请日：2020-04-09

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

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

IPC: G06F11/36

Abstract: 本发明属于软件测试技术领域，公开了一种软件故障检测方法、系统、存储介质、计算机程序、终端，统一的故障检测与修复框架模型；故障检测率下考虑故障检测、修复与引入的不完美排错框架模型；所获得的统一的两类不完美排错框架模型，在初始条件下，被设定五种形式，继而分别求得五种情况累积故障检测函数。本发明提出统一的故障检测模型，建立可用于实施FDR研究的单一微分方程，进而建立涵盖故障检测、修复与引入的测试模型，建立可实施FDR研究的微分方程组。通过FDR支持下的这两类可靠性模型的性能，为区分不同FDR性能带来可能，并验证了建立含有丰富测试信息的可靠性模型对于提高可靠性的重要性。

公开(公告)号：CN113395211B

公开(公告)日：2022-11-18

申请号：CN202110638488.0

申请日：2021-06-08

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

Inventor： 张兆心 ,  李宁 ,  孙源 ,  郭长勇

IPC: H04L45/745 ,  H04L45/74 ,  H04L45/121 ,  G06K9/62 ,  G06F16/29

Abstract: 本发明涉及一种基于聚类思想的路由IP定位优化方法，其解决了现有网络拓扑中路由IP定位数据库定位准确度差、准确率低的技术问题，其通过分析各省市地标间的网络探测得到各省市的路由往返时延信息，并构造地标库数据，利用时延指标计算出路由的距离，参考地标库数据从而计算出traceroute路径中路由IP实际所在的省市位置。本发明可广泛应用于通过IP地址确定网络实体的地理位置信息的场合。