1. Identificação | |
Tipo de Referência | Artigo em Revista Científica (Journal Article) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34P/3HP899H |
Repositório | sid.inpe.br/mtc-m21b/2015/01.13.18.16 |
Última Atualização | 2015:01.15.13.10.33 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2015/01.13.18.16.13 |
Última Atualização dos Metadados | 2021:02.11.20.56.35 (UTC) administrator |
DOI | 10.5028/jatm.v6i4.369 |
ISSN | 1984-9648 |
Rótulo | scopus 2015-01 PinheiroSimÃAmbr:2014:CaSt |
Chave de Citação | PinheiroSimãAmbr:2014:CaSt |
Título | FSM-based test case generation methods applied to test the communication software on board the ITASAT university satellite: A case study |
Ano | 2014 |
Data de Acesso | 25 abr. 2024 |
Tipo de Trabalho | journal article |
Tipo Secundário | PRE PN |
Número de Arquivos | 1 |
Tamanho | 511 KiB |
|
2. Contextualização | |
Autor | 1 Pinheiro, Arineiza C. 2 Simão, Adenilso 3 Ambrosio, Ana Maria |
Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JGH7 |
Grupo | 1 2 3 DSE-ETE-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto de Ciências Matemáticas e de Computação, USPSão Carlos, SP, Brazil 2 Instituto de Ciências Matemáticas e de Computação, USPSão Carlos, SP, Brazil 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail | marcelo.pazos@inpe.br |
Revista | Journal of Aerospace Technology and Management |
Volume | 6 |
Número | 4 |
Páginas | 447-461 |
Nota Secundária | B2_PLANEJAMENTO_URBANO_E_REGIONAL_/_DEMOGRAFIA B3_INTERDISCIPLINAR B4_ENGENHARIAS_II B4_CIÊNCIAS_AMBIENTAIS B4_GEOCIÊNCIAS B5_ENGENHARIAS_IV B5_ENGENHARIAS_III B5_CIÊNCIA_DA_COMPUTAÇÃO C_ASTRONOMIA_/_FÍSICA |
Histórico (UTC) | 2021-02-11 20:56:35 :: administrator -> marcelo.pazos@inpe.br :: 2014 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Palavras-Chave | Application programs Finite automata Logic circuits Model checking Modular construction Satellites Testing Communication modules Communication software Critical software Model based testing Satellite applications Software behavior Test case generation Testing methodology Software testing |
Resumo | The software in satellite applications has become increasingly larger, more complex and more integrated, so its verification and validation require exploration of new approaches. In this paper we present a Model-Based Testing (MBT) approach applied to the Communication Module of the ITASAT-1 university satellite. The models are Finite State Machines (FSM) representing the software behavior. In order to manage the difficulties to model the software behavior the approach employs the Conformance and Fault Injection (CoFI) testing methodology associated with the JPlavisFSM tool in the real context of a satellite's critical software. The former advises the modularization of the modelling into different types of behavior into different FSMs, while the latter integrates several FSM-based methods to derive test cases, provides facilities to design and to check properties of the models and computes metrics. The main result of this case study was the evaluation of the drawbacks on the design of the testing models supported by CoFI and JPlavisFSM. The models, test sets, metrics with the application of our approach applied to the Communication Module are presented. The paper discusses the benefits as well as the points requiring new researches. |
Área | ETES |
Arranjo | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > FSM-based test case... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34P/3HP899H |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34P/3HP899H |
Idioma | en |
Arquivo Alvo | 369-2213-1-PB.pdf |
Grupo de Usuários | administrator marcelo.pazos@inpe.br |
Grupo de Leitores | administrator marcelo.pazos@inpe.br |
Visibilidade | shown |
Política de Arquivamento | allowpublisher allowfinaldraft |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Vinculação | Trabalho não Vinculado à Tese/Dissertação |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/446AUSL |
Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.14.39.50 2 sid.inpe.br/bibdigital/2021/02.11.20.54 1 |
Divulgação | PORTALCAPES; COMPENDEX; SCOPUS. |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Campos Vazios | alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel electronicmailaddress format isbn lineage mark mirrorrepository month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarytype url |
|
7. Controle da descrição | |
e-Mail (login) | marcelo.pazos@inpe.br |
atualizar | |
|