Sciweavers

    PTS
    2003
    115views Hardware» more  PTS 2003»
    Realizing Distributed TTCN-3 Test Systems with TCI
    13 years 6 months ago
    Realizing Distributed TTCN-3 Test Systems with TCI
    Download  www.testingtech.com
    Distributed test setups for efficient load, performance, scalability, interworking, and end-to-end tests are gaining importance for the assessment of distributed communicating syst...
    Ina Schieferdecker, Theofanis Vassiliou-Gioles
    claim paper
    Read More »
    PTS
    2003
    136views Hardware» more  PTS 2003»
    The UML 2.0 Testing Profile and Its Relation to TTCN-3
    13 years 6 months ago
    The UML 2.0 Testing Profile and Its Relation to TTCN-3
    Download  www.swe.informatik.uni-goettingen.de
    UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the...
    Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, A...
    claim paper
    Read More »
    PTS
    2003
    90views Hardware» more  PTS 2003»
    Testing SIP Call Flows Using XML Protocol Templates
    13 years 6 months ago
    Testing SIP Call Flows Using XML Protocol Templates
    Download  www.antd.nist.gov
    M. Ranganathan, Olivier Deruelle, Doug Montgomery
    claim paper
    Read More »
    PTS
    2003
    73views Hardware» more  PTS 2003»
    Testing Transition Systems with Input and Output Testers
    13 years 6 months ago
    Testing Transition Systems with Input and Output Testers
    Download  www.crim.ca
    The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test ...
    Alexandre Petrenko, Nina Yevtushenko, Jiale Huo
    claim paper
    Read More »
    PTS
    2003
    127views Hardware» more  PTS 2003»
    An Automata-Based Approach to Property Testing in Event Traces
    13 years 6 months ago
    An Automata-Based Approach to Property Testing in Event Traces
    Download  www.crim.ca
    We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
    Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Ale...
    claim paper
    Read More »
    PTS
    2003
    80views Hardware» more  PTS 2003»
    Conformance of Distributed Systems
    13 years 6 months ago
    Conformance of Distributed Systems
    Download  www.testcom2003.org
    Maximilian Frey, Bernd-Holger Schlingloff
    claim paper
    Read More »
    PTS
    2003
    83views Hardware» more  PTS 2003»
    A Guided Method for Testing Timed Input Output Automata
    13 years 6 months ago
    A Guided Method for Testing Timed Input Output Automata
    Download  www.jos.org.cn
    Abdeslam En-Nouaary, Rachida Dssouli
    claim paper
    Read More »
    PTS
    2003
    108views Hardware» more  PTS 2003»
    Fault Diagnosis in Extended Finite State Machines
    13 years 6 months ago
    Fault Diagnosis in Extended Finite State Machines
    Download  www.site.uottawa.ca
    In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
    Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtush...
    claim paper
    Read More »
    PTS
    2003
    101views Hardware» more  PTS 2003»
    Fast Testing of Critical Properties through Passive Testing
    13 years 6 months ago
    Fast Testing of Critical Properties through Passive Testing
    Download  www-lor.int-evry.fr
    José Antonio Arnedo, Ana R. Cavalli, Manuel...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.