題 目：Testing Based Formal Verification for Software Quality Assurance and Cost Reduction
内容簡介：Testing and formal verification are two important means for software verification and validation, but they suffer from critical challenges. Testing shows the presence of bugs but never their absence. Formal verification can show the correctness for correct programs but not for incorrect programs. Unfortunately, the very reality in software development is that a newly developed system always contains bugs and is unlikely to be correct in the beginning. How to formally prove the correctness of programs in a cost effective manner is still a challenge. In this talk, after briefly discussing the characteristics and challenges of current verification and validation approaches, a new approach, known as Testing Based Formal Verification (TBFV), will be introduced. TBFV results from an appropriate integration of formal specification based testing and Hoare logic for proving program correctness. It is a rigorous gray box testing approach that takes both the specification and the program structure into account. The most important benefit of TBFV is that it can be applied automatically to ensure the correctness 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室
熱烈歡迎廣大師生參加!
太阳集团1088vip
2019年11月4日