Show simple item record

dc.contributor.advisorSarıkaya, Behçeten_US
dc.contributor.authorAteş, Ahmet Feyzien_US
dc.date.accessioned2016-01-08T20:10:56Z
dc.date.available2016-01-08T20:10:56Z
dc.date.issued1993
dc.identifier.urihttp://hdl.handle.net/11693/17507
dc.descriptionAnkara : Department of Computer Engineering and Information Science and Institute of Engineering and Science, Bilkent Univ., 1993.en_US
dc.descriptionThesis (Master's) -- Bilkent University, 1993.en_US
dc.descriptionIncludes bibliographical references leaves 119-123en_US
dc.description.abstractWith the recent increase in the use of formal methods in specification of communication protocols, there is a need to base the conformance testing of protocol implementations on formal specifications. This brings in the problem of finding out special design issues to be used in the specification of such systems that facilitate test generation. This aspect is called Specification For Testability, and it is investigated in this study for the particular formal description technique LOTOS. Specification for testability is approached from the perspective of designing formal base protocol specifications, and then deriving functional specifications from base specifications in order to use in test generation. The method utilized for the derivation of functional specifications is Ccdled slicing. As inspired from previous work in software engineering, slices of protocol specifications are obtained systematically according to the hierarchically designed test suite structures, where each slice corresponds to a particular tunction of the protocol, and subsequent test generation is based on the obtained slices. The techni(|ues developed are demonstrated on the simple state-oriented specifications of INRES and ACSE protocols along with a real base specification of the OSI Transport Protocol written in the constraintoriented specification style. The results indicate that tests derived from functional specifications have some remarkable properties with respect to test case analysis and representation.en_US
dc.description.statementofresponsibilityAteş, Ahmet Feyzien_US
dc.format.extentxii, [155] leavesen_US
dc.language.isoEnglishen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectConformance Testingen_US
dc.subjectSpecification For Testabilityen_US
dc.subjectLOTOSen_US
dc.subjectSlicingen_US
dc.subject.lccQA76.73.L65 A84 1993en_US
dc.subject.lcshLOTOS (Computer program)en_US
dc.subject.lcshComputer software--Development.en_US
dc.titleSlicing approach to specification for testability in LOTOSen_US
dc.typeThesisen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.publisherBilkent Universityen_US
dc.description.degreeM.S.en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record