OR学会員ならびに信頼性関係研究者 各位
2020年度第1回信頼性とその応用研究部会開催通知
拝啓 時下益々ご清栄のこととお慶び申し上げます。
2020年第1回研究会の開催案内をお送りします.ご興味のある方は是非ご参加をご検討頂けると幸甚です.どうぞよろしくお願い申し上げます.
敬具
記
【日時】2020年7月11日 15:00~16:00(14:45~ 入室可能,接続テストなどを行います)
【場所】Zoomミーティング(下記のフォームで登録後に登録したメールアドレスへ Zoom接続情報を送信いたします)
【プログラム】
講師:劉少英 先生(広島大学)
題目: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 programs but not for incorrect programs. Unfortunately, the very reality in software development is that a newly developed system always contains bugs and cannot 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.
【問合せ先】
主査:岡村寛之(広島大学)
okamu@hiroshima-u.ac.jp幹事:鄭俊俊(立命館大学)
jzheng@asl.cs.ritsumei.ac.jp 以上
〔注意点〕
参加をご希望の方は,準備の都合上,7月6日(月)までに以下のフォームにご入力をお願いいたします.