| 1. Identificação | |||||||||||||
| Tipo de Referência | Livro ou Monografia (Book) | ||||||||||||
| Site | mtc-m16d.sid.inpe.br | ||||||||||||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | ||||||||||||
| Identificador | 8JMKD3MGP7W/36U3CG8 | ||||||||||||
| Repositório | sid.inpe.br/mtc-m19@80/2010/02.11.13.49 | ||||||||||||
| Última Atualização | 2017:02.06.12.51.00 (UTC) marcelo.pazos@inpe.br | ||||||||||||
| Repositório de Metadados | sid.inpe.br/mtc-m19@80/2010/02.11.13.49.29 | ||||||||||||
| Última Atualização dos Metadados | 2021:02.11.21.06.21 (UTC) administrator | ||||||||||||
| Chave Secundária | INPE-16672-MAN/54 | ||||||||||||
| Chave de Citação | AmbrósioMora:2010:MaUsPl | ||||||||||||
| Título | Manual do usuário da plataforma PLAVIS  | ||||||||||||
| Ano | 2010 | ||||||||||||
| Data de Acesso | 20 abr. 2024 | ||||||||||||
| Tipo Secundário | MAN | ||||||||||||
| Número de Páginas | 36 | ||||||||||||
| Número de Arquivos | 1 | ||||||||||||
| Tamanho | 1355 KiB | ||||||||||||
| 2. Contextualização | |||||||||||||
| Autor | 1 Ambrósio, Ana Maria 2 Morais, Marcelo Henrique Essado de | ||||||||||||
| Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JGH7 | ||||||||||||
| Grupo | 1 DSS-ETE-INPE-MCT-BR 2 DSS-ETE-INPE-MCT-BR | ||||||||||||
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) | ||||||||||||
| Endereço de e-Mail do Autor | 1 ana@dss.inpe.br 2 messado@dem.inpe.br | ||||||||||||
| Endereço de e-Mail | messado@dcem.inpe.br | ||||||||||||
| Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais | ||||||||||||
| Cidade | São José dos Campos | ||||||||||||
| Histórico (UTC) | 2010-02-11 13:49:29 :: messado@dem.inpe.br -> yolanda :: 2010-03-16 13:15:50 :: yolanda -> ricardo :: 2010-03-16 14:15:13 :: ricardo -> yolanda :: 2010-03-16 14:16:05 :: yolanda -> ricardo :: 2010-03-31 15:18:55 :: ricardo -> viveca@sid.inpe.br :: 2010-04-05 19:09:38 :: viveca@sid.inpe.br -> administrator :: 2010-07-07 20:43:08 :: administrator -> marciana :: 2010-11-19 17:45:06 :: marciana -> viveca@sid.inpe.br :: 2010 2010-11-19 17:45:26 :: viveca@sid.inpe.br -> administrator :: 2010 2010-12-22 13:00:41 :: administrator -> viveca@sid.inpe.br :: 2010 2010-12-22 13:21:38 :: viveca@sid.inpe.br -> administrator :: 2010 2017-02-03 16:38:57 :: administrator -> marcelo.pazos@inpe.br :: 2010 2017-07-03 13:12:44 :: marcelo.pazos@inpe.br -> administrator :: 2010 2021-02-11 21:06:21 :: administrator -> marcelo.pazos@inpe.br :: 2010 | ||||||||||||
| 3. Conteúdo e estrutura | |||||||||||||
| É a matriz ou uma cópia? | é a matriz | ||||||||||||
| Estágio do Conteúdo | concluido | ||||||||||||
| Transferível | 1 | ||||||||||||
| Palavras-Chave | plataforma PLAVIS Platform PLAVIS. Platform PLAVIS Platform PLAVIS | ||||||||||||
| Resumo | A Plataforma para Validação e Integração de Software em Sistemas Espaciais (PLAVIS) caracteriza-se como um produto do projeto de mesmo nome. Esta plataforma agrega, em um único ambiente, protótipos de ferramentas desenvolvidos no âmbito acadêmico pelas instituições participantes do projeto, com o objetivo de disponibilizar ao INPE facilidades para geração automática de casos de testes a partir de especificações baseadas em modelos formais. A existência de uma plataforma para Validação e Testes de software de sistemas espaciais é de fundamental importância para o INPE. Esta plataforma consolida investimentos na qualidade dos produtos de software através da melhoria da qualidade dos testes, com relação à cobertura da especificação e a eficácia para encontrar falhas, o que depende dos métodos e das técnicas usadas. Essa plataforma não só permitirá estudos de cunho acadêmicos, como a validação de sistemas de software desenvolvidos in house e encomendados à indústria, graças à forma sistemática que impõe a atividade de validação. abstract The Platform for Validation and Integration of Software in Space Systems (PLAVIS) is characterized as a product of the project of the same name. This platform aggregates, in a single environment, prototypes of tools developed in the academic scope by the institutions participating in the project, with the purpose of making available to INPE facilities for automatic generation of test cases based on specifications based on formal models. The existence of a platform for validation and testing of software of space systems is of fundamental importance for INPE. This platform consolidates investments in the quality of software products by improving the quality of the tests, in relation to the coverage of the specification and the efficiency to find fault, which depends on the methods and techniques used. This platform will not only allow academic studies, but also the validation of software systems developed in house and commissioned to the industry, thanks to the systematic way that the validation activity imposes. | ||||||||||||
| Área | ETES | ||||||||||||
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Manual do usuário... | ||||||||||||
| Conteúdo da Pasta doc | acessar | ||||||||||||
| Conteúdo da Pasta source |
| ||||||||||||
| Conteúdo da Pasta agreement |
| ||||||||||||
| 4. Condições de acesso e uso | |||||||||||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP7W/36U3CG8 | ||||||||||||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP7W/36U3CG8 | ||||||||||||
| Idioma | pt | ||||||||||||
| Arquivo Alvo | publicacao.pdf | ||||||||||||
| Grupo de Usuários | administrator marciana messado@dem.inpe.br ricardo viveca@sid.inpe.br yolanda.souza@mcti.gov.br | ||||||||||||
| Grupo de Leitores | administrator marcelo.pazos@inpe.br | ||||||||||||
| Visibilidade | shown | ||||||||||||
| Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.10 | ||||||||||||
| Detentor da Cópia | SID/SCD | ||||||||||||
| Permissão de Leitura | allow from all | ||||||||||||
| Permissão de Atualização | não transferida | ||||||||||||
| 5. Fontes relacionadas | |||||||||||||
| Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 | ||||||||||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE | ||||||||||||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 2 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 2 | ||||||||||||
| Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 | ||||||||||||
| 6. Notas | |||||||||||||
| Campos Vazios | archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination doi edition editor format isbn issn label lineage mark nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarymark serieseditor seriestitle session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype volume | ||||||||||||
| 7. Controle da descrição | |||||||||||||
| e-Mail (login) | marcelo.pazos@inpe.br | ||||||||||||
| atualizar | |||||||||||||