2026-07-22T21:03:51Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3523 2024-03-06T10:28:58Z ddc:004 open_access

Automatic Test Generation for Space Costa, Ulisses Araújo da Cruz, Daniela Henriques, Pedro Rangel Automatic Test Generation UML/OCL White-box testing Black-box testing 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ulisses Araújo Costa and Daniela da Cruz and Pedro Rangel Henriques 2012 Is Part Of OASIcs, Volume 21, 1st Symposium on Languages, Applications and Technologies (2012) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.SLATE.2012.185 urn:nbn:de:0030-drops-35234 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.185 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode