جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید. http://dl.pgu.ac.ir/handle/Hannan/81473
Title: Generating obstacle conditions for requirements completeness
Keywords: Science & Technology;Technology;Computer Science, Software Engineering;Engineering, Electrical & Electronic;Computer Science;Engineering;Requirements completeness;risk identification;obstacle;model synthesis;model checking;inductive learning;goal-oriented requirements engineering;GOAL;SYSTEMS;MODELS
Issue Date: 15-Dec-2016
28-Jun-2012
2-Jun-2012
Publisher: IEEE
Description: Missing requirements are known to be among the major causes of software failure. They often result from a natural inclination to conceive over-ideal systems where the software-to-be and its environment always behave as expected. Obstacle analysis is a goal-anchored form of risk analysis whereby exceptional conditions that may obstruct system goals are identified, assessed and resolved to produce complete requirements. Various techniques have been proposed for identifying obstacle conditions systematically. Among these, the formal ones have limited applicability or are costly to automate. This paper describes a tool-supported technique for generating a set of obstacle conditions guaranteed to be complete and consistent with respect to the known domain properties. The approach relies on a novel combination of model checking and learning technologies. Obstacles are iteratively learned from counterexample and witness traces produced by model checking against a goal and converted into positive and negative examples, respectively. A comparative evaluation is provided with respect to published results on the manual derivation of obstacles in a real safety-critical system for which failures have been reported.
URI: http://dx.doi.org/10.1109/ICSE.2012.6227147
Other Identifiers: 978-1-4673-1067-3
1558-1225
http://hdl.handle.net/10044/1/43220
Type Of Material: Other
Appears in Collections:Faculty of Engineering

Files in This Item:
There are no files associated with this item.


تمامی کاربرگه ها در کتابخانه ی دیجیتال حنان به صورت کامل محافظت می شوند.