| 1. Identity statement | |||||||
| Reference Type | Thesis or Dissertation (Thesis) | ||||||
| Site | mtc-m16d.sid.inpe.br | ||||||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | ||||||
| Identifier | 8JMKD3MGP7W/37FMBAB | ||||||
| Repository | sid.inpe.br/mtc-m19@80/2010/05.12.18.42 | ||||||
| Metadata Repository | sid.inpe.br/mtc-m19@80/2010/05.12.18.42.43 | ||||||
| Metadata Last Update | 2018:06.05.04.36.40 (UTC) administrator | ||||||
| Citation Key | Mattiello-Francisco:2009:AbTeIn | ||||||
| Title | InRob - uma abordagem para testes de interoperabilidade e de robustez de subsistemas de tempo-real intensivos em software  | ||||||
| Alternate Title | x | ||||||
| Year | 2009 | ||||||
| Date | 2009-12-15 | ||||||
| Access Date | 2024, Apr. 28 | ||||||
| Thesis Type | Tese de Doutorado | ||||||
| Secondary Type | TAE | ||||||
| 2. Context | |||||||
| Author | Mattiello-Francisco, Maria de Fátima | ||||||
| Committee | Edgar Toshiro Yano, Orientador Eliane Martins, Co-orientador | ||||||
| University | ITA | ||||||
| City | São José dos Campos - SP | ||||||
| History (UTC) | 2010-05-12 18:50:25 :: jefferson -> administrator :: 2018-06-05 04:36:40 :: administrator -> marciana :: 2009 | ||||||
| 3. Content and structure | |||||||
| Is the master or a copy? | is the master | ||||||
| Content Stage | completed | ||||||
| Transferable | 1 | ||||||
| Content Type | External Contribution | ||||||
| Keywords | Confiabilidade de software Especificação formal Estudo de casos Verificação formal | ||||||
| Abstract | Os estudos realizados no presente trabalho de tese abrangem o processo de integração de subsistemas de tempo real intensivos em software e o formalismo de geração de casos de teste. A integração de subsistemas é uma fase altamente onerosa em tempo e recursos de teste de projetos de sistemas críticos tais como plataformas de satélites. São investigados testes baseados em modelos de estado que representam a interação dos subsistemas comunicantes. O problema pesquisado é o formalismo adequado para representar requisitos de tempo no modelo comportamental da interação de modo que casos de teste possam ser derivados por métodos automáticos. Com foco na modelagem dos serviços providos pelos subsistemas em integração, propõe-se um arcabouço para teste de interoperabilidade e de robustez composto por cinco elementos estruturantes: (1) perfil do serviço, (2) modelo nominal do serviço, (3) perigos de tempo, (4) modelo aumentado do serviço, e (5) propósito de teste. O arcabouço, denominado InRob, orienta a construção de modelos formais de interoperabilidade os quais representam o comportamento de um serviço em um dado estágio de integração. Os modelos são estendidos com propriedades de tempo de modo que possam ser derivados casos de teste de robustez, relativos a desvios de tempo na troca de mensagens entre os subsistemas. A validação da abordagem InRob é feita no domínio de subsistemas espaciais, na integração dos subsistemas que compõem um instrumento imageador (telescópio) de raios X a bordo de uma missão de satélite de astronomia. Nesse estudo de caso, o InRob é instanciado em um processo de teste composto por três etapas, duas delas apoiadas por ferramentas existentes para geração e execução de casos de teste. | ||||||
| Area | INFO | ||||||
| doc Directory Content | there are no files | ||||||
| source Directory Content |
| ||||||
| agreement Directory Content | there are no files | ||||||
| 4. Conditions of access and use | |||||||
| Language | pt | ||||||
| User Group | administrator jefferson | ||||||
| Visibility | shown | ||||||
| Copy Holder | SID/SCD | ||||||
| Update Permission | not transferred | ||||||
| 5. Allied materials | |||||||
| Mirror Repository | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 | ||||||
| URL (untrusted data) | http://www.bd.bibl.ita.br/tesesdigitais/lista_resumo.php?num_tese=000556379 | ||||||
| Host Collection | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 | ||||||
| 6. Notes | |||||||
| Empty Fields | academicdepartment affiliation archivingpolicy archivist callnumber copyright course creatorhistory descriptionlevel dissemination doi e-mailaddress electronicmailaddress format group isbn issn label lineage mark nextedition nexthigherunit notes number numberoffiles numberofpages orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark session shorttitle size sponsor subject targetfile tertiarymark tertiarytype versiontype | ||||||
| 7. Description control | |||||||
| e-Mail (login) | marciana | ||||||
| update | |||||||