Effective Requirements Generation: Synchronizing Early Verification & Validation, Methods and Method Selection Criteria
نویسندگان
چکیده
This paper presents a framework that guides the requirements engineer in the implementation and execution of an effective requirements generation process. We achieve this goal by providing a well-defined requirements engineering model that includes verification and validation (V&V), and analysis. In addition, we identify focused activity objectives and map popular methods to lower-level activities, and define a criterion based process for optimizing method selection for attendant activities. Our model, unlike other models, addresses the complete requirements generation process and consists of activities defined at more adequate levels of abstraction. Furthermore, our model also incorporates a unique approach to V&V that enhances quality and reduces the cost of generating requirements. Additionally, activity objectives are identified and explicitly stated not implied as in the current models. Activity objectives are crucial because they drive the selection of methods for each activity. To assist in the selection of an appropriate set of methods, we have mapped commonly used methods to activities based on
منابع مشابه
An Aggregated Supplier Selection Method Based on QFD and TOPSIS (Case Study: A Financial Institution)
With daily development of information technology supply chain of service-based organizations like financial institutions and the increased value of outsourced activities, also the importance of customer satisfaction, outsourced affairs must have done by the suppliers who have the ability of accomplishing the organizational demands. To mitigate the risk of invalid supplier selections, verificati...
متن کاملCost Effective Use of Formal Methods in Verification and Validation
Formal methods offer the promise of significant improvements in verification and validation, and may be the only approach capable of demonstrating the absence of undesirable system behavior. But it is widely recognized that these methods are expensive, and their use has been limited largely to high-risk areas such as security and safety. This paper focuses on cost-effective applications of form...
متن کاملSupplier selection using compromise ranking and outranking methods
In today’s highly competitive manufacturing environment, an effective supplier selection process is very important for the success of any business organization. Selection of the best supplier is always a difficult task for the purchasing manager. Suppliers have varied strengths and weaknesses which require careful assessment by the purchasing manager before selecting and ranking them. Any suppl...
متن کاملModel-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems
During the development of software systems the number of faults can significantly be reduced by prototype-based validation and verification. Therefore, if prototypes can be made available early in the software development process, the costly removal of faults in later stages of development can be reduced. In this paper, a prototyping approach for supporting the development of reactive systems i...
متن کاملCost Effective Use of Formal Methods
Formal methods offer the promise of significant improvements in verification and validation, and may be the only approach capable of demonstrating the absence of undesirable system behavior. But it is widely recognized that these methods are expensive, and their use has been limited largely to high-risk areas such as security and safety. This paper focuses on cost-effective applications of form...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/cs/0503004 شماره
صفحات -
تاریخ انتشار 2005