{"type":"ScholarlyArticle","title":"Model-Based Optimization of Testing through Reduction of Stimuli","authors":[{"name":"Peter Struss","slug":"peter-struss","given":"Peter","family":"Struss","affiliation":""}],"abstract":"The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the system) to shift the system into a particular situation or state, and a set of variables whose observation or measurement refutes hypotheses about the behavior mode the system is operating in. Tests (either generated automatically or by humans) may contain redundancy in the sense that some of its stimuli and/or observables maybe irrelevant for achieving the result of the test. Identifying and dropping them contributes to redu-cing the cost of set-up actions and measurements. We define different kinds of irrelevant stimuli, discuss their practical importance, and present criteria and algorithms for computing reduced tests.","doi":null,"url":"https://ijcai.org/proceedings/2007/94","pdf":"https://ijcai.org/proceedings/2007/0094.pdf","markdown":"https://ijcai.org/proceedings/2007/94.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/94","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":94,"pages":{"first":593,"last":597},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}