Page 307 - 《软件学报》2021年第6期

王颖 等:面向 ROS 的差分模糊测试方法 1881

[7] 戴凌宸,张朕荣,黎丰泽.传统的软件测试方法浅析.科技风,2011,(16):136−137. [doi: 10.3969/j.issn.1671-7341.2011.16.118]
[9] 李贺,张超,杨鑫.操作系统内核模糊测试技术综述.小型微型计算机系统,2019,40(9):1994−1999. [doi: CNKI:SUN:XXWX.0.
2019-09-033]
[10] 冒冬冬,叶晓俊,谢丰.基于自动机的数据库管理系统漏洞挖掘.信息安全漏洞分析与风险评估大会论文集.北京:中国信息安全
测评中心,清华大学,2011.98−108.
[11] 达小文,王晓程,陈志浩.基于改进模糊测试的 Web 应用漏洞挖掘方法.计算机与现代化,2016,(8):100−104. [doi: 10.3969/j.issn.
1006-2475.2016.08.021]
[12] 付梦琳,吴礼发,洪征.智能合约安全漏洞挖掘技术研究.计算机应用,2019,39(7):1959−1966. [doi: 10,11772/j.issn.1001-9081.
2019010082]
[15] 孙弋,张松.基于 ROS 的服务机器人关键技术研究与实现.软件,2019,40(11):186−190,194. [doi: 10.3969/j.issn.1003-6970.2019.
11.042]
[16] 白冲冲,程文雅,郭洪佚.浅析开源 ROS 机器人操作系统.科学与信息化,2019,(36):2.

王颖(1996－),女,硕士,CCF 学生会员,主 李晓娟(1968－),女,博士,教授,博士生导
要研究领域为软件安全验证,模糊测试. 师,CCF 专业会员,主要研究领域为嵌入式
系统形式建模与验证,网络协议分析.

王冰青(1997－),女,硕士,CCF 学生会员, 王瑞 (1981－ ), 女 ,博士 ,教授 , 博 士生导
主要研究领域为软件安全验证,模糊测试. 师,CCF 专业会员,主要研究领域为形式化
方法,软件安全验证.

关永 (1966 － ), 男 , 博士 , 教授 , 博士生导
师,CCF 专业会员,主要研究领域为形式化
验证,高可靠嵌入式系统,机器人.