63 research outputs found

    Software test selection patterns and elusive bugs

    No full text
    Traditional white and black box testing methods are effective in revealing many kinds of defects, but the more elusive bugs slip past them. Model-based testing incorporates additional application concepts in the selection of tests, which may provide more refined bug detection, but does not go far enough. Test selection patterns identify defect-oriented contexts in a program. They also identify suggested tests for risks associated with a specified context. A context and its risks is a kind of conceptual trap designed to corner a bug. The suggested tests will find the bug if it has been caught in the trap

    Lindenmayer grammars and symbolic testing

    Full text link

    Software Test Selection Patterns and Elusive Bugs

    No full text

    Good enough versus high assurance software testing and analysis methods

    No full text

    Functional program testing

    No full text

    Confidence-based reliability and statistical coverage estimation

    No full text

    Systems testing and statistical test data coverage

    No full text

    Testability, failure rates, detectability, trustability and reliability

    No full text

    Temporal event analysis and program understanding

    No full text
    corecore