COEセミナーのお知らせ
We would like to inform you about COE-Seminar as follows.
DATE : December 11, 2007 13:00-15:00
PLACE : IS Collaboration room 6 (IS Ⅲ-5F)
SUBJECT : "Model Checking Networked Applications"
" Combining Fault Injection with Unit Testing"
SPEAKER : Dr. Cyrille Artho,
National Institute of Advanced Industrial Science and Technology(AIST)
Research Center for Information Security
REFERENCE: Research Center for trustworthy e-Society (E-mail: coe-trust)
--------------------------
平成１９年１２月４日
関係各位
２１世紀COEプログラム
－検証進化可能電子社会－
拠点リーダー 片 山 卓 也
ＣＯＥセミナーの開催について
来る１２月１１日（火）に、下記のとおりＣＯＥセミナーを開催致します。
つきましては、多数の皆様にご参加いただきたく、ここにセミナーの案内を
申し上げます。
本セミナーに関しましては参加申し込み・予約等は必要ございませんので
直接、会場にお越しくださいますようよろしくお願い致します。
記
日時 平成１９年１２月１１日（火） １３：００～１５：００
場所 情報科学研究科研究棟 Ⅲ棟５Ｆコラボレーションルーム６
講演者 産業技術総合研究所 情報セキュリティ研究センター研究員
Dr. Cyrille Artho
講演要旨
"Model Checking Networked Applications"
Networked applications cannot be model checked directly, as multiple
processes cannot be checked in normal (single-process) software model
checkers. Our approach is to convert processes into threads and to model
network communication using a special library and model checker extensions.
Other approaches include the usage of stubs or a special cache that can
serialize the state space exploration tree.
"Combining Fault Injection with Unit Testing"
Testing application behavior in the presence of I/O failures is extremely
difficult. The resources used for testing usually work without failure.
Failures typically cannot be initiated on the test suite level and are
usually not tested sufficiently. Essentially, each interaction of the
application with the environment can result in a failure. The Enforcer tool
identifies such potential failures and automatically tests all relevant
outcomes of such actions. It combines the structure of unit tests with
coverage information and fault injection. By taking advantage of a unit test
infrastructure, performance can be improved by orders of magnitude compared
to previous approaches.
講演者略歴
06/2005 ? 03/2007 : National Institute of Informatics,Tokyo, Postdoctoral Research Fellow.
05/2005 : Ph.D. in Computer Science, ETH Zurich,
04/2001 ? 05/2005 : ETH Zurich, Computer Systems Institute, Project leader of JNuke, a framework for checking Java programs
08/2002 ? 10/2002 and 08/2003 ? 10/2003 : NASA Ames Research Center, Collaboration with the Automated Software Engineering (ASE) Group on run-time veri?cation tools.
11/2000 ? 03/2001 : Trilogy Software, Austin, TX, USA, Consultant, Static and dynamic checking in an industrial setting using Jlint (http://artho.com/jlint/).
問合せ先 安心電子社会研究センター （内線：1261・E-mail:coe-trust)
DATE : December 11, 2007 13:00-15:00
PLACE : IS Collaboration room 6 (IS Ⅲ-5F)
SUBJECT : "Model Checking Networked Applications"
" Combining Fault Injection with Unit Testing"
SPEAKER : Dr. Cyrille Artho,
National Institute of Advanced Industrial Science and Technology(AIST)
Research Center for Information Security
REFERENCE: Research Center for trustworthy e-Society (E-mail: coe-trust)
--------------------------
平成１９年１２月４日
関係各位
２１世紀COEプログラム
－検証進化可能電子社会－
拠点リーダー 片 山 卓 也
ＣＯＥセミナーの開催について
来る１２月１１日（火）に、下記のとおりＣＯＥセミナーを開催致します。
つきましては、多数の皆様にご参加いただきたく、ここにセミナーの案内を
申し上げます。
本セミナーに関しましては参加申し込み・予約等は必要ございませんので
直接、会場にお越しくださいますようよろしくお願い致します。
記
日時 平成１９年１２月１１日（火） １３：００～１５：００
場所 情報科学研究科研究棟 Ⅲ棟５Ｆコラボレーションルーム６
講演者 産業技術総合研究所 情報セキュリティ研究センター研究員
Dr. Cyrille Artho
講演要旨
"Model Checking Networked Applications"
Networked applications cannot be model checked directly, as multiple
processes cannot be checked in normal (single-process) software model
checkers. Our approach is to convert processes into threads and to model
network communication using a special library and model checker extensions.
Other approaches include the usage of stubs or a special cache that can
serialize the state space exploration tree.
"Combining Fault Injection with Unit Testing"
Testing application behavior in the presence of I/O failures is extremely
difficult. The resources used for testing usually work without failure.
Failures typically cannot be initiated on the test suite level and are
usually not tested sufficiently. Essentially, each interaction of the
application with the environment can result in a failure. The Enforcer tool
identifies such potential failures and automatically tests all relevant
outcomes of such actions. It combines the structure of unit tests with
coverage information and fault injection. By taking advantage of a unit test
infrastructure, performance can be improved by orders of magnitude compared
to previous approaches.
講演者略歴
06/2005 ? 03/2007 : National Institute of Informatics,Tokyo, Postdoctoral Research Fellow.
05/2005 : Ph.D. in Computer Science, ETH Zurich,
04/2001 ? 05/2005 : ETH Zurich, Computer Systems Institute, Project leader of JNuke, a framework for checking Java programs
08/2002 ? 10/2002 and 08/2003 ? 10/2003 : NASA Ames Research Center, Collaboration with the Automated Software Engineering (ASE) Group on run-time veri?cation tools.
11/2000 ? 03/2001 : Trilogy Software, Austin, TX, USA, Consultant, Static and dynamic checking in an industrial setting using Jlint (http://artho.com/jlint/).
問合せ先 安心電子社会研究センター （内線：1261・E-mail:coe-trust)
