浙江大学
网络空间安全学院
学术讲座
蒋炎岩博士
南京大学计算机科学与技术系助理研究员
讲座时间
年5月30日上午10点
直播平台
Zoom
面向“解释”的软件测试
Abstract
为软件自动化地生成测试输入是一个既古老又挑战的研究问题。如何在面对真实世界系统中近乎无穷无尽的输入空间，如何生成有效的测试用例尽可能地覆盖软件中的bug？在这里我们会探讨两份具体的研究工作：使用速度调节的方法为并发程序生成调度，以及使用建模的方法为文件系统生成测试用例背后的设计思路。
BIO
蒋炎岩，男，博士，南京大学计算机科学与技术系助理研究员。主要