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/373FLMP |
Repositório | sid.inpe.br/mtc-m19@80/2010/02.26.16.20 |
Última Atualização | 2021:03.29.19.04.50 (UTC) sergio |
Repositório de Metadados | sid.inpe.br/mtc-m19@80/2010/02.26.16.20.32 |
Última Atualização dos Metadados | 2021:03.29.19.04.50 (UTC) sergio |
Chave Secundária | INPE-16678-PUD/218 |
Chave de Citação | SantiagoJúnior:2010:AuMoTe |
Título | Natural language requirements: automating model-based testing and analysis of defects |
Ano | 2010 |
Data de Acesso | 24 abr. 2024 |
Tipo Secundário | PUD |
Número de Páginas | 76 |
Número de Arquivos | 1 |
Tamanho | 6800 KiB |
|
2. Contextualização | |
Autor | Santiago Júnior, Valdivino Alexandre de |
Identificador de Curriculo | 8JMKD3MGP5W/3C9JJB5 |
Grupo | DAS-CEA-INPE-MCT-BR |
Afiliação | Instituto Nacional de Pesquisas Espaciais |
Endereço de e-Mail do Autor | valdivino@das.inpe.br |
Endereço de e-Mail | viveca@sid.inpe.br |
Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais |
Cidade | São José dos Campos |
Histórico (UTC) | 2010-03-04 12:53:26 :: valdivino -> yolanda :: 2010-04-07 14:57:51 :: yolanda -> valdivino :: 2010-04-07 15:30:29 :: valdivino -> yolanda :: 2010-04-19 12:25:34 :: yolanda -> ricardo :: 2010-04-19 14:44:57 :: ricardo -> administrator :: 2010-04-28 17:03:33 :: administrator -> viveca@sid.inpe.br :: 2010-04-28 17:40:03 :: viveca@sid.inpe.br -> administrator :: 2010-12-17 15:46:46 :: administrator -> banon :: 2010-12-17 15:47:35 :: banon -> administrator :: 2010 2021-03-29 16:52:17 :: administrator -> sergio :: 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 | natural language requirements requirements specifications analysis model-based software testing formal methods |
Resumo | Atualmente, existem diversas técnicas para elaborar especificações de requisitos de software. Entretanto, o modo mais simples para "stakeholders" elaborarem requisitos de software é ainda a Linguagem Natural. Além disso, Linguagem Natural pode estar associada a métodos de modelagem de requisitos, tais como modelos de caso de uso onde uma descrição textual existe para descrever comportamento por meio de uma sequência de interações ator-sistema. Mas, especificações elaboradas em Linguagem Natural possuem problemas como inconsistência, não completude e ambiguidade. Alguns autores argumentam que tentar desenvolver modelos de requisitos completos e consistentes não é interessante, mas o objetivo deve ser analisar e resolver conflitos em requisitos, e raciocinar com modelos que possuem inconsistência. Porém, para seguir essas diretivas, os problemas mencionados anteriormente, inconsistência e não completude, devem ser primeiramente detectados adequadamente. Requisitos também servem de ponto de partida para desenvolver modelos para a geração de casos de teste de sistema e aceitação. Entretanto, ambas as atividades, geração de casos de teste de sistema e aceitação e análise de requisitos elaborados em Linguagem Natural para detectar defeitos, usualmente consomem bastante tempo, especialmente se forem considerados sistemas complexos. Esta proposta de doutorado apresenta uma metodologia, assim como as principais características da ferramenta que dará suporte a tal metodologia, denominada Automatizando TesStes BasEados em Modelos e Análise de DeFeitos considerAndo Requisitos em Linguagem NAtural (SEMAFALA). Os objetivos da metodologia são exatamente a tradução automática de requisitos elaborados em Linguagem Natural em modelos comportamentais visando Testes Baseados em Modelos de sistema e aceitação, e também detectar automaticamente inconsistência e não completude em tais tipos de requisitos. ABSTRACT: At present, there are several techniques to elaborate software requirements specifications. However, the simplest way for stakeholders to elaborate software requirements is still Natural Language. Moreover, Natural Language may be associated to requirements modeling methods, like use case models where a textual description exists in order to describe behavior through a sequence of actor-system interactions. But, Natural Language specifications suffer from problems like inconsistency, incompleteness, and ambiguity. Some authors argue that trying to develop complete and consistent requirements models is not interesting, but the goal shall be to analyze and resolve conflicting requirements, and to reason with models that contain inconsistencies. However, in order to follow these guidelines, the aforementioned issues, inconsistency and incompleteness, shall be first properly detected. Requirements also serve as a starting point to develop models for system and accepance test case generation. However, both activities, system and acceptance test case generation, and analysis of Natural Language requirements to detect defects, are usually very time-consuming specially if one considers complex systems. This PhD proposal presents a methodology, as well as the main characteristics of the tool that will support it, named Automatizando TesStes BasEados em Modelos e Análise de DeFeitos considerAndo Requisitos em Linguagem NAtural (SEMAFALA - Automating Model-Based Testing and Analysis of Defects considering Natural Language Requirements). The goals of the methodology are exactly the automated translation of Natural Language requirements into behavioral models to support system and acceptance Model-Based Testing, and to also detect automatically inconsistency and incompleteness in such requirements. |
Área | COMP |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDAS > Natural language requirements:... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | @4primeirasPaginas_Valdivino Alexandre de Santiago Júnior_16678_PI.pdf | 15/04/2010 15:34 | 157.8 KiB | publicacao - abstract e resumo corrigidos.pdf | 15/04/2010 14:54 | 6.8 MiB | publicacao.pdf | 19/04/2010 10:46 | 6.6 MiB | |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP7W/373FLMP |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP7W/373FLMP |
Idioma | en |
Arquivo Alvo | publicacao.pdf |
Grupo de Usuários | administrator banon ricardo valdivino viveca@sid.inpe.br yolanda.souza@mcti.gov.br |
Grupo de Leitores | administrator sergio |
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 | |
Vinculação | Trabalho Vinculado à Tese/Dissertação |
Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ETR8EH |
Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 |
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 tertiarytype translator url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | sergio |
atualizar | |
|