Change search
ReferencesLink to record
Permanent link

Direct link
Testing of safety mechanisms in software-intensive systems
Norwegian University of Science and Technology, Faculty of Information Technology, Mathematics and Electrical Engineering, Department of Computer and Information Science.
2011 (English)MasteroppgaveStudent thesis
Abstract [en]

As 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.

Place, publisher, year, edition, pages
Institutt for datateknikk og informasjonsvitenskap , 2011. , 112 p.
Keyword [no]
ntnudaim:6150, MTDT datateknikk, Program- og informasjonssystemer
URN: urn:nbn:no:ntnu:diva-13992Local ID: ntnudaim:6150OAI: diva2:445178
Available from: 2011-10-03 Created: 2011-10-03

Open Access in DiVA

fulltext(4287 kB)167 downloads
File information
File name FULLTEXT01.pdfFile size 4287 kBChecksum SHA-512
Type fulltextMimetype application/pdf
cover(47 kB)17 downloads
File information
File name COVER01.pdfFile size 47 kBChecksum SHA-512
Type coverMimetype application/pdf

By organisation
Department of Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 167 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 80 hits
ReferencesLink to record
Permanent link

Direct link