第51回先端ソフトウェア科学・工学に関するGRACEセミナー

主催:NII 先端ソフトウェア工学国際研究センター(GRACEセンター)
http://grace-center.jp/
日時:2011年4月25日(月)10:00-11:00
場所:国立情報学研究所(NII) 20階講義室1 (2005)(地図)
参加費:無料
お問い合わせ:田辺良則(seminar-steering_AT_grace-center.jp)_AT_を@に書き換えてください。

参加をご希望の方は、セミナー前日までに下記よりご登録をお願いします。
http://grace-center.jp/regist/seminar

————————————————————
Speaker:
Johannes Oetsch (Vienna University of Technology, Austria)

Title:
Answer-Set Programming as a New Approach to Event-Sequence Testing

Abstract:
In many applications, faults are triggered by events that occur in a particular
order. Based on the assumption that most bugs faults are caused by the interaction of a low number of events, Kuhn et al. recently introduced sequence covering arrays (SCAs) as suitable combinatorial designs for event sequence testing.
In practice, a direct application of SCAs for testing is often impaired by additional constraints. Also, the notion of SCAs has to be adapted to fit application specific needs. Modifying precomputed SCAs to account of problem variations can be problematic,
if not impossible, and developing dedicated algorithms is costly.
In this talk, we propose to use Answer-Set Programming (ASP) as a declarative paradigm for computing SCAs. Our approach allows to concisely state complex coverage criteria in an elaboration tolerant way, i.e., small variations of a problem specification require only small modifications of the ASP representation.

(Joint work with Esra Erdem, Katsumi Inoue, Jorg Puhrer,Hans Tompits, and Cemal Yilmaz)

Biography:
Johannes Oetsch studied computer science at the Vienna University of Technology. His research includes work in logic programming and computational logic. Since Semptember 2009, he is research assistant at the Vienna University of Technology within the project “Methods and Methodologies for Developing Answer-Set Progams” funded by the Austrian Science Foundation (FWF).
——————————————————————

カテゴリー: 研究, セミナー パーマリンク

コメントは停止中です。