This paper presents a unique approach to connecting requirements engineering (RE) activities into a process framework that can be employed to obtain quality requirements with reduced expenditures of effort and cost. We propose a two-phase model that is novel in that it introduces the concept of verification and validation (V&V) early in the requirements life cycle. In the first phase, we perform V&V immediately following the elicitation of requirements for each individually distinct system function. Because the first phase focuses on capturing smaller sets of related requirements iteratively, each corresponding V&V activity is better focused for detecting and correcting errors in each requirement set. In the second phase, a complementary verification activity is initiated; the corresponding focus is on the quality of linkages between requirements sets rather than on the requirements within the sets. Consequently, this approach reduces the effort in verification and enhances the focus on the verification task. Our approach, unlike other models, has a minimal time delay between the elicitation of requirements and the execution of the V&V activities. Because of this short time gap, the stakeholders have a clearer recollection of the requirements, their context and rationale; this enhances the stakeholder feedback. Furthermore, our model includes activities that closely align with the effective RE processes employed in the software industry. Thus, our approach facilitates a better understanding of the flow of requirements, and provides guidance for the implementation of the RE process.
Context: Security and performance (S&P) are critical non-functional requirements on software systems. Therefore, verification activities should be included in the development process to identify related defects and avoiding S&P failures after deployment. However, the state of the practice of S&P verification is unclear, challenging academia to offer solutions for real-world problems faced by the S&P verification practitioners. Thus, identifying factors moderating the S&P verification helps software development organizations improve the S&P verification, releasing software that meets security a…
Verification is a critical process in the development of engineered systems. Through verification, engineers gain confidence in the correct functionality of the system before it is deployed into operation. Traditionally, verification strategies are fixed at the beginning of the system's development and verification activities are executed as the development progresses. Such an approach appears to give inferior results as the selection of the verification activities does not leverage information gained through the system's development process. In contrast, a set-based design approach to verific…
Verification planning is a sequential decision-making problem that specifies a set of verification activities (VA) and correction activities (CA) at different phases of system development. While VAs are used to identify errors and defects, CAs also play important roles in system verification as they correct the identified errors and defects. However, current planning methods only consider VAs as decision choices. Because VAs and CAs have different activity spaces, planning a joint verification-correction strategy (JVCS) is still challenging, especially for large-size systems. Here we introduce…
Conducting Verification And Validation Of Multi- Agent Systems
验证与确认（Verification and Validation，V&V）是由系统测试人员而不是系统开发人员为提高系统质量、系统可靠性和保证产品满足用户使用需求而进行的一系列技术和管理活动。验证是确保特定开发阶段的产品符合该阶段和前一阶段的要求，而确认是确保最终产品符合系统要求。可以使用外部机构来执行V&V，这是由独立V&V或IV&V表示的，或者由组织内的一个小组而不是开发人员表示的，称为内部V& V。V&V的使用通常伴随着测试，可以提高质量保证，并可以降低风险。本文提出了多智能体系统（MAS）的V&V的指导方针。
The use of the Internet has become an urgent necessity in various fields and activities. One of such important fields could be electronic business (E-Business). E-business includes all operations and activities related to Internet commerce, including e-commerce, e-marketing, eservices, e-payment, and electronic transfer. This proposal focuses on two perspectives that are under e-commerce umbrella where many e-payment process models suffer from the lack of clarity in the special procedures of the verification of the quality of services. This proposal, therefore, proposes a new E-payment process…
