陈鑫
- 作品数：75 被引量：149H指数：6
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划江苏省产学研联合创新资金项目更多>>
- 相关领域：自动化与计算机技术文化科学经济管理医药卫生更多>>
- 嵌入式应用软件测试技术与理论
- 宋方敏徐永森朱明远胥光辉谭耀铭陈鑫杜晓晨邵培南王锦东凌辉许晓春李茜梅琳孟波波
- 嵌入式应用软件分析测试工具EASTT的主要功能包括结构分析、质量分析、动态测试分析、嵌入式操作系统平台上应用软件的测试分析和文档生成，可应用于软件的开发、测试、审核、维护/再工程、文档编制、嵌入式应用软件测试等工作。它具...
- 关键词：
- 关键词：嵌入式系统软件测试面向对象软件
- 一种基于API文档的约束自动生成方法
- 本发明公开了一种基于API文档的约束自动生成方法，包括如下步骤：首先输入一个URL；提取网页中类和函数的文字描述；对提取的句子进行一定的分析；然后使用NLP技术为每个句子生成一个树结构；识别树结构中的参数和结构生成树的中...
- 张天潘敏学吴少博姜人和陈鑫李宣东
- 文献传递
- 一种线性拟合函数驱动的测试数据自动生成方法
- 本发明公开了一种基于线性拟合函数驱动的测试数据自动生成方法。本发明通过路径分析得到路径集合，然后对每个路径寻找可覆盖该路径的测试数据产生待测源代码的测试数据集。其中，对每个路径寻找可覆盖该路径的测试数据通过以下方法实现：...
- 陈鑫成新欧建生周岩鞠秀芳
- 文献传递
- 养心氏辅助治疗肺源性心脏病的疗效及对超敏C反应蛋白及白介素-8水平的影响被引量：5
- 2018年
- 目的观察养心氏辅助治疗肺源性心脏病的临床疗效,并观察其对病人血清超敏C反应蛋白(hsCRP)及白介素-8(IL-8)水平的影响。方法选取2015年1月—2015年12月我院收治的肺源性心脏病病人50例,随机分为治疗组和对照组,各25例。两组病人均给予改善呼吸衰竭的常规药物治疗,治疗组在标准药物治疗基础上联合使用养心氏片,两组均治疗28 d。检测和比较两组治疗前后血清hsCRP、IL-8水平和第1秒用力呼气末容积(FEV1)、第1秒用力呼气末容积占用力肺活量百分比(FEV1/FVC)。结果对照组和治疗组临床疗效总有效率分别为64.0%和88.0%,治疗组显著高于对照组(P<0.05)。治疗后,两组FEV1、FEV1/FVC均较治疗前明显提高(P<0.05),且治疗组优于对照组(P<0.05)。治疗后,两组血浆IL-8和hsCRP水平均较治疗前显著下降(P<0.01),且治疗组炎症指标显著低于对照组(P<0.05)。两组在治疗过程中均未见严重不良事件。结论养心氏片在常规药物治疗基础上辅助治疗肺源性心脏病,可进一步降低病人血清hsCRP、IL-8水平,改善心肺功能。
- 陈鑫李虎
- 关键词：肺源性心脏病养心氏片超敏C反应蛋白白介素-8心肺功能
- 一种符号执行制导的循环内界分析方法被引量：2
- 2017年
- 循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界(Loop Bound).对应技术在文献中被称为循环边界分析(Loop Bound Analysis).现有的循环边界分析均使用保守方式进行外界分析,即产生略高于循环边界的近似值.基于这一现状,本文提出了一种自动地循环内界分析方法,产生略低于循环边界的近似值.当用户综合利用外界与内界分析,能将循环边界值约束到一个统计区间,从而能对分析结果获得更为完整的认识.本文基于循环条件制导的符号执行(Symbolic Execution)技术实现了循环内界分析,该技术的本质在于它能够利用符号执行符号化推导程序执行约束的特点,准确求解循环在程序所有合法输入条件下的边界值,并由生成的测试用例来保证该边界值一定可达(即保证是循环内界).本文对符号执行制导技术进行了优化,并在多组已有研究采用的基准用例集上进行了实例评估,实验结果表明,本文的循环内界分析方法具备准确性和高效性,可以满足应用需求.
- 赵祖威冯世宁汤恩义陈鑫李宣东潘敏学赵晨
- 关键词：软件测试
- 数值稳定性相关漏洞隐患的自动化检测方法被引量：5
- 2018年
- 安全漏洞检测,是保障软件安全性的重要手段.随着互联网的发展,黑客的攻击手段日趋多样化,且攻击技术不断翻新,使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类型的安全漏洞隐患,称为数值稳定性相关的安全漏洞隐患.由于黑客可以利用该类漏洞绕过现有的防护措施,且已有的数值稳定性分析方法很难检测到该类漏洞的存在,因而这一新类型的漏洞隐患十分危险.面对这一挑战,首先从数值稳定性引起软件行为改变的角度定义了数值稳定性相关的安全漏洞隐患,并给出了对应的自动化检测方法.该方法基于动静态相结合的程序分析与符号执行技术,通过数值变量符号式提取、静态攻击流程分析以及高精度动态攻击验证这3个步骤来检测和分析软件中可能存在的数值稳定性相关安全漏洞.在业界多个著名开源软件上进行了实例研究,实验结果表明:该方法能够有效检测到实际软件中真实存在的数值稳定性相关漏洞隐患.
- 沈维军汤恩义陈振宇陈振宇陈鑫李彬
- 关键词：漏洞检测
- 引导文化消费 激发消费潜力被引量：1
- 2021年
- 文化消费是国民消费升级的重要标志。近年来,随着社会消费升级,在物质生活得到满足之后,人们开始更加注重精神层面的享受。为了顺应文化消费提质转型的新趋势,满足文化产业供给侧结构性改革的新要求,国家有关部门推出了文化消费试点城市项目。2016年到2017年,南京市和苏州市先后被列为国家文化消费试点城市。
- 顾江陈鑫刘柏阳
- 关键词：文化产业
- 一种基于深度学习的弱光彩色成像方法
- 本发明公开了一种基于深度学习的弱光彩色成像方法。具体步骤如下：(1)构建卷积长短期记忆网络，联合多通道的空间和时间上信息对传感器采集的原始图像进行去噪；(2)构建残差网络，学习步骤1去噪后的原始图像到RGB图像的映射关系...
- 岳涛陈鑫王伟
- 文献传递
- G证券公司零售业务竞争战略研究
- 20世纪80年代中期,我国第一家专业性证券公司深圳特区证券成立,开启了中国证券业蓬勃发展的时代。在证券行业三十多年的发展历程中,伴随着我国市场经济不断成熟发展,证券市场制度和体系不断健全完善,证券行业对于丰富国内投融资体...
- 陈鑫
- 关键词：证券公司零售业务综合金融服务
- 文献传递
- 一种实时系统的循环边界内向分析方法
- 本发明提出了一种针对实时系统的循环边界内向分析方法，该方法基于修改符号执行的路径搜索方式，使得执行引擎能够快速定位到系统中各循环的最大迭代路径，并以此为基础高效地获得系统中各循环边界的估计值。本方法所求得的循环边界估计值...
- 汤恩义鲍铁匀李宣东王林章陈鑫潘敏学
- 文献传递
