Show simple item record

dc.contributor.advisorStålhane, Tornb_NO
dc.contributor.authorBjørgan, Arnenb_NO
dc.date.accessioned2014-12-19T13:37:45Z
dc.date.available2014-12-19T13:37:45Z
dc.date.created2011-10-03nb_NO
dc.date.issued2011nb_NO
dc.identifier445178nb_NO
dc.identifierntnudaim:6150nb_NO
dc.identifier.urihttp://hdl.handle.net/11250/252607
dc.description.abstractAs software systems increasingly are used to control critical infrastructure, transportation systems and factory equipment, the use of proper testing methods has become more important. Systems that can cause harm to people, equipment or the environment they operate in are called safety critical systems.The suppliers of safety critical systems makes use of safety analysis methods to investigate possible hazards. The ouput from the analysis are possible causes and effects of the hazards found. These results are a large part of the basis for writing safety requirements for the system.The safety requirements should be tested thoroughly to avoid accidents. It is important that the right testing technique is applied to test these systems. The consequences of a system failure can be very high, so it is crucial to make use of a testing technique that has an approach that fits safety testing best. This thesis presents an experiment that looks into these questions. Also, the experiment investigates how the barrier model and safety analysis results helps in writing test cases for these systems.nb_NO
dc.languageengnb_NO
dc.publisherInstitutt for datateknikk og informasjonsvitenskapnb_NO
dc.subjectntnudaim:6150no_NO
dc.subjectMTDT datateknikkno_NO
dc.subjectProgram- og informasjonssystemerno_NO
dc.titleTesting of safety mechanisms in software-intensive systemsnb_NO
dc.typeMaster thesisnb_NO
dc.source.pagenumber112nb_NO
dc.contributor.departmentNorges teknisk-naturvitenskapelige universitet, Fakultet for informasjonsteknologi, matematikk og elektroteknikk, Institutt for datateknikk og informasjonsvitenskapnb_NO


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record