[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Yao et al., 2014 - Google Patents

Formal modeling and systematic black-box testing of sdn data plane

Yao et al., 2014

Document ID
964526272783318185
Author
Yao J
Wang Z
Yin X
Shiyz X
Wu J
Publication year
Publication venue
2014 IEEE 22nd International Conference on Network Protocols

External Links

Snippet

Existing tools for Software-Defined Networking (SDN) data plane testing can be classified into two classes: white box and black-box. For the former, all or part of source codes should be accessed. But for testers outside the manufacturers, the accessing of source code is …
Continue reading at ieeexplore.ieee.org (other versions)

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3688Test management for test execution, e.g. scheduling of test suites
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50Computer-aided design
    • G06F17/5009Computer-aided design using simulation
    • G06F17/5022Logic simulation, e.g. for logic circuit operation
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50Computer-aided design
    • G06F17/5009Computer-aided design using simulation
    • G06F17/504Formal methods
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/22Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26Functional testing
    • G06F11/263Generation of test inputs, e.g. test vectors, patterns or sequences; with adaptation of the tested hardware for testability with external testers
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/362Software debugging
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00Data switching networks
    • H04L12/02Details
    • H04L12/26Monitoring arrangements; Testing arrangements
    • H04L12/2697Testing equipment; Routine testing
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L43/00Arrangements for monitoring or testing packet switching networks
    • H04L43/50Testing arrangements
    • GPHYSICS
    • G01MEASURING; TESTING
    • G01RMEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317Testing of digital circuits
    • G01R31/3181Functional testing
    • G01R31/3183Generation of test inputs, e.g. test vectors, patterns or sequence
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00Arrangements for maintenance or administration or management of packet switching networks
    • H04L41/14Arrangements for maintenance or administration or management of packet switching networks involving network analysis or design, e.g. simulation, network model or planning
    • H04L41/145Arrangements for maintenance or administration or management of packet switching networks involving network analysis or design, e.g. simulation, network model or planning involving simulating, designing, planning or modelling of a network
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for programme control, e.g. control unit
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering

Similar Documents

Publication Publication Date Title
Yao et al. Formal modeling and systematic black-box testing of sdn data plane
US6385765B1 (en) Specification and verification for concurrent systems with graphical and textual editors
Sarma et al. Automatic test case generation from UML sequence diagram
Huang et al. Complete model-based equivalence class testing for nondeterministic systems
Dranidis et al. JSXM: A tool for automated test generation
Santiago et al. An environment for automated test case generation from statechart-based and finite state machine-based behavioral models
Kim et al. Formal verification of SDN-based firewalls by using TLA+
Grinschgl et al. Automatic saboteur placement for emulation-based multi-bit fault injection
Bochmann et al. Automating the process of test derivation from SDL specifications
Ambrosio et al. A conformance testing process for space applications software services
Jiang et al. Optimal test case generation for Simulink models using slicing
Ipate Complete deterministic stream X-machine testing
Luo et al. Clustering and tailoring user session data for testing web applications
Ryser et al. On the State of the Art in Requirements-based Validation and Test of Software
Yao et al. Testing black-box sdn applications with formal behavior models
US20160224456A1 (en) Method for verifying generated software, and verifying device for carrying out such a method
Zhu et al. Using category theory to verify implementation against design in concurrent systems
George Constructing covering arrays using parallel computing and grid computing
Tabourier et al. A GSM-MAP protocol experiment using passive testing
CN110659215A (en) Open type industrial APP rapid development and test verification method
Ambrosio et al. A methodology for designing fault injection experiments as an addition to communication systems conformance testing
US10268786B2 (en) System and method for capturing transaction specific stage-wise log data
Machado et al. Automatic test-case generation
Berrada et al. Testing communicating systems: A model, a methodology, and a tool
Deussen et al. Formal test purposes and the validity of test cases