A New Approach to Checking Sequence Generation for Finite State Machines

Show simple item record

dc.contributor.advisor Kuo-Chung Tai, Chair en_US
dc.contributor.advisor Mladen A. Vouk, Member en_US
dc.contributor.advisor Purushotaman Iyer, Member en_US
dc.contributor.author Serdar, Burak en_US
dc.date.accessioned 2010-04-02T18:02:20Z
dc.date.available 2010-04-02T18:02:20Z
dc.date.issued 2001-05-21 en_US
dc.identifier.other etd-20010515-204347 en_US
dc.identifier.uri http://www.lib.ncsu.edu/resolver/1840.16/1223
dc.description.abstract This thesis presents a formal model of checking sequencegeneration for finite state specifications, based on the machine identificationproblem. The machine identification problem is concerned with drawingconclusions about the internals of an unknown machine by performing experimentson it. Using this approach, the properties of checking sequences are describedin the context of abstract experiments. This formal model is used toprove fault coverage properties of some of the existing checking sequence generation methods. The same model is alsoused to develop two new checking sequence generation methods, one usingUIO sequences and the other using a distinguishing sequence together withUIO sequences. These two new methods do not use the reset feature.Empirical results indicate that these new methods have advantages overexisting methods for checking sequence generation. en_US
dc.rights I hereby certify that, if appropriate, I have obtained and attached hereto a written permission statement from the owner(s) of each third party copyrighted matter to be included in my thesis, dissertation, or project report, allowing distribution as specified below. I certify that the version I submitted is the same as that approved by my advisory committee. I hereby grant to NC State University or its agents the non-exclusive license to archive and make accessible, under the conditions specified below, my thesis, dissertation, or project report in whole or in part in all forms of media, now or hereafter known. I retain all other ownership rights to the copyright of the thesis, dissertation or project report. I also retain the right to use in future works (such as articles or books) all or part of this thesis, dissertation, or project report. en_US
dc.title A New Approach to Checking Sequence Generation for Finite State Machines en_US
dc.degree.name MS en_US
dc.degree.level Master's Thesis en_US
dc.degree.discipline Computer Science en_US

Files in this item

Files Size Format View
etd.pdf 412.3Kb PDF View/Open

This item appears in the following Collection(s)

Show simple item record