Please use this identifier to cite or link to this item:

TitleAutomatic test generation for space
Author(s)Costa, Ulisses Araújo
Cruz, Daniela da
Henriques, Pedro Rangel
KeywordsAutomatic test generation
White-box testing
Black-box testing
Issue date2012
PublisherBill Editors
Abstract(s)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.
TypeConference paper
Publisher version
AccessRestricted access (UMinho)
Appears in Collections:CCTC - Artigos em atas de conferências internacionais (texto completo)

Files in This Item:
File Description SizeFormat 
  Restricted access
511,73 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID