A safety test case generation approach for airborne software based on general failure modes

Yunfeng Lu; Chao Li; Yang Liu

doi:10.1109/ICSESS47205.2019.9040784

A safety test case generation approach for airborne software based on general failure modes

Yunfeng Lu
, Chao Li
, Yang Liu

School of Reliability and Systems Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

The safety of airborne software has an important impact on the flight safety of aircraft, and software safety testing is an important means to improve software safety. Previous studies have proposed a variety of software safety testing methods, but in the case of coarse software safety requirements, it cannot generate sufficient test cases. Moreover, the quality of software safety test cases relies heavily on the experience and capabilities of the software testers. This paper proposes a safety test case generation approach for airborne software based on general failure modes, which extracts general failure modes and suggests key test points. Even if the software safety requirements are incomplete, it can assist software testers to generate safety test cases and improve the sufficiency of software safety testing. Besides, using this approach can also improve the efficiency of generating software safety test cases. The application case study proved the approach is usable and valid.

Original language	English
Title of host publication	Proceedings of 2019 IEEE 10th International Conference on Software Engineering and Service Science, ICSESS 2019
Editors	Wenzheng Li, M. Surendra Prasad Babu
Publisher	IEEE Computer Society
Pages	456-461
Number of pages	6
ISBN (Electronic)	9781728109459
DOIs	https://doi.org/10.1109/ICSESS47205.2019.9040784
State	Published - Oct 2019
Event	10th IEEE International Conference on Software Engineering and Service Science, ICSESS 2019 - Beijing, China Duration: 18 Oct 2019 → 20 Oct 2019

Publication series

Name	Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS
Volume	2019-October
ISSN (Print)	2327-0586
ISSN (Electronic)	2327-0594

Conference

Conference	10th IEEE International Conference on Software Engineering and Service Science, ICSESS 2019
Country/Territory	China
City	Beijing
Period	18/10/19 → 20/10/19

Keywords

Failure modes
Software safety testing
Test case

Access to Document

10.1109/ICSESS47205.2019.9040784

Cite this

Lu, Y., Li, C., & Liu, Y. (2019). A safety test case generation approach for airborne software based on general failure modes. In W. Li, & M. S. P. Babu (Eds.), Proceedings of 2019 IEEE 10th International Conference on Software Engineering and Service Science, ICSESS 2019 (pp. 456-461). Article 9040784 (Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS; Vol. 2019-October). IEEE Computer Society. https://doi.org/10.1109/ICSESS47205.2019.9040784

Lu, Yunfeng ; Li, Chao ; Liu, Yang. / A safety test case generation approach for airborne software based on general failure modes. Proceedings of 2019 IEEE 10th International Conference on Software Engineering and Service Science, ICSESS 2019. editor / Wenzheng Li ; M. Surendra Prasad Babu. IEEE Computer Society, 2019. pp. 456-461 (Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS).

@inproceedings{85c8fc1613704393a1a5271b989033a7,

title = "A safety test case generation approach for airborne software based on general failure modes",

abstract = "The safety of airborne software has an important impact on the flight safety of aircraft, and software safety testing is an important means to improve software safety. Previous studies have proposed a variety of software safety testing methods, but in the case of coarse software safety requirements, it cannot generate sufficient test cases. Moreover, the quality of software safety test cases relies heavily on the experience and capabilities of the software testers. This paper proposes a safety test case generation approach for airborne software based on general failure modes, which extracts general failure modes and suggests key test points. Even if the software safety requirements are incomplete, it can assist software testers to generate safety test cases and improve the sufficiency of software safety testing. Besides, using this approach can also improve the efficiency of generating software safety test cases. The application case study proved the approach is usable and valid.",

keywords = "Failure modes, Software safety testing, Test case",

author = "Yunfeng Lu and Chao Li and Yang Liu",

note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 10th IEEE International Conference on Software Engineering and Service Science, ICSESS 2019 ; Conference date: 18-10-2019 Through 20-10-2019",

year = "2019",

month = oct,

doi = "10.1109/ICSESS47205.2019.9040784",

language = "英语",

series = "Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS",

publisher = "IEEE Computer Society",

pages = "456--461",

editor = "Wenzheng Li and Babu, \{M. Surendra Prasad\}",

booktitle = "Proceedings of 2019 IEEE 10th International Conference on Software Engineering and Service Science, ICSESS 2019",

address = "美国",

}

Lu, Y, Li, C & Liu, Y 2019, A safety test case generation approach for airborne software based on general failure modes. in W Li & MSP Babu (eds), Proceedings of 2019 IEEE 10th International Conference on Software Engineering and Service Science, ICSESS 2019., 9040784, Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS, vol. 2019-October, IEEE Computer Society, pp. 456-461, 10th IEEE International Conference on Software Engineering and Service Science, ICSESS 2019, Beijing, China, 18/10/19. https://doi.org/10.1109/ICSESS47205.2019.9040784

A safety test case generation approach for airborne software based on general failure modes. / Lu, Yunfeng; Li, Chao; Liu, Yang.
Proceedings of 2019 IEEE 10th International Conference on Software Engineering and Service Science, ICSESS 2019. ed. / Wenzheng Li; M. Surendra Prasad Babu. IEEE Computer Society, 2019. p. 456-461 9040784 (Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS; Vol. 2019-October).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A safety test case generation approach for airborne software based on general failure modes

AU - Lu, Yunfeng

AU - Li, Chao

AU - Liu, Yang

PY - 2019/10

Y1 - 2019/10

N2 - The safety of airborne software has an important impact on the flight safety of aircraft, and software safety testing is an important means to improve software safety. Previous studies have proposed a variety of software safety testing methods, but in the case of coarse software safety requirements, it cannot generate sufficient test cases. Moreover, the quality of software safety test cases relies heavily on the experience and capabilities of the software testers. This paper proposes a safety test case generation approach for airborne software based on general failure modes, which extracts general failure modes and suggests key test points. Even if the software safety requirements are incomplete, it can assist software testers to generate safety test cases and improve the sufficiency of software safety testing. Besides, using this approach can also improve the efficiency of generating software safety test cases. The application case study proved the approach is usable and valid.

AB - The safety of airborne software has an important impact on the flight safety of aircraft, and software safety testing is an important means to improve software safety. Previous studies have proposed a variety of software safety testing methods, but in the case of coarse software safety requirements, it cannot generate sufficient test cases. Moreover, the quality of software safety test cases relies heavily on the experience and capabilities of the software testers. This paper proposes a safety test case generation approach for airborne software based on general failure modes, which extracts general failure modes and suggests key test points. Even if the software safety requirements are incomplete, it can assist software testers to generate safety test cases and improve the sufficiency of software safety testing. Besides, using this approach can also improve the efficiency of generating software safety test cases. The application case study proved the approach is usable and valid.

KW - Failure modes

KW - Software safety testing

KW - Test case

UR - https://www.scopus.com/pages/publications/85082855550

U2 - 10.1109/ICSESS47205.2019.9040784

DO - 10.1109/ICSESS47205.2019.9040784

M3 - 会议稿件

AN - SCOPUS:85082855550

T3 - Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS

SP - 456

EP - 461

BT - Proceedings of 2019 IEEE 10th International Conference on Software Engineering and Service Science, ICSESS 2019

A2 - Li, Wenzheng

A2 - Babu, M. Surendra Prasad

PB - IEEE Computer Society

T2 - 10th IEEE International Conference on Software Engineering and Service Science, ICSESS 2019

Y2 - 18 October 2019 through 20 October 2019

ER -

Lu Y, Li C, Liu Y. A safety test case generation approach for airborne software based on general failure modes. In Li W, Babu MSP, editors, Proceedings of 2019 IEEE 10th International Conference on Software Engineering and Service Science, ICSESS 2019. IEEE Computer Society. 2019. p. 456-461. 9040784. (Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS). doi: 10.1109/ICSESS47205.2019.9040784

A safety test case generation approach for airborne software based on general failure modes

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this