【国民娱乐每日礼金gm777.top,2044彩票|手机app下载中大奖】我们为您提供2044彩票|手机app下载注册,2044彩票|手机app下载投注,2044彩票|手机app下载app,2044彩票|手机app下载平台,巨华彩票开户,充提快速,操控简单,为2044彩票|手机app下载彩民服务!

Testing-Based Formal Verification for Software Quality Assurance and Cost Reduction
發布時間:2019-09-11    

講座主題:

Testing-Based Formal Verification for Software Quality Assurance and Cost Reduction

主講人姓名及介紹:

劉少英,日本法政大學教授,IEEE Fellow和英國計算機協會Fellow。主要研究領域包括軟件工程,軟件開發的形式化工程方法,軟件設計方法,程序驗證,軟件測試2044彩票|手机app下载,以及智能軟件工程環境。曾領導和主持由日本文部科學省2044彩票|手机app下载,國立信息研究所等日本政府、財團和大企業資助的20多個項目2044彩票|手机app下载2044彩票|手机app下载,創立和發展了“軟件開發的形式化工程方法”,研制開發SOFL形式化工程開發語言和方法,由 Springer 出版專著一本2044彩票|手机app下载,編著IEEE CS Press和Springer LNCS系列出版論文集10多本2044彩票|手机app下载,國際學術期刊和國際會議發表論文200 多篇。

報告摘要:

“Testing”和“Formal Verification”是軟件驗證和確認的兩種重要手段,但它們面臨著嚴峻的挑戰2044彩票|手机app下载。一個新開發的系統總是包含錯誤,如何以經濟有效的方式正式證明程序的正確性仍然是一個挑戰2044彩票|手机app下载。這里我們將簡要討論當前驗證和確認方法的特點和挑戰2044彩票|手机app下载,并介紹一種新的方法,即基于測試的正式驗證(TBFV)。TBFV是基于規范的正式測試和用于證明程序正確性的霍爾邏輯的適當集成的結果。它是一種嚴格的灰盒測試方法2044彩票|手机app下载。TBFV可以自動應用,以保證程序的正確性和高可靠性2044彩票|手机app下载。

學術講座
2044彩票|手机app下载