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。主要研究領域包括軟件工程,軟件開發的形式化工程方法,軟件設計方法,程序驗證,軟件測試网上网赌正规靠谱真人实体在线平台,以及智能軟件工程環境。曾領導和主持由日本文部科學省网上网赌正规靠谱真人实体在线平台,國立信息研究所等日本政府、財團和大企業資助的20多個項目网上网赌正规靠谱真人实体在线平台网上网赌正规靠谱真人实体在线平台,創立和發展了“軟件開發的形式化工程方法”,研制開發SOFL形式化工程開發語言和方法,由 Springer 出版專著一本网上网赌正规靠谱真人实体在线平台,編著IEEE CS Press和Springer LNCS系列出版論文集10多本网上网赌正规靠谱真人实体在线平台,國際學術期刊和國際會議發表論文200 多篇。

報告摘要:

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

學術講座
网上网赌正规靠谱真人实体在线平台