您的位置： 专家智库 > >

陈振宇

作品数：125 被引量：103H指数：6
供职机构：南京大学更多>>
发文基金：国家自然科学基金教育部人文社会科学研究基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术理学电子电信经济管理更多>>

合作作者

文献类型

  • 97篇专利
  • 19篇期刊文章
  • 6篇会议论文
  • 2篇科技成果
  • 1篇学位论文

领域

  • 46篇自动化与计算...
  • 3篇理学
  • 2篇电子电信
  • 1篇经济管理
  • 1篇文化科学

主题

  • 26篇测试用例
  • 17篇用户
  • 14篇代码
  • 13篇软件测试
  • 10篇图像
  • 10篇相似度
  • 8篇源代码
  • 8篇自动化
  • 8篇网络
  • 8篇聚类
  • 7篇语句
  • 7篇神经网
  • 7篇神经网络
  • 7篇脚本
  • 7篇测试脚本
  • 6篇电子商务
  • 6篇商务
  • 5篇电子商务网
  • 5篇电子商务网站
  • 5篇页面

机构

  • 117篇南京大学
  • 8篇东南大学
  • 4篇江苏大学
  • 2篇计算机软件新...
  • 2篇江苏苏测软件...
  • 2篇信息技术有限...
  • 1篇北京大学
  • 1篇上海交通大学
  • 1篇苏州大学
  • 1篇连云港师范高...
  • 1篇深圳铯敏发科...

作者

  • 125篇陈振宇
  • 40篇房春荣
  • 19篇赵志宏
  • 15篇何铁科
  • 14篇刘嘉
  • 14篇徐宝文
  • 10篇张智轶
  • 9篇冯洋
  • 7篇祁奇
  • 6篇邹云潇
  • 6篇骆斌
  • 6篇高则宝
  • 5篇惠成峰
  • 5篇张欣
  • 4篇吴清
  • 4篇严莎莉
  • 4篇王维清
  • 4篇杨瑞
  • 4篇章宸
  • 4篇王栋

传媒

  • 4篇软件学报
  • 3篇中国计算机教...
  • 2篇计算机研究与...
  • 2篇东南大学学报...
  • 2篇计算机与数字...
  • 2篇中国科学：信...
  • 2篇2007全国...
  • 1篇情报科学
  • 1篇科学通报
  • 1篇计算机应用
  • 1篇南京大学学报...
  • 1篇计算机科学
  • 1篇山东大学学报...
  • 1篇中国图象图形...

年份

  • 2篇2024
  • 15篇2023
  • 14篇2022
  • 7篇2021
  • 13篇2020
  • 11篇2019
  • 1篇2018
  • 1篇2017
  • 2篇2016
  • 4篇2015
  • 9篇2014
  • 5篇2013
  • 16篇2012
  • 7篇2011
  • 8篇2010
  • 2篇2009
  • 3篇2008
  • 3篇2007
  • 2篇2006
共 125 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于深度图像理解的移动应用跨平台强化学习遍历测试技术
一种基于深度图像理解的移动应用跨平台强化学习遍历测试技术，包括交互模块，深度图像理解模块，强化学习模块。交互模块通过对apk运行中的状态进行截屏捕获，提供给深度图像理解模块，并通过强化学习模块选择动作执行，从而与移动应用...
房春荣刘昱磊张子谦虞圣呈恽叶霄陈振宇
一种问答社区中的感知信息质量度量方法
互联网已经发展为一个高协作性和高互动性的社交环境，用户作为社交网络中内容的生产者和消费者，影响着网络中的感知信息质量。其中的两个因素，用户反馈和个人信誉对于感知信息质量的衡量尤为重要。本文通过定量的实证研究，探究了声誉和...
陈振宇何铁科廉昊秦泽民骆斌李玉莹张欣
文献传递
跨模型的图形用户界面测试脚本自动修复方法
跨模型的图形用户界面测试脚本自动修复方法，对在旧版本图形用户界面GUI程序上录制的GUI测试脚本，针对新版本的GUI程序进行自动修复，本发明提出使用两个事件可达性模型互补的方法，以更加完整和准确的描述应用程序的GUI结构...
陈振宇高则宝邹云潇骆斌
文献传递
一种用于软件开发的缺陷预测方法
一种用于软件开发的缺陷预测方法，构建源代码依赖网络和开发者社交网络，分别记录源代码文件间的依赖关系，以及开发者间的交流协作关系。比较源代码依赖网络和开发者社交网络，将两者的不一致作为缺乏交流的指示。本发明可以检测出每个源...
周骏贵陈振宇张伟强张驰濮力程秀才谢佩章王婧宇
一种基于噪音数据的机器学习模型鲁棒性评估方法
本发明提供的是一种基于噪音数据的机器学习模型鲁棒性评估方法，包括原始数据集处理、噪音数据获取、模型训练、模型预测、准确率下降比计算和模型鲁棒性评估。原始数据集处理包括收集百分百标签正确的原始数据集，并采用10次10‑折交...
房春荣龚爱王栋陈振宇李玉莹
一种基于步骤提示的安卓众包测试反馈方法
一种基于步骤提示的安卓众包测试反馈方法，其特征是通过众包测试平台Kikbug的驱动程序对测试过程的记录，建立用户测试行为数据库；在测试过程当中，收集当前测试人员的测试步骤信息，和数据库中已记录的、已触发异常的操作信息对比...
陈振宇张欣房春荣张智轶李玉莹
基于SAT的软件验证
2008年
线性时态逻辑SE-LTL是具有高表达力和基于状态、事件推理能力的并发系统规约语言.目前,SE-LTL的模型检测算法依然是显式的,状态空间爆炸是检测的主要困难.对SE-LTL引入一种有界模型检测技术,该技术将SE-LTL模型检测归约为命题公式的可满足性问题,避免了基于二叉图方法中状态空间的快速增长,加速了验证过程.对SE-LTL-X进一步在该技术中集成stuttering等价技术.实验结果表明该集成有效地降低了验证时间.
周从华陈振宇鞠时光
关键词：SAT形式化分析
一种基于排序学习的代码漏洞误报检测方法
一种基于排序学习的代码漏洞误报检测方法，其特征是结合代码漏洞静态分析工具findbugs获取标记正报和误报漏洞报告以及对提取相应报告的软件度量准则；然后根据pair‑wise的排序学习模型构建一个代码漏洞误报检测模型；随...
房春荣葛修婷葛宇陈振宇
一种基于关键字的电子商务网站商品推荐方法
一种基于关键字的电子商务网站商品推荐方法，用户在搜索引擎搜索产品，由搜索链接进入电子商务网站，电子商务网站通过脚本采集搜索引擎链接带入的关键字和相关产品信息，由关键字之间的关联度得到关键字关联表，由关键字和相关产品之间的...
陈振宇姚佳玮杨睿姚嘉俊周国兵
文献传递
一种基于句法成分分析的自动化机器翻译测试方法
一种基于句法成分分析的机器翻译自动化测试方法，其特征是使用句法成分分析获取句子的选区结构，并构建蜕变关系，无需参考文本即可评估机器翻译模型的性能。主要解决当前测试机器翻译的存在的依赖参考文本。准确性较低、内部参数不可理解...
冯洋吉品李玉莹赵志宏刘嘉陈振宇
文献传递
全选 清除 导出
共13页<12345678910>
聚类工具0