[go: up one dir, main page]

Maloku et al., 2001 - Google Patents

SDL-based feasible test generation for communication protocols

Maloku et al., 2001

Document ID
948779409117590015
Author
Maloku N
Frey-Pucko M
Publication year
Publication venue
EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No. 01EX439)

External Links

Snippet

Generation of test cases from a protocol specification for the purposes of testing both control and data flow aspects of a protocol implementation is a challenging problem. We propose an approach for protocols based on extended finite state machine (EFSM) models. Basically …
Continue reading at ieeexplore.ieee.org (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
    • 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
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • 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
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • 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
    • 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/70—Software maintenance or management
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00—Arrangements for maintenance or administration or management of packet switching networks
    • H04L41/22—Arrangements for maintenance or administration or management of packet switching networks using GUI [Graphical User Interface]
    • 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

Similar Documents

Publication Publication Date Title
US6385765B1 (en) Specification and verification for concurrent systems with graphical and textual editors
JP5608203B2 (en) Request-based test generation
US5371883A (en) Method of testing programs in a distributed environment
Korel et al. Slicing of state-based models
US7917896B2 (en) Extensible execution language
EP0869433A2 (en) A test development system and method for software with a graphical user interface
Nayak et al. Automatic Test Data Synthesis using UML Sequence Diagrams.
Bouloutas et al. Fault identification using a finite state machine model with unreliable partially observed data sequences
Bigot et al. Automatic test generation with AGATHA
Baker et al. Automatic generation of conformance tests from message sequence charts
Koppol et al. An incremental approach to structural testing of concurrent software
Yao et al. Formal modeling and systematic black-box testing of sdn data plane
Bourhfir et al. Automatic test generation for EFSM-based systems
Li et al. Swe-debate: Competitive multi-agent debate for software issue resolution
Boucher et al. Transforming workflow models into automated end-to-end acceptance test cases
Posse et al. Processing causal block diagrams with graphgrammars in atom3
Maloku et al. SDL-based feasible test generation for communication protocols
Ryser et al. On the State of the Art in Requirements-based Validation and Test of Software
Jiang et al. Automation of test case generation from textual use cases
BELL et al. Model-based mutation testing using pushdown automata
De Francesco et al. Abstract interpretation and model checking for checking secure information flow in concurrent systems
Dhatchayani et al. Test Case Generation and Reusing Test Cases for GUI Designed with HTML.
Patil et al. Functional Test Case Generation based on Model Driven Testing using FSM and UML Activity Diagram.
Henniger et al. Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications.
Colangelo et al. Reducing software architecture models complexity: A slicing and abstraction approach