Dai et al., 2002 - Google Patents
Timed TTCN-3—a real-time extension for TTCN-3Dai et al., 2002
View PDF- Document ID
- 10948074322620706155
- Author
- Dai Z
- Grabowski J
- Neukirchen H
- Publication year
- Publication venue
- Testing of Communicating Systems XIV: Application to Internet Technologies and Services
External Links
Snippet
Abstract The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation TTCN-3 is a standardized test specification and implementation language to test functional behaviour of …
- 238000011156 evaluation 0 abstract description 50
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/362—Software debugging
- G06F11/3636—Software debugging by tracing the execution of the program
-
- 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
- G06F11/3466—Performance evaluation by tracing or monitoring
-
- 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
-
- 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
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
- G06F2201/86—Event-based monitoring
-
- 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
- G06F9/46—Multiprogramming arrangements
- G06F9/54—Interprogramme communication; Intertask communication
-
- 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/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
-
- 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
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Dai et al. | Timed TTCN-3—a real-time extension for TTCN-3 | |
| Diaz et al. | Observer-a concept for formal on-line validation of distributed systems | |
| Kristensen et al. | The practitioner’s guide to coloured Petri nets | |
| Wells | Performance analysis using CPN tools | |
| Spanoudakis et al. | Non-intrusive monitoring of service-based systems | |
| Khan et al. | Dustminer: troubleshooting interactive complexity bugs in sensor networks | |
| US6611955B1 (en) | Monitoring and testing middleware based application software | |
| US6671830B2 (en) | Method and apparatus for analyzing performance of data processing system | |
| US9442822B2 (en) | Providing a visual representation of a sub-set of a visual program | |
| EP1323042A2 (en) | Debugging coordination-centric software systems based on executions of the software systems | |
| Ober et al. | Validation of UML models via a mapping to communicating extended timed automata | |
| CN109460307A (en) | Micro services a little, which are buried, based on log calls tracking and its system | |
| CN105224296B (en) | Web service Qos attribute evaluation system and its evaluation method based on independent third party | |
| West | Protocol validation—principles and applications | |
| Cavalli et al. | Webmov: A dedicated framework for the modelling and testing of web services composition | |
| Wehrmeister | An aspect-oriented model-driven engineering approach for distributed embedded real-time systems | |
| Dai et al. | DraftSIIM Technical Report | |
| Jézéquel et al. | Validating distributed software modelled with UML | |
| Dai et al. | Timed TTCN-3 Based Graphical Real-Time Test Specification | |
| Martins et al. | A tool for fault injection and conformance testing of distributed systems | |
| Din | 16 TTCN-3 | |
| Probert et al. | Relative-clock-based specification and test result analysis of distributed systems | |
| Jézéquel et al. | Validating distributed software modeled with the Unified Modeling Language | |
| Kühnal et al. | Specification of inefficiency patterns for MPI-2 one-sided communication | |
| Walter et al. | A proposal for a real-time extension of TTCN |