Detecting Feature Interactions in FORML Models

Autor:	Sandy Beidu, Joanne M. Atlee
Rok vydání:	2019
Předmět:	Model checking Correctness Theoretical computer science Feature (computer vision) Computer science 0202 electrical engineering electronic engineering information engineering 020207 software engineering 020201 artificial intelligence & image processing 02 engineering and technology System model
Zdroj:	From Software Engineering to Formal Methods and Tools, and Back ISBN: 9783030309848 From Software Engineering to Formal Methods and Tools, and Back
Popis:	Requirement engineers must know how features (units of functionality) interact, in order to resolve undesired interactions. Model checking has been proposed as an effective method for detecting feature interactions. We propose a method for (1) modelling features as distinct modules (explicating intended interactions with other features), (2) composing feature modules into a system model that preserves intended interactions, (3) translating this rich model into the input language of a model checker, and (4) automatically generating correctness properties whose violations reveal unintended feature interactions.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::855a9b3c91c54ff21fe26eff7abc96bd https://doi.org/10.1007/978-3-030-30985-5_14 Zobrazit plný text záznamu