Sciweavers

    PTS
    2003
    136views Hardware» more  PTS 2003»
    The UML 2.0 Testing Profile and Its Relation to TTCN-3
    14 years 24 days 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
    14 years 24 days 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
    14 years 24 days 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
    14 years 24 days 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
    14 years 24 days 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
    14 years 24 days 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
    14 years 24 days 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
    14 years 24 days 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 »
    PTS
    2004
    86views Hardware» more  PTS 2004»
    From Safety Verification to Safety Testing
    14 years 25 days ago
    From Safety Verification to Safety Testing
    Download  pop-art.inrialpes.fr
    A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
    Vlad Rusu, Hervé Marchand, Valéry Ts...
    claim paper
    Read More »
    PTS
    2004
    88views Hardware» more  PTS 2004»
    From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices
    14 years 25 days ago
    From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices
    Download  www.swe.informatik.uni-goettingen.de
    The UML Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology of how to use the testing profile in order to modify and extend an ...
    Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Ho...
    claim paper
    Read More »
    « first‹ previous1234next ›last »
    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.