Enforcer - Efficient failure injection

Cyrille Artho, Armin Biere, Shinichi Honiden

研究成果: Conference contribution

7 被引用数 (Scopus)

抄録

Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an application, such as network availability. Testing a program with its communication resources being unavailable is difficult, as it requires a change on the host system, which has to be coordinated with the test suite. Essentially, each interaction of the application with the environment can result in a failure. Only some of these failures can be tested. Our work identifies such potential failures and develops a strategy for testing all relevant outcomes of such actions. Our tool, Enforcer, combines the structure of unit tests, 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. Our tool has been tested on several real-world programs, where it found faults without requiring extra test code.

本文言語English
ホスト出版物のタイトルFM 2006
ホスト出版物のサブタイトルFormal Methods - 14th International Symposium on Formal Methods, Proceedings
出版社Springer Verlag
ページ412-427
ページ数16
ISBN(印刷版)3540372156, 9783540372158
DOI
出版ステータスPublished - 2006
外部発表はい
イベントFM 2006: 14th International Symposium on Formal Methods - Hamilton, Canada
継続期間: 2006 8 212006 8 27

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
4085 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Other

OtherFM 2006: 14th International Symposium on Formal Methods
国/地域Canada
CityHamilton
Period06/8/2106/8/27

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Enforcer - Efficient failure injection」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル