Premium
Validating quality attribute requirements via execution‐based model checking
Author(s) -
Drusinsky Doron,
Shing ManTak
Publication year - 2012
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.1152
Subject(s) - computer science , process (computing) , non functional requirement , quality (philosophy) , domain (mathematical analysis) , set (abstract data type) , software engineering , software requirements specification , requirements analysis , functional requirement , model checking , software , software system , software design , software development , programming language , software construction , mathematical analysis , philosophy , mathematics , epistemology
SUMMARY This paper is concerned with the correct specification and validation of quality attribute requirements (QARs) that crosscut through a diverse set of complex system functions. These requirements act as modifiers of system level functional requirements and thus have substantial influence on the eventual architectural selection. Because system designers traditionally address these requirements one quality attribute at a time, the process frequently results in QARs that contain subtle conflicting behaviors. This paper presents an approach to QAR‐induced behavior validation and conflict detection via execution‐based model checking early in the software development process. It explores the concept of conflicts between requirements with temporal and sequencing behaviors and presents an automated approach for discovering such conflicts. Published 2012. This article is a US Government work and is in the public domain in the USA.