Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/23893
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Costa, Ulisses Araújo | - |
dc.contributor.author | Cruz, Daniela da | - |
dc.contributor.author | Henriques, Pedro Rangel | - |
dc.date.accessioned | 2013-05-02T13:16:54Z | - |
dc.date.available | 2013-05-02T13:16:54Z | - |
dc.date.issued | 2012 | - |
dc.date.submitted | 12-12-2012 22:45:10 | por |
dc.identifier.uri | https://hdl.handle.net/1822/23893 | - |
dc.description.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. | por |
dc.language.iso | eng | por |
dc.publisher | Bill Editors | por |
dc.rights | restrictedAccess | por |
dc.subject | Automatic test generation | por |
dc.subject | UML/OCL | por |
dc.subject | White-box testing | por |
dc.subject | Black-box testing | por |
dc.title | Automatic test generation for space | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | http://dx.doi.org/10.4230/OASIcs.xxx.yyy.p | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 185 | por |
oaire.citationEndPage | 203 | por |
oaire.citationTitle | SLATE'12 - Symposium on Languages, Applications and Technologies | por |
oaire.citationVolume | 21 | por |
sdum.conferencePublication | SLATE'12 - Symposium on Languages, Applications and Technologies | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
slate12-ulisses.pdf Acesso restrito! | 511,73 kB | Adobe PDF | Ver/Abrir |