[go: up one dir, main page]

Bartocci et al., 2020 - Google Patents

Adaptive Testing for Specification Coverage

Bartocci et al., 2020

View PDF
Document ID
3248160611058525526
Author
Bartocci E
Bloem R
Maderbacher B
Manjunath N
Ničković D
Publication year
Publication venue
arXiv preprint arXiv:2010.06674

External Links

Snippet

Ensuring correctness of cyber-physical systems (CPS) is an extremely challenging task that is in practice often addressed with simulation based testing. Formal specification languages, such as Signal Temporal Logic (STL), are used to mathematically express CPS …
Continue reading at arxiv.org (PDF) (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/3676—Test management for coverage analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
    • G06F21/577—Assessing vulnerabilities and evaluating computer system security
    • 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/3604—Software analysis for verifying properties of programs
    • G06F11/3612—Software analysis for verifying properties of programs by runtime analysis
    • 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/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • 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/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/504—Formal methods
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/55—Detecting local intrusion or implementing counter-measures
    • 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
    • G06N5/025—Extracting rules from data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2221/00—Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • 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
    • G06F9/00—Arrangements for programme control, e.g. control unit

Similar Documents

Publication Publication Date Title
Utting et al. A taxonomy of model‐based testing approaches
Ramirez et al. Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems
Clark et al. Semantic mutation testing
Muñoz et al. A performance-oriented monitoring system for security properties in cloud computing applications
US10409706B2 (en) Automated test generation for structural coverage for temporal logic falsification of cyber-physical systems
Cimatti et al. Formalizing requirements with object models and temporal constraints
Rodriguez et al. A General Testability Theory: Classes, properties, complexity, and testing reductions
Bartocci et al. Adaptive testing for specification coverage in CPS models
Iqbal et al. Combining search-based and adaptive random testing strategies for environment model-based testing of real-time embedded systems
Walkinshaw et al. Inferring computational state machine models from program executions
Meng et al. Ensuring the observability of structural test obligations
Reger Automata based monitoring and mining of execution traces
Saumya et al. Xstressor: Automatic generation of large-scale worst-case test inputs by inferring path conditions
Marshall et al. Assessing the risk of an adaptation using prior compliance verification
Xu et al. Automated integration testing using logical contracts
Valueian et al. Constructing automated test oracle for low observable software
Abdulkhaleq et al. A systematic and semi-automatic safety-based test case generation approach based on systems-theoretic process analysis
Bartocci et al. Adaptive Testing for Specification Coverage
Krenn et al. Test case generation by contract mutation in spec
Zhang et al. Test case prioritization technique based on error probability and severity of UML models
Shen et al. Neuro-symbolic execution: The feasibility of an inductive approach to symbolic execution
Xu et al. ESampler: Efficient sampling of satisfying assignments for boolean formulas
Hasuo et al. Safety Assurance Under Uncertainties: From Software to Cyber-physical/machine Learning Systems
Zhang Cutting the root of hallucination: Structural trimming for vulnerability mitigation in code llms
Zhou et al. Runtime verification in uncertain environment based on probabilistic model learning