TestMEReq : generating abstract tests for requirements validation

This paper introduces TestMEReq, an automated tool for early validation of requirements. TestMEReq supports requirements engineers (REs) in the validation of the correctness, completeness and consistency of elicited requirements with minimum effort and time through generated abstract tests components: test requirements and test cases, and a mock-up prototype of the user interface (UI). Abstract tests are derived from abstract models called Essential Use Cases (EUCs) and the Essential User Interface (EUI). Our evaluation results show that TestMEReq is useful in the requirements validation process: it reduces the effort and time spent to ensure good quality requirements.

Support Tool to the Validation Process of Functional Requirements

The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different support tools to requirements engineering exist in the market, there is still a lack of automated support for validation activity. In this context, the purpose of this paper is to make up for that deficiency, with the use of an automated tool, to provide the resources for the execution of an adequate validation activity. The contribution of this study is to enable an agile and effective follow-up of the scope established for the requirements, so as to lead the development to a solution which would satisfy the real necessities of the users, as well as to supply project managers with relevant information about the maturity of the analysts involved in requirements specification.

MaramaAIC: tool support for consistency management and validation of requirements

Requirements captured by requirements engineers (REs) are commonly inconsistent with their client’s intended requirements and are often error prone. There is limited tool support providing end-to-end support between the REs and their client for the validation and improvement of these requirements. We have developed an automated tool called MaramaAIC (Automated Inconsistency Checker) to address these problems. MaramaAIC provides automated requirements traceability and visual support to identify and highlight inconsistency, incorrectness and incompleteness in captured requirements. MaramaAIC provides an end-to-end rapid prototyping approach together with a patterns library that helps to capture requirements and check the consistency of requirements that have been expressed in textual natural language requirements and then extracted to semi-formal abstract interactions, essential use cases (EUCs) and user interface prototype models. It helps engineers to validate the correctness and completeness of the EUCs modelled requirements by comparing them to “best-practice” templates and generates an abstract prototype in the form of essential user interface prototype models and concrete User Interface views in the form of HTML. We describe its design and implementation together with results of evaluating our tool’s efficacy and performance, and user perception of the tool’s usability and its strengths and weaknesses via a substantial usability study. We also present a qualitative study on the effectiveness of the tool’s end-to-end rapid prototyping approach in improving dialogue between the RE and the client as well as improving the quality of the requirements.

An automated collaborative requirements engineering tool for better validation of requirements

This demo introduces an automated collaborative requirements engineering tool, called TestMEReq, which is used to promote effective communication and collaboration between client-stakeholders and requirements engineers for better requirements validation. Our tool is augmented with real time communication and collaboration support to allow multiple stakeholders to collaboratively validate the same set of requirements. We have conducted a user study focusing on validating requirements using TestMEReq with a few groups of requirements engineers and client stakeholders. The study shows that our automated tool support is able to assist requirements engineers to effectively communicate with client-stakeholders to better validate the requirements virtually in real time. (Demo video: https://www.youtube.com/watch?v=7sWLOx-N4Jo).

Automatic acceptance test case generation from essential use cases

Requirements validation is a crucial process to determine whether client-stakeholders' needs and expectations of a product are sufficiently correct and complete. Various requirements validation techniques have been used to evaluate the correctness and quality of requirements, but most of these techniques are tedious, expensive and time consuming. Accordingly, most project members are reluctant to invest their time and efforts in the requirements validation process. Moreover, automated tool supports that promote effective collaboration between the client-stakeholders and the engineers are still lacking. In this paper, we describe a novel approach that combines prototyping and test-based requirements techniques to improve the requirements validation process and promote better communication and collaboration between requirements engineers and clientstakeholders. To justify the potential of this prototype tool, we also present three types of evaluation conducted on the prototpye tool, which are the usability survey, 3-tool comparison analysis and expert reviews.

Validação de instrumentos para avaliação da habilidade e do conhecimento acerca da medida da pressão arterial

This study aimed to validate tools for evaluating the ability and knowledge about blood pressure (BP) among nursing students. It is a cross-sectional, descriptive, quantitative and methodological study accomplished at the Universidade Federal do Rio Grande do Norte (UFRN), Universidade do Estado do Rio Grande do Norte (UERN) and a private university of the state. The sample consisted of 27 judges of research selected from the inclusion criteria: nursing, teachers of the semiology and/or semiotics discipline, with at least 1 year of experience, being from UFRN, EEN, UERN and private university of the state and and agree to participate voluntarily with the signing of the consent form. The research was development in three stages: construction of two instruments based on the scientific literature, resulting in a structured checklist consists of 28 items and a knowledge questionnaire with 12 questions; submission of the instruments to the judges, in the period from June to September 2012, which should evaluate each item in appropriate , appropriate with changes and inappropriate , addition to making an overall assessment of each instrument based on 10 requirements; validation and verification to the level of agreement among the judges, through the application of Kappa and Content Validity Index (CVI). Was used the consensus level greater than 0.61 (good) to the Kappa index and greater than 0.75 for CVI. Was approved by the Ethics in Research / HUOL. After being coded and tabulated, the data were analyzed using descriptive statistics. Of the 27 judges who evaluated the instrument, 77.8% are female, with a mean age of 36.6 (± 9.0) years, 63.0% worked in UFRN, 74.1% had academic master and 63.0% worked exclusively on teaching. Average length of teaching experience was 7.9 (± 8.0) years and in the semiology and/or semiotics discipline of 5.5 (± 6.7) years. In the judgment of structured checklist and questionnaire of knowledge about blood pressure mensurement any item/question was considered inappropriate since all obtained level of agreement within the indices established (CVI> 0,75 E Kappa> 0.61). In relation to structured checklist, of those 28 items present, 9 showed perfect concordance index (CVI = 1.00, Kappa = 1.00) and another 19 were considered appropriate with changes, especially with regard to clarity and vocabulary. In the questionnaire of knowledge, among the 12 questions that comprised, 7 had perfect concordance index and the others were considered appropriate with changes as requirements as clarity, vocabulary, and feasible sequence of instructional topics. In terms of a overall evaluating of instruments, the structured checklist got CVI of 0.94 and Kappa of 0.89 and the knowledge questionnaire, CVI of 0.97 and a kappa of 0.94. Both instruments proved to be valid as to their content, configuring it as clear and objective tools of assessment of knowledge and ability on blood pressure, being of nursing students as well as others students and health professionals, since the use of valid measures seeking to reduce the risk of distorting the results

A framework for understanding collaborative creativity in requirements engineering: Empirical validation

Requirements engineering (RE) often needs creativity in a form where interactions among stakeholders are particularly important: collaborative creativity. However, few studies have explicitly concentrated on understanding collaborative creativity in RE, resulting in a lack of well-founded advice for practitioners on how to support this aspect of RE. Through an online survey, this paper seeks empirical validation for a framework of factors characterising collaborative creative processes in RE. Within the limits of the validity of the study, the results show support for the utility of the framework: collaborative creativity seems to be a linear function of the mean score to all factors in the framework. Factors can be grouped, and the specific impact of each group on collaboration, value and novelty can be assessed.

The validation of predictions concerning personnel and training requirements: a case study

"References": leaves 26-27.

Development of diagnostic and prognostic algorithms from vacuum circuit breaker restrike review and its validation proposal

The CIGRE WGs A3.20 and A3.24 identify the requirements of simulation tools to predict various stresses during the development and operational phases of medium voltage vacuum circuit breaker (VCB) testing. This paper reviews the modelling methodology [13], VCB models and tools to identify future research. It will include the application of the VCB model for the impending failure of a VCB using electro-magnetic-transient-program with diagnostic and prognostic algorithm development. The methodology developed for a VCB degradation model is to modify the dielectric equation to cover a restriking period of more than 1 millimetre.

Supporting process model validation through natural language generation

The design and development of process-aware information systems is often supported by specifying requirements as business process models. Although this approach is generally accepted as an effective strategy, it remains a fundamental challenge to adequately validate these models given the diverging skill set of domain experts and system analysts. As domain experts often do not feel confident in judging the correctness and completeness of process models that system analysts create, the validation often has to regress to a discourse using natural language. In order to support such a discourse appropriately, so-called verbalization techniques have been defined for different types of conceptual models. However, there is currently no sophisticated technique available that is capable of generating natural-looking text from process models. In this paper, we address this research gap and propose a technique for generating natural language texts from business process models. A comparison with manually created process descriptions demonstrates that the generated texts are superior in terms of completeness, structure, and linguistic complexity. An evaluation with users further demonstrates that the texts are very understandable and effectively allow the reader to infer the process model semantics. Hence, the generated texts represent a useful input for process model validation.

Validation based sparse Gaussian processes for ordinal regression

This paper proposes a sparse modeling approach to solve ordinal regression problems using Gaussian processes (GP). Designing a sparse GP model is important from training time and inference time viewpoints. We first propose a variant of the Gaussian process ordinal regression (GPOR) approach, leave-one-out GPOR (LOO-GPOR). It performs model selection using the leave-one-out cross-validation (LOO-CV) technique. We then provide an approach to design a sparse model for GPOR. The sparse GPOR model reduces computational time and storage requirements. Further, it provides faster inference. We compare the proposed approaches with the state-of-the-art GPOR approach on some benchmark data sets. Experimental results show that the proposed approaches are competitive.

Damage Detection Sensitivity, Specificity and Classification Data Analysis for SHM Systems Design, Verification and Validation

In this paper, we consider applying derived knowledge base regarding the sensitivity and specificity of damage(s) to be detected by an SHM system being designed and qualified. These efforts are necessary toward developing capabilities in SHM system to classify reliably various probable damages through sequence of monitoring, i.e., damage precursor identification, detection of damage and monitoring its progression. We consider the particular problem of visual and ultrasonic NDE based SHM system design requirements, where the damage detection sensitivity and specificity data definitions for a class of structural components are established. Methodologies for SHM system specification creation are discussed in details. Examples are shown to illustrate how the physics of damage detection scheme limits particular damage detection sensitivity and specificity and further how these information can be used in algorithms to combine various different NDE schemes in an SHM system to enhance efficiency and effectiveness. Statistical and data driven models to determine the sensitivity and probability of damage detection (POD) has been demonstrated for plate with varying one-sided line crack using optical and ultrasonic based inspection techniques.

Designing for validation of medical devices and equipment

Validation is important in the design, development and production of medical devices since effective and appropriate validation plays a vital role in defining the success of a product in both technical and economic terms. Regulations and quality standards lay out the requirements for product validation, but it is left to each individual manufacturer to establish and maintain their own validation procedures. More recently, there has also been a change of emphasis in the regulations and standards that encourage the integration of validation into the development process. However, this poses particular challenges to the manufacturer since there is a distinct lack of guidance to assist this integration. This workbook provides the first real guidance on good design practices for medical device development. It has been developed through extensive consultation with device manufacturers and analysis of regulatory requirements. The approach is intended to assist manufacturers in meeting the new regulations.

Validation of Thin Layer Chromatographic Methods

Thin-layer and high-performance thin-layer chromatography (TLC/HPTLC) methods for assaying compound(s) in a sample must be validated to ensure that they are fit for their intended purpose and, where applicable, meet the strict regulatory requirements for controlled products. Two validation approaches are identified in the literature, i.e. the classic and the alternative, which is using accuracy profiles.Detailed procedures of the two approaches are discussed based on the validation of methods for pharmaceutical analysis, which is an area considered having more strict requirements. Estimation of the measurement uncertainty from the validation approach using accuracy profiles is also described.Examples of HPTLC methods, developed and validated to assay sulfamethoxazole and trimethoprim on the one hand and lamivudine, stavudine, and nevirapine on the other, in their fixed-dose combination tablets, are further elaborated.

Summary of time requirements and potential improvements for Marine Recorder data entry.

The contract work has demonstrated that older data can be assessed and entered into the MR format. Older data has associated problems but is retrievable. The contract successfully imported all datasets as required. MNCR survey sheets fit well into the MR format. The data validation and verification process can be improved. A number of computerised short cuts can be suggested and the process made more intuitive. Such a move is vital if MR is to be adopted as a standard by the recording community both on a voluntary level and potentially by consultancies.