License
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SLATE.2012.185
URN: urn:nbn:de:0030-drops-35234
URL: http://drops.dagstuhl.de/opus/volltexte/2012/3523/
Go to the corresponding Portal


Costa, Ulisses Ara˙jo ; da Cruz, Daniela ; Henriques, Pedro Rangel

Automatic Test Generation for Space

pdf-format:
Document 1.pdf (523 KB)


Abstract

The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure and these tests perform black-box testing to the C++ simulator implementation. VST (VisionSpace Technologies) is one of the companies that provides these services to ESA and they need a tool to infer automatically tests from the existing C++ code, instead of writing manually scripts to perform tests. With this motivation in mind, this paper explores automatic testing approaches and tools in order to propose a system that satisfies VST needs.

BibTeX - Entry

@InProceedings{costa_et_al:OASIcs:2012:3523,
  author =	{Ulisses Ara{\'u}jo Costa and Daniela da Cruz and Pedro Rangel Henriques},
  title =	{{Automatic Test Generation for Space}},
  booktitle =	{1st Symposium on Languages, Applications and Technologies},
  pages =	{185--203},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-40-8},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{21},
  editor =	{Alberto Sim{\~o}es and Ricardo Queir{\'o}s and Daniela da Cruz},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3523},
  URN =		{urn:nbn:de:0030-drops-35234},
  doi =		{http://dx.doi.org/10.4230/OASIcs.SLATE.2012.185},
  annote =	{Keywords: Automatic Test Generation, UML/OCL, White-box testing, Black-box testing}
}

Keywords: Automatic Test Generation, UML/OCL, White-box testing, Black-box testing
Seminar: 1st Symposium on Languages, Applications and Technologies
Issue Date: 2012
Date of publication: 21.06.2012


DROPS-Home | Fulltext Search | Imprint Published by LZI