A Novel Testing Approach for Safety-Critical Software

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Zhongwei Xu Articles by Fangmei Wu

Eighth Asian Test Symposium (ATS'99)

Shanghai, China

November 16-November 18

ISBN: 0-7695-0315-2

	ASCII Text	x
	Zhongwei Xu, Fangmei Wu, "A Novel Testing Approach for Safety-Critical Software," Asian Test Symposium, pp. 251, Eighth Asian Test Symposium (ATS'99), 1999.

	BibTex	x
	@article{ 10.1109/ATS.1999.810759, author = {Zhongwei Xu and Fangmei Wu}, title = {A Novel Testing Approach for Safety-Critical Software}, journal ={Asian Test Symposium}, volume = {0}, year = {1999}, issn = {1081-7735}, pages = {251}, doi = {http://doi.ieeecomputersociety.org/10.1109/ATS.1999.810759}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Asian Test Symposium TI - A Novel Testing Approach for Safety-Critical Software SN - 1081-7735 SP EP A1 - Zhongwei Xu, A1 - Fangmei Wu, PY - 1999 KW - Software-critical software KW - software testing KW - interlocking VL - 0 JA - Asian Test Symposium ER -

Zhongwei Xu, Shanghai Tiedao University

Fangmei Wu, Shanghai Tiedao University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ATS.1999.810759

In this paper we propose a new black-box testing approach on how to select test cases to overcome the shortcoming that some conventional black-box testing methods lack precise testing adequacy measures to measure the quality of testing and direct the testing process and thoroughly test safety-critical software. The method is based on two key ideas: (1)specification classifying, and (2)controlled objects covering. By using the method, several kinds of computer interlocking safety software have been successfully tested and the testing results show that the method is efficient.

Index Terms:

Software-critical software, software testing, interlocking

Citation:

Zhongwei Xu, Fangmei Wu, "A Novel Testing Approach for Safety-Critical Software," ats, pp.251, Eighth Asian Test Symposium (ATS'99), 1999

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.