Viewpoint-based test analysis for dependable onboard flight software

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

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationProceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009
Pages77-82
Number of pages6
DOIs
Publication statusPublished - 2009
Event2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009 - Pasadena, CA, United States
Duration: 2009 Jul 192009 Jul 23

Other

Other2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009
CountryUnited States
CityPasadena, CA
Period09/7/1909/7/23

Fingerprint

Spacecraft
Testing

ASJC Scopus subject areas

  • Computer Science Applications
  • Software
  • Aerospace Engineering

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) https://doi.org/10.1109/SMC-IT.2009.17

Viewpoint-based test analysis for dependable onboard flight software. / Mori, Takao; Iwasaki, Shinya; Ujihara, Shohgo; Kohtake, Naohiko; Nishi, Yasuharu.

Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009. 2009. p. 77-82.

Research output: Chapter in Book/Report/Conference proceedingConference 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. 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 https://doi.org/10.1109/SMC-IT.2009.17
Mori, Takao ; Iwasaki, Shinya ; Ujihara, Shohgo ; Kohtake, Naohiko ; Nishi, Yasuharu. / 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
@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",
doi = "10.1109/SMC-IT.2009.17",
language = "English",
isbn = "9780769536378",
pages = "77--82",
booktitle = "Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 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

Y1 - 2009

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

SN - 9780769536378

SP - 77

EP - 82

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

ER -