95,111 research outputs found

    Validation and Verification of Aircraft Control Software for Control Improvement

    Get PDF
    Validation and Verification are important processes used to ensure software safety and reliability. The Cooper-Harper Aircraft Handling Qualities Rating is one of the techniques developed and used by NASA researchers to verify and validate control systems for aircrafts. Using the Validation and Verification result of controller software to improve controller\u27s performance will be one of the main objectives of this process. Real user feedback will be used to tune PI controller in order for it to perform better. The Cooper-Harper Aircraft Handling Qualities Rating can be used to justify the performance of the improved system

    AFTI/F-16 digital flight control system experience

    Get PDF
    The Advanced Flighter Technology Integration (AFTI) F-16 program is investigating the integration of emerging technologies into an advanced fighter aircraft. The three major technologies involved are the triplex digital flight control system; decoupled aircraft flight control; and integration of avionics, pilot displays, and flight control. In addition to investigating improvements in fighter performance, the AFTI/F-16 program provides a look at generic problems facing highly integrated, flight-crucial digital controls. An overview of the AFTI/F-16 systems is followed by a summary of flight test experience and recommendations

    Bayesian inference for a software reliability model using metrics information.

    Get PDF
    In this paper, we are concerned with predicting the number of faults N and the time to next failure of a piece of software. Information in the form of software metrics data is used to estimate the prior distribution of N via a Poisson regression model. Given failure time data, and a well known model for software failures, we show how to sample the posterior distribution using Gibbs sampling, as implemented in the package "WinBugs". The approach is illustrated with a practical example

    BAYESIAN INFERENCE FOR A SOFTWARE RELIABILITY MODEL USING METRICS INFORMATION.

    Get PDF
    In this paper, we are concerned with predicting the number of faults N and the time to next failure of a piece of software. Information in the form of software metrics data is used to estimate the prior distribution of N via a Poisson regression model. Given failure time data, and a well known model for software failures, we show how to sample the posterior distribution using Gibbs sampling, as implemented in the package "WinBugs". The approach is illustrated with a practical example.

    Fairness Testing: Testing Software for Discrimination

    Full text link
    This paper defines software fairness and discrimination and develops a testing-based method for measuring if and how much software discriminates, focusing on causality in discriminatory behavior. Evidence of software discrimination has been found in modern software systems that recommend criminal sentences, grant access to financial products, and determine who is allowed to participate in promotions. Our approach, Themis, generates efficient test suites to measure discrimination. Given a schema describing valid system inputs, Themis generates discrimination tests automatically and does not require an oracle. We evaluate Themis on 20 software systems, 12 of which come from prior work with explicit focus on avoiding discrimination. We find that (1) Themis is effective at discovering software discrimination, (2) state-of-the-art techniques for removing discrimination from algorithms fail in many situations, at times discriminating against as much as 98% of an input subdomain, (3) Themis optimizations are effective at producing efficient test suites for measuring discrimination, and (4) Themis is more efficient on systems that exhibit more discrimination. We thus demonstrate that fairness testing is a critical aspect of the software development cycle in domains with possible discrimination and provide initial tools for measuring software discrimination.Comment: Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou. 2017. Fairness Testing: Testing Software for Discrimination. In Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Paderborn, Germany, September 4-8, 2017 (ESEC/FSE'17). https://doi.org/10.1145/3106237.3106277, ESEC/FSE, 201

    Testing the structure and process of personality using ambulatory assessment data : an overview of within-person and person-specific techniques

    Get PDF
    In the present article, we discuss the potential of ambulatory assessment for an idiographic study of the structure and process of personality. To this end, we first review important methodological issues related to the design and implementation of an ambulatory assessment study in the personality domain, including methods of ambulatory assessment, frequency of measurement and duration of the study, ambulatory assessment scales and questionnaires, participant selection, training and motivation, and ambulatory assessment hard- and software. Next, we provide a detailed outline of available analytical approaches that can be used to analyze the intensive longitudinal data generated by an ambulatory assessment study. By doing this, we hope to familiarize personality scholars with these methods and to provide guidance for their use in the field of personality psychology and beyond

    Psychometrics in Practice at RCEC

    Get PDF
    A broad range of topics is dealt with in this volume: from combining the psychometric generalizability and item response theories to the ideas for an integrated formative use of data-driven decision making, assessment for learning and diagnostic testing. A number of chapters pay attention to computerized (adaptive) and classification testing. Other chapters treat the quality of testing in a general sense, but for topics like maintaining standards or the testing of writing ability, the quality of testing is dealt with more specifically.\ud All authors are connected to RCEC as researchers. They present one of their current research topics and provide some insight into the focus of RCEC. The selection of the topics and the editing intends that the book should be of special interest to educational researchers, psychometricians and practitioners in educational assessment
    corecore