جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
|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|
|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.|
|Type Of Material:||Other|
|Appears in Collections:||Faculty of Engineering|
Files in This Item:
There are no files associated with this item.
تمامی کاربرگه ها در کتابخانه ی دیجیتال حنان به صورت کامل محافظت می شوند.