Viewpoint-based test analysis for dependable onboard flight software

Takao Mori; Shinya Iwasaki; Shohgo Ujihara; Naohiko Kohtake; Yasuharu Nishi

doi:10.1109/SMC-IT.2009.17

Viewpoint-based test analysis for dependable onboard flight software

Takao Mori, Shinya Iwasaki, Shohgo Ujihara, Naohiko Kohtake, Yasuharu Nishi

Graduate School of System Design and Management

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

Abstract

The quality of onboard flight software plays a significant role in the effort to succeed with more demanding space mission requirements. To improve software quality, the Japan Aerospace Exploration Agency (JAXA) has applied software independent verification and validation (IV&V) for various software systems[1]. As part of this activities, test analysis has been conducted on some dependable flight software. The aim is to establish a methodology to efficiently identify "what to test", and also to obtain the points of view in test design that is adequate to each spacecrafts characteristics. For this purpose, we have introduced the concept of viewpoint of testing, enacted test analysis based on the concept, and evaluated existing test suites using these results. In this paper, we describe the concept and methodology of test analysis for dependable flight software based-on our experiences, as well as the result of our evaluations of existing test suites.

Original language	English
Title of host publication	Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009
Pages	77-82
Number of pages	6
DOIs	https://doi.org/10.1109/SMC-IT.2009.17
Publication status	Published - 2009 Nov 12
Event	2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009 - Pasadena, CA, United States Duration: 2009 Jul 19 → 2009 Jul 23

Publication series

Name	Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009

Other

Other	2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009
Country/Territory	United States
City	Pasadena, CA
Period	09/7/19 → 09/7/23

ASJC Scopus subject areas

Computer Science Applications
Software
Aerospace Engineering

Access to Document

10.1109/SMC-IT.2009.17

Cite this

Mori, T., Iwasaki, S., Ujihara, S., Kohtake, N., & Nishi, Y. (2009). Viewpoint-based test analysis for dependable onboard flight software. In Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009 (pp. 77-82). (Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009). https://doi.org/10.1109/SMC-IT.2009.17

Viewpoint-based test analysis for dependable onboard flight software. / Mori, Takao; Iwasaki, Shinya; Ujihara, Shohgo et al.
Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009. 2009. p. 77-82 (Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009).

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

Mori, T, Iwasaki, S, Ujihara, S, Kohtake, N & Nishi, Y 2009, Viewpoint-based test analysis for dependable onboard flight software. in Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009. Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009, pp. 77-82, 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009, Pasadena, CA, United States, 09/7/19. https://doi.org/10.1109/SMC-IT.2009.17

Mori T, Iwasaki S, Ujihara S, Kohtake N, Nishi Y. Viewpoint-based test analysis for dependable onboard flight software. In Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009. 2009. p. 77-82. (Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009). doi: 10.1109/SMC-IT.2009.17

Mori, Takao ; Iwasaki, Shinya ; Ujihara, Shohgo et al. / Viewpoint-based test analysis for dependable onboard flight software. Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009. 2009. pp. 77-82 (Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009).

@inproceedings{4172b8ed3de044beb11922a64d625fd8,

title = "Viewpoint-based test analysis for dependable onboard flight software",

abstract = "The quality of onboard flight software plays a significant role in the effort to succeed with more demanding space mission requirements. To improve software quality, the Japan Aerospace Exploration Agency (JAXA) has applied software independent verification and validation (IV&V) for various software systems[1]. As part of this activities, test analysis has been conducted on some dependable flight software. The aim is to establish a methodology to efficiently identify {"}what to test{"}, and also to obtain the points of view in test design that is adequate to each spacecrafts characteristics. For this purpose, we have introduced the concept of viewpoint of testing, enacted test analysis based on the concept, and evaluated existing test suites using these results. In this paper, we describe the concept and methodology of test analysis for dependable flight software based-on our experiences, as well as the result of our evaluations of existing test suites.",

author = "Takao Mori and Shinya Iwasaki and Shohgo Ujihara and Naohiko Kohtake and Yasuharu Nishi",

year = "2009",

month = nov,

day = "12",

doi = "10.1109/SMC-IT.2009.17",

language = "English",

isbn = "9780769536378",

series = "Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009",

pages = "77--82",

booktitle = "Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009",

note = "2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009 ; Conference date: 19-07-2009 Through 23-07-2009",

}

TY - GEN

T1 - Viewpoint-based test analysis for dependable onboard flight software

AU - Mori, Takao

AU - Iwasaki, Shinya

AU - Ujihara, Shohgo

AU - Kohtake, Naohiko

AU - Nishi, Yasuharu

PY - 2009/11/12

Y1 - 2009/11/12

N2 - The quality of onboard flight software plays a significant role in the effort to succeed with more demanding space mission requirements. To improve software quality, the Japan Aerospace Exploration Agency (JAXA) has applied software independent verification and validation (IV&V) for various software systems[1]. As part of this activities, test analysis has been conducted on some dependable flight software. The aim is to establish a methodology to efficiently identify "what to test", and also to obtain the points of view in test design that is adequate to each spacecrafts characteristics. For this purpose, we have introduced the concept of viewpoint of testing, enacted test analysis based on the concept, and evaluated existing test suites using these results. In this paper, we describe the concept and methodology of test analysis for dependable flight software based-on our experiences, as well as the result of our evaluations of existing test suites.

AB - The quality of onboard flight software plays a significant role in the effort to succeed with more demanding space mission requirements. To improve software quality, the Japan Aerospace Exploration Agency (JAXA) has applied software independent verification and validation (IV&V) for various software systems[1]. As part of this activities, test analysis has been conducted on some dependable flight software. The aim is to establish a methodology to efficiently identify "what to test", and also to obtain the points of view in test design that is adequate to each spacecrafts characteristics. For this purpose, we have introduced the concept of viewpoint of testing, enacted test analysis based on the concept, and evaluated existing test suites using these results. In this paper, we describe the concept and methodology of test analysis for dependable flight software based-on our experiences, as well as the result of our evaluations of existing test suites.

UR - http://www.scopus.com/inward/record.url?scp=70449124724&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70449124724&partnerID=8YFLogxK

U2 - 10.1109/SMC-IT.2009.17

DO - 10.1109/SMC-IT.2009.17

M3 - Conference contribution

AN - SCOPUS:70449124724

SN - 9780769536378

T3 - Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009

SP - 77

EP - 82

BT - Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009

T2 - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009

Y2 - 19 July 2009 through 23 July 2009

ER -

Viewpoint-based test analysis for dependable onboard flight software

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this