[go: up one dir, main page]

Kolchin et al., 2013 - Google Patents

An approach to creating concretized test scenarios within test automation technology for industrial software projects

Kolchin et al., 2013

Document ID
10682360330269014266
Author
Kolchin A
Letichevsky A
Peschanenko V
Drobintsev P
Kotlyarov V
Publication year
Publication venue
Automatic Control and Computer Sciences

External Links

Snippet

The paper describes an approach for creation of effective test automation technology for industrial software projects based on a formal model of the system under test, performing its automatic symbolic verification of the model and generation of symbolic traces, then their …
Continue reading at link.springer.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
    • 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
    • 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
    • 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/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G06Q10/063—Operations research or analysis
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • 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
    • G06N5/00—Computer systems utilising knowledge based models

Similar Documents

Publication Publication Date Title
JP5102304B2 (en) Request-based test generation
Linzhang et al. Generating test cases from UML activity diagram based on gray-box method
US11138097B2 (en) Automated web testing framework for generating and maintaining test scripts
US9021440B1 (en) System and method for automated test script generation
Kolchin et al. An approach to creating concretized test scenarios within test automation technology for industrial software projects
US20180239692A1 (en) Electronic technology resource evaluation system
EP3208716A1 (en) System and method for coverage-based automated test case augmentation for design models
CN112052172B (en) Rapid test method and device for third-party channel and electronic equipment
CN111143228B (en) Test code generation method and device based on decision table method
Hooda et al. A review: study of test case generation techniques
US20140214396A1 (en) Specification properties creation for a visual model of a system
Paiva et al. End-to-end automatic business process validation
Allani et al. Verification of BPMN 2.0 process models: an event log-based approach
Karim et al. Automating functional and structural software size measurement based on XML structure of UML sequence diagram
Li et al. Automated functional scenarios-based formal specification animation
Quadri et al. Software quality assurance in component based software development—A survey analysis
CN110928761B (en) Demand chain and system and method for application thereof
Kharchenko et al. Markov's Modeling of NPP I&C Reliability and Safety: Optimization of Tool-and-Technique Selection
Srivastava et al. Cause effect graph to decision table generation
Kaufmann et al. A SAT-based debugging tool for state machines and sequence diagrams
Yichen et al. Modeling embedded software test requirement based on MARTE
Zhang et al. Automated test case generation for embedded software using extended interface automata
Smith et al. A Framework to Expand and Advance Probabilistic Risk Assessment to Support Small Modular Reactors
EP4287027A1 (en) Method and system for generating test cases for an engineering program
Yu et al. A graphical method for multi-signal flow graph modeling and testability analysis based on visio control component