Exhaustive testing of exception handlers with enforcer

Cyrille Artho, Armin Biere, Shinichi Honiden

研究成果: Conference contribution

4 被引用数 (Scopus)

抄録

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. This paper introduces the usage of the Enforcer tool.

本文言語English
ホスト出版物のタイトルLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
出版社Springer Verlag
ページ26-46
ページ数21
ISBN(印刷版)3540747915, 9783540747918
DOI
出版ステータスPublished - 2007 1 1
外部発表はい
イベント5th International Symposium on Formal Methods for Components and Objects, FMCO 2006 - Amsterdam, Netherlands
継続期間: 2006 11 72006 11 10

出版物シリーズ

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

Other

Other5th International Symposium on Formal Methods for Components and Objects, FMCO 2006
CountryNetherlands
CityAmsterdam
Period06/11/706/11/10

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント 「Exhaustive testing of exception handlers with enforcer」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル