Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms

Ulrike Witteck, Denis Grießbach, Paula Herber

2019

Abstract

On-board image processing technologies in the satellite domain are subject to extremely strict requirements with respect to reliability and accuracy in hard real-time. Due to their large input domain, it is infeasible to execute all possible test cases. To overcome this problem, we define a novel test approach that efficiently and systematically captures the input domain of satellite on-board image processing applications. To achieve this, we first present a dedicated partitioning into equivalence classes for each input parameter. Then, we define multidimensional coverage criteria to assess a given test suite for its coverage on the complete input domain. Finally, we present a test generation algorithm that automatically inserts missing test cases into a given test suite based on our multidimensional coverage criteria. This results in a reasonably small test suite that covers the whole input domain of satellite on-board image processing applications. We demonstrate the effectiveness of our approach with experimental results from the ESA medium-class mission PLATO.

Paper Citation

in Harvard Style

Witteck U., Grießbach D. and Herber P. (2019). Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms.In Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-379-7, pages 15-26. DOI: 10.5220/0007807400150026

in Bibtex Style

@conference{icsoft19,
author={Ulrike Witteck and Denis Grießbach and Paula Herber},
title={Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms},
booktitle={Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2019},
pages={15-26},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007807400150026},
isbn={978-989-758-379-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms
SN - 978-989-758-379-7
AU - Witteck U.
AU - Grießbach D.
AU - Herber P.
PY - 2019
SP - 15
EP - 26
DO - 10.5220/0007807400150026