[go: up one dir, main page]

Dai et al., 2001 - Google Patents

DraftSIIM Technical Report

Dai et al., 2001

View PDF
Document ID
15923501688970555127
Author
Dai Z
Grabowski J
Neukirchen H
Publication year

External Links

Snippet

One of the most challenging research areas in testing is the testing of distributed real-time systems. Such systems are getting an ever increasing importance in daily life, such as for business and administration (eg, E-Commerce), for home (eg, home brokerage), teaching …
Continue reading at www-interval.imag.fr (PDF) (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/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
    • 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/25—Testing of logic operation, e.g. by logic analysers
    • 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
    • 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
    • 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
US6611955B1 (en) Monitoring and testing middleware based application software
Wells Performance analysis using CPN tools
Olsson et al. A dataflow approach to event‐based debugging
Cleaveland et al. Testing preorders for probabilistic processes
US20080059436A1 (en) Providing a visual representation of a sub-set of a visual program
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
US6477487B1 (en) Remote terminal emulator
Cavalli et al. Webmov: A dedicated framework for the modelling and testing of web services composition
Tretmans Testing techniques
Dai et al. DraftSIIM Technical Report
CN109271309A (en) Method and device, server, equipment and the storage medium of automatic test software
Vuong et al. A framework for the design for testability of communication protocols
Barnett et al. Conformance checking of components against their non-deterministic specifications
Bochmann et al. Test result analysis and validation of test verdicts
Dai et al. Timed TTCN-3 Based Graphical Real-Time Test Specification
Schieferdecker et al. Conformance testing with TTCN
Martins et al. A tool for fault injection and conformance testing of distributed systems
Probert et al. Relative-clock-based specification and test result analysis of distributed systems
Syriani et al. Modeling web systems using SDL
Din 16 TTCN-3
Rasch et al. Checking the validity of scenarios in UML models