Abstract
The Next Generation Air Transportation System (NextGen) advocates the use of innovative algorithms and software to address the increasing load on air-traffic control. AutoResolver is a large, complex NextGen component that provides separation assurance between multiple airplanes up to 20 minutes ahead of time. Our work targets the development of a light-weight, automated testing environment for AutoResolver. The input space of AutoResolver consists of airplane trajectories, each trajectory being a sequence of hundreds of points in the three-dimensional space. Generating meaningful test cases for AutoResolver that cover its behavioral space to a satisfactory degree is a major challenge. We discuss how we tamed this input space to make it amenable to test case generation techniques, as well as how we developed and validated an extensible testing environment around AutoResolver.
Citation
Dimitra Giannakopoulou,
Falk Howar,
Malte Isberner,
Todd Lauderdale,
Zvonimir Rakamaric,
Vishwanath Raman
Taming Test Inputs for Separation Assurance
Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE), 373--384, doi:10.1145/2642937.2642940, 2014.
BibTeX
@inproceedings{2014_ase_ghilrr,
title = {Taming Test Inputs for Separation Assurance},
author = {Dimitra Giannakopoulou and Falk Howar and Malte Isberner and Todd Lauderdale and Zvonimir Rakamaric and Vishwanath Raman},
booktitle = {Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
publisher = {ACM},
pages = {373--384},
doi = {10.1145/2642937.2642940},
year = {2014}
}
Acknowledgements
We thank CMU SV students Mariam Rajabi and Norman Xin for assisting with the development of the CovComp and TestGen tools. We also thank Heinz Erzberger for initiating this collaboration.