Yao et al., 2014 - Google Patents
Formal modeling and systematic black-box testing of sdn data planeYao 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 …
- 235000000332 black box 0 title abstract description 12
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
- G06F17/5022—Logic simulation, e.g. for logic circuit operation
-
- 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
- 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/26—Functional testing
- G06F11/263—Generation of test inputs, e.g. test vectors, patterns or sequences; with adaptation of the tested hardware for testability with external testers
-
- 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
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L12/00—Data switching networks
- H04L12/02—Details
- H04L12/26—Monitoring arrangements; Testing arrangements
- H04L12/2697—Testing equipment; Routine testing
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L43/00—Arrangements for monitoring or testing packet switching networks
- H04L43/50—Testing arrangements
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
- G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequence
-
- 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/14—Arrangements for maintenance or administration or management of packet switching networks involving network analysis or design, e.g. simulation, network model or planning
- H04L41/145—Arrangements 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
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements 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 |