[go: up one dir, main page]

Coolen et al., 2007 - Google Patents

Using Bayesian statistics to support testing of software systems

Coolen et al., 2007

Document ID
472241464197797439
Author
Coolen F
Goldstein M
Wooff D
Publication year
Publication venue
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability

External Links

Snippet

Testing of software systems is crucial for reliability, but is often difficult owing to the many uncertainties and practical constraints involved. The nature of the software development process often prevents straightforward application of standard statistical methods. In recent …
Continue reading at journals.sagepub.com (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2257—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using expert systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/04—Inference methods or devices
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
    • G06F19/30—Medical informatics, i.e. computer-based analysis or dissemination of patient or disease data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N7/00—Computer systems based on specific mathematical models
    • G06N7/005—Probabilistic networks
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models

Similar Documents

Publication Publication Date Title
EP0389595B1 (en) Expert system for diagnosing faults
US7385716B1 (en) Authoring tool for bayesian network troubleshooters
JP2002202890A (en) Authoring tools for Bayesian network diagnostic systems
Hu et al. Uncertainty of thoughts: Uncertainty-aware planning enhances information seeking in llms
Coolen et al. Using Bayesian statistics to support testing of software systems
da Cruz Mello et al. Improving the evaluation of change requests using past cases
Strigini et al. Formalising engineering judgement on software dependability via belief networks
Delic et al. Formalising a software safety case via belief networks
Strasser et al. An empirical evaluation of Bayesian networks derived from fault trees
Sprenger Hempel and the Paradoxes of Confirmation
Wooff et al. Bayesian graphical models for high‐complexity testing: aspects of implementation
Yu et al. A bbn approach to certifying the reliability of cots software systems
Paul et al. Defect-based reliability analysis for mission-critical software
Khaefi et al. Estimating the quality of crowdsourced translations based on the characteristics of source and target words and participants
Abbassi et al. A Taxonomy of Inefficiencies in LLM-Generated Python Code
Nejad et al. Automated risk scenario generation using system functional and structural knowledge
Kirikova et al. Using knowledge distribution in requirements engineering
Johnson et al. A data driven approach to elicit causal links between performance shaping factors and human failure events
Przytula et al. Diagnostic assistant based on graphical probabilistic models
Kobs et al. Pollice verso at semeval-2024 task 6: The roman empire strikes back
Altinok et al. Verification and Validation Methods Selection Based on Goal-Oriented Categorization for Simulations
Sierra et al. An intelligent maintenance system for earth-based failure analysis and self-repairing of microsatellites
Oezbek Introducing automated regression testing in Open Source projects
Jones Automated support for test-driven specification
Potiyenko et al. Model-based automated refurbishing of test input data