Applied Mathematics Seminar——Property-based GUI Testing for Fun and Profit
报告人：苏亭（华东师范大学）
时间：2025-10-31 15:00-17:00
地点：智华楼-盈不足-109
摘要：
基于性质的测试（Property-based Testing，缩写为PBT，也翻译为基于属性的测试）是一种基于测试思想实现验证软件功能正确性的有效方法。PBT是一种轻量级形式化方法（当资源充足时，PBT可以无限趋近形式验证）。本报告将介绍PBT的起源、基本思想、应用场景、以及报告人近几年将该方法（及其思想）改造、扩展并应用于验证移动操作系统的应用软件、金融支付系统、芯片制造工业软件的案例，分享在落地应用PBT过程中的收获、乐趣和反思。
个人简介：
苏亭，华东师范大学软件工程学院教授，主要研究方向为软件工程、程序语言和软件安全，研究工作主要集中在对各类复杂软件与系统的质量保障方面；相关研究成果获得了CCF科技成果奖技术发明一等奖、Google教授研究奖、CCF-蚂蚁科研基金“优秀应用项目”奖、五项CCF-A类国际会议的ACM SIGSOFT杰出论文奖等；其研究工作受到了中国/瑞士国家自然基金委、科技部重点研发计划、国内外高科技企业的资助；获得国家级青年人才计划支持。个人主页：//tingsu.github.io/ 。
