张一帆

作品数：4被引量：30H指数：3
导出分析报告
供职机构：南京大学计算机科学与技术系更多>>
发文主题：测试用例自动生成测试用例列车控制系统自动生成方法可靠性更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《软件学报》更多>>
所获基金：国家自然科学基金江苏省产学研联合创新资金项目国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
自然语言数据驱动的智能化软件安全评估方法被引量：3
《软件学报》2018年第8期2336-2349,共14页张一帆 汤恩义 苏琰梓 杨开懋 匡宏宇 陈鑫 
国家重点研发计划(2016YFB1000802);国家自然科学基金(61772260;61402222)~~
软件安全性是衡量软件是否能够抵御恶意攻击的重要性质.在当前互联网环境下,黑客攻击无处不在,因而估计软件中可能含有的漏洞数量与类型,即对软件进行安全评估,变得十分必要.在实际中,用户不仅需要对未发布或者最新发布的软件实施安全...
关键词：软件安全评估 自然语言处理 机器学习 网络爬虫 
面向方面设计中干涉问题的分析工具被引量：1
《软件学报》2016年第3期633-644,共12页陈鑫 黄超 张一帆 梅一鸣 
国家自然科学基金(91318301;61561146394);国家重点基础研究发展计划(973)(2014CB340703);教育部高等学校博士学科点专项科研基金(20110091120058);江苏省产学研项目(BY2014126-03)~~
干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉,已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有...
关键词：面向方面的设计 功能干涉 推理验证 设计演算 
设备驱动程序可靠性和正确性保障方法与技术研究进展被引量：10
《软件学报》2015年第2期239-253,共15页张一帆 黄超 欧建生 汤恩义 陈鑫 
国家重点基础研究发展计划(973)(2014CB340703);国家自然科学基金(91318301;91118002;61321491;61402222);教育部高等学校博士学科点专项科研基金(20110091120058);江苏省产学研项目(BY2014126-03)
随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导...
关键词：安全攸关软件系统 设备驱动程序 可靠性 正确性 
一种面向列车控制系统中安全攸关场景的测试用例自动生成方法被引量：16
《软件学报》2015年第2期269-278,共10页陈鑫 姜鹏 张一帆 黄超 周岩 
国家重点基础研究发展计划(973)(2014CB340703);国家自然科学基金(91318301;91118002;61321491;61402222);教育部高等学校博士学科点专项科研基金(20110091120058);江苏省产学研项目(BY2014126-03)
列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生...
关键词：安全攸关场景 场景建模 简单路径覆盖 测试用例自动生成 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部