基本信息
浏览量:0
职业迁徙
个人简介
王子元,男,1982年生,山西榆次人。主要研究方向包括:(1)面向安全攸关软件的质量保障及可靠性研究。服务于军事、交通、金融、医疗、工业控制等领域的软件系统一旦由于自身质量原因而发生失效,或是由于安全漏洞而受到外部攻击,将会导致生命财产安全的重大损失。因此,针对这类安全攸关软件开展自动化和智能化软件工程技术的研究,综合运用符号主义、行为主义、连接主义等不同人工智能学派的思想,在代码生成、程序分析、软件测试、故障定位、缺陷修复等环节引入自动化和智能化的技术以提高软件开发、测试、维护人员的工作效率,从而保障和提高安全攸关领域软件产品的质量。(2)面向深度学习系统的行为分析及可靠性研究。深度学习技术已被广泛应用于身份识别、自动驾驶、医疗诊断等安全攸关领域。因此,保障深度学习系统的可靠性和安全性,是扩大深度学习技术应用范围的重要前提之一。深度学习系统一般由上层业务代码、深度神经网络、深度学习框架所组成,相应的,对深度学习系统的分析、测试、验证工作也应该从各个层次分别入手:对上层业务代码开展测试以保证其功能可靠,对深度神经网络模型进行行为分析以保证其决策逻辑可靠,对底层深度学习框架加以验证以保证环境可靠,最终实现整个深度学习系统的安全可靠运行。(3)面向大规模开源基础软件生态的数据分析。由于编译器、程序设计语言、深度学习框架等基础支撑软件尚不能自主可控,导致我国在使用这些“软件基础设施”不仅可能面临“卡脖子”的风险,更须时刻防范各种潜在安全漏洞。面向大规模开源基础软件及相应的开源生态系统开展数据分析和实证研究,对其中的缺陷和漏洞进行分析和梳理,一方面有助于我们在使用这些基础软件时知其底细降低不利影响,另一方面也可为基础软件国产替代工作提供必要的支持。主要研究项目:(1)华为:定向Fuzz中的路径覆盖技术研究。(2)装备预研:基于XXXXXXXXX组合测试设计技术研究。(3)装备预研:XX安全关键软件的防危性测试技术研究。(4)国家自然科学基金:基于混和效应移除的测试集有效性预测模型及其应用研究(61772259)。(5)国家自然科学基金:组合测试用例的生成及演化技术(61300054)。(6)江苏省自然科学基金:面向软件测试及调试过程的组合测试用例生成及演化技术(BK20130879)。
研究兴趣
论文共 25 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
JOURNAL OF INTERNET TECHNOLOGYno. 4 (2023): 1001-1008
2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)pp.521-524, (2022)
arxiv(2022)
引用0浏览0EI引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn