题  目：Testing Based Formal Verification for Software Quality Assurance and Cost Reduction

内容简介：Testing and formal verification are two important means for softwareverification and validation, but they suffer from critical challenges. Testingshows the presence of bugs but never their absence. Formal verification canshow the correctness for correct programs but not for incorrect programs.Unfortunately, the very reality in software development is that a newlydeveloped system always contains bugs and is unlikely to be correct in thebeginning. How to formally prove the correctness of programs in acost effective manner is still a challenge. In this talk, after briefly discussingthe characteristics and challenges of current verification and validationapproaches, a new approach, known as Testing Based Formal Verification(TBFV), will be introduced. TBFV results from an appropriate integration offormal specification based testing and Hoare logic for proving programcorrectness. It is a rigorous gray box testing approach that takes both thespecification and the program structure into account. The most importantbenefit of TBFV is that it can be applied automatically to ensure thecorrectness or high reliability of programs.

报告人：日本法政大学刘少英教授

报告人简介：IEEE Fellow和英国计算机协会（BCS）Fellow。 1982年1月毕业于西安交通大学，1987年获同大学的计算机科学硕士学位，1992年获得英国曼彻斯特大学计算机科学博士学位。主要研究领域包括软件工程，软件开发的形式化工程方法，软件设计方法，程序验证，软件测试，以及智能软件工程环境。从1994年以来，已领导和主持由日本文部科学省，国立信息研究所（NII）, 大川情报科学财团，以及日本信号，NTT Data, 和三菱电机等日本政府，财团和大企业分别资助的20多个研究项目，是华为和卡斯柯信号有限公司的技术顾问，创立和发展了“软件开发的形式化工程方法”（CCF推荐的国际学术会议），研制开发了SOFL形式化工程开发语言和方法，由Springer出版专著一本，编著由IEEE CS Press和Springer LNCS系列出版的论文集10多本，在包括IEEE Transactions on Software Engineering, IEEE Transactions on Reliability, Journal of Systems and Software等国际学术期刊和国际会议发表200多篇论文。曾被Journal of Systems and Software评为1993年至1996年期间的在系统和软件工程领域的世界top 15名学者之一，1996年获得由IEEE国际会议授予的“优秀论文奖”， 2011年10月获中国国家示范软件学院十佳兼职教師奖，2017年6月获得IEEE可靠性协会日本分会的2016年最佳论文奖。曾多次担任ICFEM，ICECCS等国际会议的大会主席和程序委员会主席，以及数目繁多的国际会议的PC委员，被欧，美，亚，奥等地区的60多个大学和研究机关以及国际会议邀请作学术报告.担任IEEE Transactions on Reliability和Software Testing，Verification and Reliability (STVR)学术期刊的 Associate Editor以及International Journal of Intelligent Internet of Things Computing的Advisory Board成员。

时  间：2019年11月9日（周六）上午10：00始

地  点：南海楼338室

热烈欢迎广大师生参加!

信息科学技术学院

2019年11月4日