为加强员工测试理论知识，2015年7月27日下午，上海市计算机软件评测重点实验室特邀日本法政大学刘少英教授做了一场题为“Testing-Based Formal Verification: A New and Practical Approach for Software Quality Assurance”的专题讲座。本次讲座由重点实验室副主任刘振宇主持，代表实验室全员对刘少英教授的到访表示热烈欢迎。重点实验室主任蔡立志为刘少英教授颁发了实验室客座教授聘书。
刘少英，日本法政大学教授，于1992 年在英国曼彻斯特大学获得计算机科学博士学位。主要研究领域为：形式工程方法、基于规格说明审查和测试、智能软件工程环境等。他撰写的学术专著“Formal Engineering for Industrial Software Development”已由Springer-Verlag 出版。他主编了4个国际学术会议的论文集；在学术期刊和国际会议上发表了 120 多篇学术论文。他是 ICFEM国际会议的常委会主席；是软件测试、验证和可靠性(STVR)期刊的编委、 ISRN 软件工程期刊的编委。他还是英国计算机学会会员、 IEEE 计算机学会高级会员、日本软件科学与技术学会成员。
刘少英教授针对当前质量保证面临的挑战，介绍了一种基于测试的形式验证技术（TBFV）的研究情况。形式验证过程可以证明一个系统不存在某个缺陷或符合某个或某些属性，通过定理证明的方式来验证系统是否具备所期望的关键性质，其优势是能够基于无穷域上的归纳法处理无穷状态空间。形式验证的结果可以帮助开发人员确保软件质量。
据悉，为开阔员工理论视野，提升专业素养，激发大家对测试技术研究的兴趣，软件评测重点实验室还将继续开展一系列学术讲座。
