skip to content
Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993 Preview this item
ClosePreview this item
Checking...

Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993

Author: Omar Rafiq; International Federation for Information Processing. Technical Committee 6.; IFIP Working Group 1.6.
Publisher: Amsterdam ; New York : North-Holland, 1994.
Series: IFIP transactions., C,, Communication systems ;, C-19.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Contains contributions on the theory and practice of protocol testing. The papers cover different approaches, including formal methods for conformance testing, test generation and coverage,  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Omar Rafiq; International Federation for Information Processing. Technical Committee 6.; IFIP Working Group 1.6.
ISBN: 0444816976 9780444816979
OCLC Number: 29429857
Description: xiii, 378 pages : illustrations ; 23 cm.
Contents: Part 1 Invited paper I: formal methods for conformance testing - results and perspectives, A.R. Cavalli et al; test generation and coverage - fault coverage of UIO-based methods for protocol tesing, H. Motteler et al; executable testers, M. Phalippou; generating tests for control portion of SDL specifications, G. Luo et al; test suite generation for application layer protocols from formal specifications in Estelle, O. Henniger et al; tutorial - a framework for the design for testability of communication protocols, S.T. Vuong et al; testability and architecture - on evaluation of testability of protocol structures, A. Petrenko et al; ATM broadband network testing using the ferry principle, M.F. Witteman and R.C. van Wuijtswinkel; generating synchronizable test sequences based on finite state machine with distributed ports, G. Luo et al. Part 2 Invited paper II: conformance relations and test derivation, A. Petrenko et al; industrial reports and tools - experiences with computer aided test case generation, A. Ek et al; protocol test case vizualization, P. Kalyanasundaram and P.D. Amer; the UBC protocol testing environment, S.T. Chanson et al; experience with Octopus automated TTCN translation tools applied to GSM/SS7, A. Ahtiainen et al. Part 3 Invited paper III: a formal approach to conformance testing, J. Tretmans; test generation - test derivation from LOTOS using structure information, A. Ulrich and H. Konig. Part 4 Invited paper IV: the refusal graph - a tradeoff between verification and test, K. Drira; interoperability and nondeterminism - interoperability testing - basis for the acceptance of communication systems, G. Vermeer and H. Blik; deriving coordinated testers for interoperability, R. Castanet and O. Kone; adaptive testing of non-deterministic communication protocols, M. Ghriga and P.G. Frankl; nondeterministic state machines in protocol conformance testing, A. Petrenko et al.
Series Title: IFIP transactions., C,, Communication systems ;, C-19.
Other Titles: Protocol test systems, 6
Protocol test systems, six
Responsibility: edited by Omar Rafiq.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/29429857> # Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "29429857" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/31584631#Place/amsterdam> ; # Amsterdam
   schema:about <http://dewey.info/class/004.620287/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/31584631#Topic/datatransmissie> ; # Datatransmissie
   schema:about <http://experiment.worldcat.org/entity/work/data/31584631#Thing/computers> ; # Computers
   schema:about <http://experiment.worldcat.org/entity/work/data/31584631#Topic/computer_network_protocols_testing> ; # Computer network protocols--Testing
   schema:about <http://experiment.worldcat.org/entity/work/data/31584631#Topic/protocollen_informatica> ; # Protocollen (informatica)
   schema:about <http://id.worldcat.org/fast/872287> ; # Computer network protocols--Testing
   schema:alternateName "Protocol test systems, six" ;
   schema:alternateName "Protocol test systems, 6" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/130178836> ; # International Federation for Information Processing. Technical Committee 6.
   schema:contributor <http://viaf.org/viaf/113739302> ; # Omar Rafiq
   schema:contributor <http://experiment.worldcat.org/entity/work/data/31584631#Organization/ifip_working_group_1_6> ; # IFIP Working Group 1.6.
   schema:creator <http://experiment.worldcat.org/entity/work/data/31584631#Meeting/ifip_tc6_wg6_1_international_workshop_on_protocol_test_systems_6th_1993_pau_france> ; # IFIP TC6/WG6.1 International Workshop on Protocol Test Systems (6th : 1993 : Pau, France)
   schema:datePublished "1994" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/31584631> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0926-549X> ; # IFIP transactions.
   schema:name "Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993"@en ;
   schema:productID "29429857" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/29429857#PublicationEvent/amsterdam_new_york_north_holland_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/31584631#Agent/north_holland> ; # North-Holland
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=008452915&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9780444816979> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9409260> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/29429857> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/31584631#Meeting/ifip_tc6_wg6_1_international_workshop_on_protocol_test_systems_6th_1993_pau_france> # IFIP TC6/WG6.1 International Workshop on Protocol Test Systems (6th : 1993 : Pau, France)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/31584631#Place/pau_france> ; # Pau, France)
   schema:name "IFIP TC6/WG6.1 International Workshop on Protocol Test Systems (6th : 1993 : Pau, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/31584631#Organization/ifip_working_group_1_6> # IFIP Working Group 1.6.
    a schema:Organization ;
   schema:name "IFIP Working Group 1.6." ;
    .

<http://experiment.worldcat.org/entity/work/data/31584631#Topic/protocollen_informatica> # Protocollen (informatica)
    a schema:Intangible ;
   schema:name "Protocollen (informatica)"@en ;
    .

<http://id.worldcat.org/fast/872287> # Computer network protocols--Testing
    a schema:Intangible ;
   schema:name "Computer network protocols--Testing"@en ;
    .

<http://viaf.org/viaf/113739302> # Omar Rafiq
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Rafiq" ;
   schema:givenName "Omar" ;
   schema:name "Omar Rafiq" ;
    .

<http://viaf.org/viaf/130178836> # International Federation for Information Processing. Technical Committee 6.
    a schema:Organization ;
   schema:name "International Federation for Information Processing. Technical Committee 6." ;
    .

<http://worldcat.org/isbn/9780444816979>
    a schema:ProductModel ;
   schema:isbn "0444816976" ;
   schema:isbn "9780444816979" ;
    .

<http://worldcat.org/issn/0926-549X> # IFIP transactions.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/29429857> ; # Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993
   schema:issn "0926-549X" ;
   schema:name "IFIP transactions." ;
   schema:name "IFIP transactions. C, Communication systems," ;
    .

<http://www.worldcat.org/title/-/oclc/29429857>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/29429857> ; # Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993
   schema:dateModified "2017-12-25" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.