Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/23893

TitleAutomatic test generation for space
Author(s)Costa, Ulisses Araújo
Cruz, Daniela da
Henriques, Pedro Rangel
KeywordsAutomatic test generation
UML/OCL
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
URIhttp://hdl.handle.net/1822/23893
Publisher versionhttp://dx.doi.org/10.4230/OASIcs.xxx.yyy.p
Peer-Reviewedyes
AccessRestricted access (UMinho)
Appears in Collections:CCTC - Artigos em atas de conferências internacionais (texto completo)

Files in This Item:
File Description SizeFormat 
slate12-ulisses.pdf
  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