陈振宇
- 作品数：146 被引量：117H指数：6
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金教育部人文社会科学研究基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学电子电信经济管理更多>>
- 一种基于深度图像理解的移动应用跨平台强化学习遍历测试技术
- 一种基于深度图像理解的移动应用跨平台强化学习遍历测试技术，包括交互模块，深度图像理解模块，强化学习模块。交互模块通过对apk运行中的状态进行截屏捕获，提供给深度图像理解模块，并通过强化学习模块选择动作执行，从而与移动应用...
- 房春荣 刘昱磊 张子谦 虞圣呈 恽叶霄陈振宇
- 一种基于大语言模型场景理解的脚本粒度GUI测试迁移方法
- 一种基于大语言模型场景理解的脚本粒度GUI测试迁移方法，包括LLM‑Agent场景抽取模块、视觉增强模块、脚本预处理模块和自动化探索模块。视觉增强模块包括提取图片文字信息、识别组件坐标，以降低大模型对图片的理解难度。脚本...
- 房春荣周荃邢骏洋杨泓弈李亚杰虞圣呈陈振宇
- 一种问答社区中的感知信息质量度量方法
- 互联网已经发展为一个高协作性和高互动性的社交环境，用户作为社交网络中内容的生产者和消费者，影响着网络中的感知信息质量。其中的两个因素，用户反馈和个人信誉对于感知信息质量的衡量尤为重要。本文通过定量的实证研究，探究了声誉和...
- 陈振宇何铁科 廉昊 秦泽民骆斌 李玉莹张欣
- 文献传递
- 跨模型的图形用户界面测试脚本自动修复方法
- 跨模型的图形用户界面测试脚本自动修复方法，对在旧版本图形用户界面GUI程序上录制的GUI测试脚本，针对新版本的GUI程序进行自动修复，本发明提出使用两个事件可达性模型互补的方法，以更加完整和准确的描述应用程序的GUI结构...
- 陈振宇高则宝邹云潇骆斌
- 文献传递
- 一种用于软件开发的缺陷预测方法
- 一种用于软件开发的缺陷预测方法，构建源代码依赖网络和开发者社交网络，分别记录源代码文件间的依赖关系，以及开发者间的交流协作关系。比较源代码依赖网络和开发者社交网络，将两者的不一致作为缺乏交流的指示。本发明可以检测出每个源...
- 周骏贵陈振宇张伟强张驰濮力程秀才谢佩章王婧宇
- 基于事件标记的多粒度结合安卓测试序列约减
- 2025年
- 针对安卓自动化测试工具生成的崩溃测试序列包含过多冗余事件,造成测试回放、缺陷理解与修复困难的现状,很多测试序列约减工作被提出.但目前工作仅关注应用界面状态变化而忽略了程序执行过程中内部状态变化,此外,目前工作仅在单一抽象粒度上对应用状态进行建模,例如控件粒度或活动粒度,导致约减后测试序列过长或约减效率低下.针对以上问题,提出基于事件标记的多粒度结合的安卓测试序列约减方法,结合安卓生命周期管理机制、程序静态数据流分析等对触发程序崩溃的关键事件进行标记,缩小序列约减空间,并设计了低粒度粗筛选、高粒度细约减的策略.最后,收集包含程序间交互、用户输入等复杂场景的崩溃测试序列集,在此数据集上与其他测试序列约减工作的对比评估结果也验证了所提方法的有效性.
- 郝蕊冯洋李玉莹陈振宇
- 一种基于噪音数据的机器学习模型鲁棒性评估方法
- 本发明提供的是一种基于噪音数据的机器学习模型鲁棒性评估方法，包括原始数据集处理、噪音数据获取、模型训练、模型预测、准确率下降比计算和模型鲁棒性评估。原始数据集处理包括收集百分百标签正确的原始数据集，并采用10次10‑折交...
- 房春荣龚爱王栋陈振宇李玉莹
- 一种基于步骤提示的安卓众包测试反馈方法
- 一种基于步骤提示的安卓众包测试反馈方法，其特征是通过众包测试平台Kikbug的驱动程序对测试过程的记录，建立用户测试行为数据库；在测试过程当中，收集当前测试人员的测试步骤信息，和数据库中已记录的、已触发异常的操作信息对比...
- 陈振宇张欣房春荣张智轶李玉莹
- 基于SAT的软件验证
- 2008年
- 线性时态逻辑SE-LTL是具有高表达力和基于状态、事件推理能力的并发系统规约语言.目前,SE-LTL的模型检测算法依然是显式的,状态空间爆炸是检测的主要困难.对SE-LTL引入一种有界模型检测技术,该技术将SE-LTL模型检测归约为命题公式的可满足性问题,避免了基于二叉图方法中状态空间的快速增长,加速了验证过程.对SE-LTL-X进一步在该技术中集成stuttering等价技术.实验结果表明该集成有效地降低了验证时间.
- 周从华陈振宇鞠时光
- 关键词：SAT形式化分析
- 一种基于排序学习的代码漏洞误报检测方法
- 一种基于排序学习的代码漏洞误报检测方法，其特征是结合代码漏洞静态分析工具findbugs获取标记正报和误报漏洞报告以及对提取相应报告的软件度量准则；然后根据pair‑wise的排序学习模型构建一个代码漏洞误报检测模型；随...
- 房春荣葛修婷葛宇陈振宇
