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下载。

學術講座
<del id="vdnjf"><noframes id="vdnjf">
<menuitem id="vdnjf"><span id="vdnjf"></span></menuitem><ins id="vdnjf"></ins>
<cite id="vdnjf"><span id="vdnjf"></span></cite>
<ins id="vdnjf"><noframes id="vdnjf"><cite id="vdnjf"></cite>
<ins id="vdnjf"><noframes id="vdnjf"><ins id="vdnjf"></ins>
<ins id="vdnjf"><noframes id="vdnjf"><cite id="vdnjf"></cite>
<cite id="vdnjf"><noframes id="vdnjf">
<ins id="vdnjf"><noframes id="vdnjf"><ins id="vdnjf"></ins>
<ins id="vdnjf"></ins>
<var id="vdnjf"><noframes id="vdnjf">
<del id="vdnjf"></del>
2044彩票|手机app下载 湖南快乐十分开奖结果 山西21选5开奖结果 辽宁35选7开奖结果 九五彩票|手机app下载 九州娱乐|官网登录 菲彩国际|手机app下载 五洲彩票|手机app下载 永诚彩票|手机app下载 陕西快乐十分走势图 好运彩票|官网登录 陕西快乐十分走势图 紫金彩票|官网登录 天王彩票|手机app下载 网信彩票|手机app下载 开心彩票|手机app下载