1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34P/3PUKS65 |
Repositório | sid.inpe.br/mtc-m21b/2017/11.08.14.47 |
Última Atualização | 2017:11.08.14.47.59 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2017/11.08.14.47.59 |
Última Atualização dos Metadados | 2018:06.04.02.27.58 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
ISBN | 978-145035302-1 |
Chave de Citação | SantiagoJúniorSilv:2017:HiTrSp |
Título | From statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases |
Ano | 2017 |
Data de Acesso | 28 mar. 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 333 KiB |
|
2. Contextualização | |
Autor | 1 Santiago Júnior, Valdivino Alexandre de 2 Silva, Felipe Elias Costa da |
Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JJB5 |
Grupo | 1 LABAC-COCTE-INPE-MCTIC-GOV-BR 2 LABAC-COCTE-INPE-MCTIC-GOV-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 valdivino.santiago@inpe.br 2 felipe.eliascs@hotmail.com |
Nome do Evento | Brazilian Symposium on Systematic and Automated Software Testing, 2. (SAST) |
Localização do Evento | Fortaleza, CE |
Data | 18-19 Sept. |
Título do Livro | Proceedings |
Histórico (UTC) | 2017-11-08 14:48:19 :: simone -> administrator :: 2017 2017-11-14 09:10:11 :: administrator -> simone :: 2017 2017-12-15 14:26:11 :: simone -> administrator :: 2017 2018-06-04 02:27:58 :: administrator -> simone :: 2017 |
|
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 | Software Testing Model Checking Statecharts Specification Patterns System Quasiexperiment |
Resumo | Complexity and notation of formal methods are still major impediments for a wider use of these mathematical-based ap- proaches in Software Engineering which include its adoption in software testing. While formal, Statecharts are relatively simple to use and many projects in different domains have been relying on them. In this paper, we present a hierarchy- based translation method, HiMoST, to generate software test cases via Model Checking. Starting with a behavio- ral modeling in Harel's Statecharts, we propose a method to translate from Statecharts into a general structure based on the NuSMV language, and we formalize CTL properties by means of specification patterns and a Combinatorial Interac- tion Testing algorithm. We also present a cost-effectiveness evaluation (quasiexperiment) to compare four different pat- terns/pattern scopes. Results indicate that the Precedence Chain (P precedes S, T) pattern with Global scope presents the best performance. © 2017 Association for Computing Machinery. |
Área | COMP |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > From statecharts into... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34P/3PUKS65 |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34P/3PUKS65 |
Idioma | en |
Arquivo Alvo | santiago_from.pdf |
Grupo de Usuários | simone |
Grupo de Leitores | administrator simone |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|