-
公开(公告)号:CN118092918B
公开(公告)日:2024-07-02
申请号:CN202410530089.6
申请日:2024-04-29
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
IPC: G06F8/38 , G06F16/958
Abstract: 本发明提供了一种基于线框图转化的网站前端开发方法、装置和存储介质,涉及软件工程技术领域,包括:接收图像数据,将图像数据中的有效信息转换为便于语言模型理解的内容;调用大型语言模型并采用提示工程技术优化输入,得到初稿文件;同时生成多个初稿文件,对初稿文件进行评分和筛选;根据接收到的自然语言输入对最优初稿文件进行修改;调用大型语言模型,得到需求对应的功能代码;基于代码注入算法将功能级代码注入到初稿文件的对应位置,实现页面更新;在多组单一页面转化完成后,通过页面路由分配算法和窗口跳转代码注入实现多个单一页面的对接,生成完整的网站前端页面。降低了网站前端开发工作量,提高了开发效率。
-
公开(公告)号:CN120029629A
公开(公告)日:2025-05-23
申请号:CN202510494822.8
申请日:2025-04-21
Applicant: 南开大学
IPC: G06F8/41
Abstract: 本发明提供了一种移动应用摄像头资源抢占检测方法和系统,涉及软件工程,包括:通过Soot框架对应用程序的APK文件进行静态解析;确定目标方法,遍历方法列表中的所有方法定义,比对方法名以及参数签名是否与目标方法匹配,将匹配到的方法标记为候选方法;获取候选方法的控制流图,遍历控制流图中的所有路径,检测路径中是否包含与摄像头资源管理相关的API调用,检测路径中条件语句的逻辑分支是否存在逻辑判断缺失或逻辑错误;将不符合资源管理逻辑、线程状态异常或权限检查逻辑异常的摄像头API标记为潜在问题点。本发明能够准确检测到多视窗环境中摄像头资源抢占问题,有助于发现潜在风险,填补了现有技术的空白。
-
公开(公告)号:CN118656059A
公开(公告)日:2024-09-17
申请号:CN202411131546.0
申请日:2024-08-19
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种边端设备误触管控检测方法、装置和存储介质,涉及软件工程技术领域,包括:基于页面遍历算法检测各个页面的可访问性;根据页面相似度判定每一个新页面是否需要测试;对当前页面中的控件进行筛选,以确定待检测控件;对待检测控件的中心点进行模拟点击,生成中心点击结果;在距待检测控件的中心点一定距离的控件边缘处进行模拟点击,生成边缘点击结果;将边缘点击结果与中心点击结果进行比较,以确定待检测控件是否存在可访问性问题。本发明结合了静态检测,动态检测,通过模拟用户操作后的资源变化和页面变化来判断待检测控件是否存在可访问性问题。以便为开发人员提供更可靠的可访问性评估和改进建议。
-
公开(公告)号:CN118656125B
公开(公告)日:2024-11-15
申请号:CN202411146900.7
申请日:2024-08-21
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种云边端协同检测克隆代码的方法、装置和存储介质,涉及软件工程技术领域,包括:对两个待比较的可执行文件进行解析筛选出疑似克隆代码对;进行符号执行,获取路径约束特征,进行符号执行期间遵循如下策略:当符号执行运行在某个节点的时间超过第一阈值后,舍弃此分支;当符号执行运行在某个分支时,检测到占用内存空间资源超过第二阈值,舍弃此分支;当符号执行遇到循环结构或者递归调用结构时,只运行一次循环和递归调用的内部代码,再跳出循环和递归;使用特解判断疑似克隆代码对的约束表达式是否等价。本发明通过符号执行技术获取二进制代码新的代码特征,路径约束,从而实现代码语义克隆检测,提升了代码克隆检测准确度。
-
公开(公告)号:CN118656059B
公开(公告)日:2024-10-25
申请号:CN202411131546.0
申请日:2024-08-19
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种边端设备误触管控检测方法、装置和存储介质,涉及软件工程技术领域,包括:基于页面遍历算法检测各个页面的可访问性;根据页面相似度判定每一个新页面是否需要测试;对当前页面中的控件进行筛选,以确定待检测控件;对待检测控件的中心点进行模拟点击,生成中心点击结果;在距待检测控件的中心点一定距离的控件边缘处进行模拟点击,生成边缘点击结果;将边缘点击结果与中心点击结果进行比较,以确定待检测控件是否存在可访问性问题。本发明结合了静态检测,动态检测,通过模拟用户操作后的资源变化和页面变化来判断待检测控件是否存在可访问性问题。以便为开发人员提供更可靠的可访问性评估和改进建议。
-
公开(公告)号:CN118092918A
公开(公告)日:2024-05-28
申请号:CN202410530089.6
申请日:2024-04-29
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
IPC: G06F8/38 , G06F16/958
Abstract: 本发明提供了一种基于线框图转化的网站前端开发方法、装置和存储介质,涉及软件工程技术领域,包括:接收图像数据,将图像数据中的有效信息转换为便于语言模型理解的内容;调用大型语言模型并采用提示工程技术优化输入,得到初稿文件;同时生成多个初稿文件,对初稿文件进行评分和筛选;根据接收到的自然语言输入对最优初稿文件进行修改;调用大型语言模型,得到需求对应的功能代码;基于代码注入算法将功能级代码注入到初稿文件的对应位置,实现页面更新;在多组单一页面转化完成后,通过页面路由分配算法和窗口跳转代码注入实现多个单一页面的对接,生成完整的网站前端页面。降低了网站前端开发工作量,提高了开发效率。
-
公开(公告)号:CN118656125A
公开(公告)日:2024-09-17
申请号:CN202411146900.7
申请日:2024-08-21
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种云边端协同检测克隆代码的方法、装置和存储介质,涉及软件工程技术领域,包括:对两个待比较的可执行文件进行解析筛选出疑似克隆代码对;进行符号执行,获取路径约束特征,进行符号执行期间遵循如下策略:当符号执行运行在某个节点的时间超过第一阈值后,舍弃此分支;当符号执行运行在某个分支时,检测到占用内存空间资源超过第二阈值,舍弃此分支;当符号执行遇到循环结构或者递归调用结构时,只运行一次循环和递归调用的内部代码,再跳出循环和递归;使用特解判断疑似克隆代码对的约束表达式是否等价。本发明通过符号执行技术获取二进制代码新的代码特征,路径约束,从而实现代码语义克隆检测,提升了代码克隆检测准确度。
-
-
-
-
-
-