2020年度 第1回日本オペレーションズ・リサーチ学会 信頼性とその応用研究部会の参加申込(2020年7月11日土曜日開催)
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日(月)までに以下のフォームにご入力をお願いいたします.
1. お名前:Name *
2. ご所属:Affiliation *
3. メールアドレス:E-mail address *
4. 連絡欄:Comment
Submit
Never submit passwords through Google Forms.
This form was created inside of 毛利研究室. Report Abuse