Show simple item record

dc.contributor.advisorLundy, Gilbert M.
dc.contributor.authorBasaran, Cuneyt
dc.dateMarch, 1994
dc.date.accessioned2013-04-26T18:59:23Z
dc.date.available2013-04-26T18:59:23Z
dc.date.issued1994-03
dc.identifier.urihttp://hdl.handle.net/10945/30872
dc.description.abstractThe automation of reachability analysis is an important step in verification of network protocols. The memory size needed for the full state analysis of complex protocols is usually very large and not available on most of the systems. A controlled partial search algorithm 'Supertrace' is implemented in this thesis to analyze protocols that can not be analyzed efficiently by full state search method. Supertrace algorithm provided the analysis of large protocols by generating 80% to 95% more states and is much faster as total process time than full state analysis. Second problem addressed in this thesis is the improvement of conformance testing for protocol implementations. The 'conformance testing' is used to check that the external behavior of a given implementation of a protocol is equivalent to its formal specification. A previously created procedure for conformance test sequence generation is automated in this thesis by the ADA programming language. The software tool implemented, uses a protocol specified formally with systems of communicating machines and creates test sequences as output. The tool was applied to a formal specification of the CSMA/CD and FDDI protocols and the results obtained, was consistent with the previous results. The automation of the tool expanded the applicability of the previous procedure to larger and more complex protocols.en_US
dc.description.urihttp://archive.org/details/automatednetwork1094530872
dc.format.extent93 p.;28 cm.en_US
dc.language.isoen_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.en_US
dc.titleAutomated network protocol reachability analysis with supertrace algorithm and TESTGEN : automated generation of test sequence for a formal protocol specificationen_US
dc.typeThesisen_US
dc.contributor.secondreaderNA
dc.contributor.corporateNA
dc.contributor.departmentComputer Science
dc.subject.authorNAen_US
dc.description.funderNAen_US
dc.description.recognitionNAen_US
dc.description.serviceTurkish Navy author.en_US
etd.thesisdegree.nameM.S. in Computer Scienceen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineComputer Scienceen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record