1. Identificação | |
Tipo de Referência | Artigo em Revista Científica (Journal Article) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | J8LNKAN8RW/3C63LDH |
Repositório | dpi.inpe.br/plutao/2012/06.21.18.34 (acesso restrito) |
Última Atualização | 2012:08.24.12.36.25 (UTC) marciana |
Repositório de Metadados | dpi.inpe.br/plutao/2012/06.21.18.34.30 |
Última Atualização dos Metadados | 2022:04.12.22.26.00 (UTC) administrator |
DOI | 10.1016/j.jss.2011.02.034 |
ISSN | 0164-1212 |
Rótulo | lattes: 8666823357523918 1 Mattiello-FranciscoMartCavaYano:2012:ApTeIn |
Chave de Citação | Mattiello-FranciscoMartCavaYano:2012:ApTeIn |
Título | InRob: An approach for testing interoperability and robustness of real-time embedded software |
Ano | 2012 |
Mês | Jan. |
Data de Acesso | 25 abr. 2024 |
Tipo Secundário | PRE PI |
Número de Arquivos | 1 |
Tamanho | 572 KiB |
|
2. Contextualização | |
Autor | 1 Mattiello-Francisco, Maria de Fátima 2 Martins, Eliane 3 Cavalli, Ana Rosa 4 Yano, Edgar Toshiro |
Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JHR8 |
Grupo | 1 CCR-CCR-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 IC/UNICAMP, Campinas, Brazil 3 INT/Telecom SudPARIS, Paris, France 4 ITA/CTA, S.J. Campos, Brazil |
Endereço de e-Mail do Autor | 1 fatima@iss.inpe.br |
Endereço de e-Mail | fatima@iss.inpe.br |
Revista | Journal of Systems and Software |
Volume | 85 |
Número | 1 |
Páginas | 3-15 |
Nota Secundária | B1_CIÊNCIA_DA_COMPUTAÇÃO B1_ENGENHARIAS_III A1_ENGENHARIAS_IV A2_INTERDISCIPLINAR B2_MEDICINA_I |
Histórico (UTC) | 2012-06-22 00:10:59 :: lattes -> secretaria.cpa@dir.inpe.br :: 2012 2012-12-12 16:05:02 :: secretaria.cpa@dir.inpe.br -> administrator :: 2012 2018-06-05 00:01:44 :: administrator -> marciana :: 2012 2022-04-11 18:20:57 :: marciana -> administrator :: 2012 2022-04-12 22:26:00 :: administrator -> marciana :: 2012 |
|
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 | Accidents - Embedded software - Embedded systems - Integration - Optical telescopes - Quality of service - Software testing - Telescopes - Testing - Timing circuits |
Resumo | Advances in digital technologies have contributed for significant reduction in accidents caused by hardware failures. However, the growing complexity of functions performed by embedded software has increased the number of accidents caused by software faults in critical systems. Moreover, due to the highly competitive market, software intensive subsystems are usually developed by different suppliers. Often these subsystems are required to interact with each other in order to provide a collaborative service. Testing approaches for subsystems integration support verification of the quality of service, focusing on the subsystems interfaces. The increasing complexity and tight coupling of real-time subsystems make integration testing unmanageable. The ad-hoc approach for testing is becoming less effective and more expensive. This article presents an integration testing approach denominated InRob, designed to verify the interoperability and robustness related to timing constraints of real-time embedded software. InRob guides the construction of services, based on formal models, aiming at the specifications of interoperability and robustness of test cases related to delays and time-outs of the messages exchanged in the interfaces of interconnected subsystems. The proposed formalism supports automatic test cases generation by verifying the relevant properties in the service behavioral model. As timing constraints are critical properties of aerospace systems, the feasibility of InRob is showed in the integration testing process of a telescope onboard in a satellite. The process is instantiated with existing testing tools and the case study is the software embedded in the telescope. |
Área | ETES |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRE > InRob: An approach... |
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 | |
Idioma | en |
Arquivo Alvo | 1-s2.0-S0164121211000550-main.pdf |
Grupo de Usuários | administrator lattes secretaria.cpa@dir.inpe.br |
Visibilidade | shown |
Política de Arquivamento | denypublisher denyfinaldraft24 |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3EUJHT5 |
Divulgação | WEBSCI; PORTALCAPES. |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark mirrorrepository nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|