| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | mtc-m16c.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 8JMKD3MGP8W/38B6L28 |
| Repositório | sid.inpe.br/mtc-m18/2010/09.27.21.46 |
| Última Atualização | 2011:01.10.14.35.53 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/mtc-m18/2010/09.27.21.46.24 |
| Última Atualização dos Metadados | 2022:03.17.16.24.15 (UTC) administrator |
| Chave Secundária | INPE--PRE/ |
| Chave de Citação | SantiagoJúniorVijaSilv:2010:MoTeCo |
| Título | Model-based testing considering natural language requirements  |
| Formato | On-line |
| Ano | 2010 |
| Data de Acesso | 25 abr. 2024 |
| Tipo Secundário | PRE CN |
| Número de Arquivos | 1 |
| Tamanho | 192 KiB |
| 2. Contextualização | |
| Autor | 1 Santiago Júnior, Valdivino Alexandre de 2 Vijaykumar, Nandamudi L. 3 Silva, José Demísio S. da |
| Grupo | 1 CEA-CEA-INPE-MCT-BR 2 LAC-CTE-INPE-MCT-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Editor | Rodrigues, Rita de Cássia Meneses Almeida, Wesley Gomes de Assis, Talita Oliveira Chalhoub, Ezzat Selim Cortivo, Fábio Dall França, Luis Fernando Amorim Macau, Elbert Einstein Nehrer Oliveira, Rudinei Martins de Pillat, Valdir Gil Santos, Laurita dos Serpa, Dalila Ribeiro Silva, José Demisio Simões da Silva, Marlon da |
| Endereço de e-Mail | valdivino@das.inpe.br |
| Nome do Evento | Workshop dos Cursos de Computação Aplicada do INPE, 10 (WORCAP). |
| Localização do Evento | São José dos Campos |
| Data | 20 e 21 out. 2010 |
| Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais (INPE) |
| Cidade da Editora | São José dos Campos |
| Título do Livro | Anais |
| Organização | Instituto Nacional de Pesquisas Espaciais (INPE) |
| Histórico (UTC) | 2010-11-24 14:25:57 :: valdivino@das.inpe.br -> administrator :: 2010 2010-12-08 16:30:07 :: administrator -> marciana :: 2010 2011-01-03 12:53:05 :: marciana -> valdivino@das.inpe.br :: 2010 2011-01-10 15:26:44 :: valdivino@das.inpe.br -> administrator :: 2010 2022-03-17 16:24:15 :: administrator -> marciana :: 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 | model-based testing natural language requirements formal methods |
| Resumo | A methodology addressing test case generation based on Natural Language (NL) requirements specifications is presented in this paper. A tool that supports the methodology translates automatically NL requirements into models. Once the models are obtained, another tool, GTSC, is used to generate the test cases. The methodology identifies scenarios for testing by means of combinatorial designs, hence providing a formal manner to derive scenarios. Our methodology is easy to use and at the same time is supported by a formal method, consequently leading to potential decrease of time with respect to test case generation. |
| Área | COMP |
| Tipo | Tecnologia da informação e extração de informações |
| Arranjo 1 | urlib.net > BDMCI > Fonds > WORCAP > Model-based testing considering... |
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Model-based testing considering... |
| Arranjo 3 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > Model-based testing considering... |
| 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/8JMKD3MGP8W/38B6L28 |
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP8W/38B6L28 |
| Idioma | en |
| Arquivo Alvo | Santiago Junior-Valdivino.pdf |
| Grupo de Usuários | administrator administrator marciana valdivino@das.inpe.br |
| Visibilidade | shown |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGP8W/38ELNHL 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3EU2FR5 |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.01.23.29 1 |
| Acervo Hospedeiro | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor shorttitle sponsor tertiarymark tertiarytype url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |