-
公开(公告)号：CN114791878A
公开(公告)日：2022-07-26
申请号：CN202210348499.X
申请日：2022-04-01
Applicant: 大连海事大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于可控断言突变的Simulink软件测试方法，包括：生成测试用例组成稳定的测试用例集并对该稳定的测试用例集进行维护，将该测试用例集放入测试用例池中进行规范化检查；分别打开测试用例集的模型并检查其可用性，采用执行路径覆盖法收集模型的覆盖信息，收集模型中每个模块的输入和输出值并保存，根据变量信息合成判断条件，并依据判断条件加入选择模块，根据马尔可夫链蒙特卡罗算法采样合成多样性区域并加入选择模块不执行分支，最终获得新待测用例；将得到的新待测用例存为变体模型，采用差分测试方法比较变体模型与原始模型从而获得软件中存在的缺陷；该方法也可以有效的发现以往方法发现不了的深层次的软件缺陷。
-
公开(公告)号：CN114791878B
公开(公告)日：2024-07-12
申请号：CN202210348499.X
申请日：2022-04-01
Applicant: 大连海事大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于可控断言突变的Simulink软件测试方法，包括：生成测试用例组成稳定的测试用例集并对该稳定的测试用例集进行维护，将该测试用例集放入测试用例池中进行规范化检查；分别打开测试用例集的模型并检查其可用性，采用执行路径覆盖法收集模型的覆盖信息，收集模型中每个模块的输入和输出值并保存，根据变量信息合成判断条件，并依据判断条件加入选择模块，根据马尔可夫链蒙特卡罗算法采样合成多样性区域并加入选择模块不执行分支，最终获得新待测用例；将得到的新待测用例存为变体模型，采用差分测试方法比较变体模型与原始模型从而获得软件中存在的缺陷；该方法也可以有效的发现以往方法发现不了的深层次的软件缺陷。
-
Patent Agency Ranking
公开(公告)号：CN114225366A
公开(公告)日：2022-03-25
申请号：CN202210029237.7
申请日：2022-01-11
Applicant: 大连海事大学
Abstract: 本发明公开了一种滑雪板刹车装置，其包括双头舵机、转轴、支撑架和刹车刀，双头舵机与转轴连接，转轴端部穿过转轴底座并与支撑架连接，转轴底座固定在滑雪板的一端，支撑架的端部与所述刹车刀转动连接，在支撑架与刹车刀之间还设有刹车弹簧，通过将双头舵机和刹车刀结合设置为刹车装置，当正常状态下，刹车刀处于悬空状态，不会插入雪中影响滑行，当滑雪者无法控制滑板时，通过舵机旋转带动刹车刀插入雪中，解决了滑雪过程中因无法控制速度和方向对自己及周围人造成安全隐患的问题。
-
公开(公告)号：CN114706762B
公开(公告)日：2024-07-02
申请号：CN202210272515.1
申请日：2022-03-18
Applicant: 大连海事大学
Abstract: 本发明公开了一种基于强化学习的Simulink软件测试方法，分为两个部分：用例生成部分和用例测试部分；用例生成部分：①在测试用例库中选择一个初始模型，②将其状态特征输入至强化学习代理，③代理根据输入在动作库中选择模型下一步要执行的动作，④并将动作索引输出给模型，模型执行该动作。用例测试部分：⑤MATLAB对执行动作后的模型进行编译测试，⑥若编译不通过，则对编译错误进行修复，⑦对编译通过后的模型进行差分测试，⑧判断测试结果在功能上是否等价，若等价则认为没有发现bug，若存在差异，认为发现了bug，⑨基于测试结果，更新强化学习代理，使强化学习代理趋向于生成易触发bug的模型。
-
公开(公告)号：CN114706762A
公开(公告)日：2022-07-05
申请号：CN202210272515.1
申请日：2022-03-18
Applicant: 大连海事大学
Abstract: 本发明公开了一种基于强化学习的Simulink软件测试方法，分为两个部分：用例生成部分和用例测试部分；用例生成部分：①在测试用例库中选择一个初始模型，②将其状态特征输入至强化学习代理，③代理根据输入在动作库中选择模型下一步要执行的动作，④并将动作索引输出给模型，模型执行该动作。用例测试部分：⑤MATLAB对执行动作后的模型进行编译测试，⑥若编译不通过，则对编译错误进行修复，⑦对编译通过后的模型进行差分测试，⑧判断测试结果在功能上是否等价，若等价则认为没有发现bug，若存在差异，认为发现了bug，⑨基于测试结果，更新强化学习代理，使强化学习代理趋向于生成易触发bug的模型。
-
公开(公告)号：CN216725720U
公开(公告)日：2022-06-14
申请号：CN202220065224.0
申请日：2022-01-11
Applicant: 大连海事大学
Abstract: 本实用新型公开了一种滑雪板刹车装置，其包括双头舵机、转轴、支撑架和刹车刀，双头舵机与转轴连接，转轴端部穿过转轴底座并与支撑架连接，转轴底座固定在滑雪板的一端，支撑架的端部与所述刹车刀转动连接，在支撑架与刹车刀之间还设有刹车弹簧，通过将双头舵机和刹车刀结合设置为刹车装置，当正常状态下，刹车刀处于悬空状态，不会插入雪中影响滑行，当滑雪者无法控制滑板时，通过舵机旋转带动刹车刀插入雪中，解决了滑雪过程中因无法控制速度和方向对自己及周围人造成安全隐患的问题。
-
-
-
-
-
-
Search Results
7
records
(took 0.017 seconds)
