Beta: a B based testing approach

Beta: a B based testing approach

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-10-11T20:48:07Z No. of bitstreams: 1 ErnestoCidBrasilDeMatos_TESE.pdf: 4062332 bytes, checksum: 09e4f284f102ad1088f37213e8e53d6f (MD5) === Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 201...

Full description

Bibliographic Details
Main Author:	Matos, Ernesto Cid Brasil de
Other Authors:	82573611787
Language:	Portuguese
Published:	PROGRAMA DE P?S-GRADUA??O EM SISTEMAS E COMPUTA??O 2016
Subjects:	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO M?todos formais Teste de software M?todo B Testes baseados em modelos
Online Access:	https://repositorio.ufrn.br/jspui/handle/123456789/21417

Similar Items

Beta: uma ferramenta para gera??o de testes de unidade a partir de especifica??es B
by: Matos, Ernesto Cid Brasil de
Published: (2014)

M?todo B e a s?ntese verificada para c?digo de montagem
by: Medeiros J?nior, Val?rio Gutemberg de
Published: (2016)

Local livelock analysis of component-based models
by: Conserva Filho, Madiel de Souza
Published: (2017)

BSmart: desenvolvimento rigoroso de aplica??es Java Card com base no m?todo formal B
by: Gomes, Bruno Emerson Gurgel
Published: (2014)

Gera??o de casos de teste a partir de especifica??es B
by: Souza, Fernanda Monteiro de
Published: (2014)

Estendendo CRefine para o suporte de t?ticas de refinamento
by: Conserva Filho, Madiel de Souza
Published: (2014)

Modelo de rastreabilidade de requisitos aplicada a gest?o de projetos em m?todos ?geis
by: Silva, Robson Paulo da
Published: (2017)

Especifica??o do micron?cleo FreeRTOS utilizando o m?todo B
by: Galv?o, Stephenson de Sousa Lima
Published: (2014)

Um estudo sobre a rela??o da ado??o do m?todo ?gil SCRUM com a produtividade em equipes de desenvolvimento de software
by: Bellenzier, Marina
Published: (2017)

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplica??es Java Card com o m?todo B
by: Santos, Simone de Oliveira
Published: (2014)

Prova autom?tica de satisfatibilidade m?dulo teoria aplicada ao m?todo B
by: Tavares, Cl?udia Fernanda Oliveira Kiermes
Published: (2014)

Gera??o autom?tica de hardware a partir de especifica??es formais: estendendo uma abordagem de tradu??o
by: Medeiros Junior, Ivan Soares de
Published: (2014)

JCML - Java Card Modeling Language: Defini??o e Implementa??o
by: Souza Neto, Pl?cido Ant?nio de
Published: (2014)

Joker: um realizador de desenhos animados para linguagens formais
by: Souza, Diego Henrique Oliveira de
Published: (2014)

Estudo de propriedades cr?ticas em sistemas complexos: m?todo de procura autom?tica em sistemas tipo Ising e percola??o de longo alcance
by: Fulco, Umberto Laino
Published: (2014)

Reducing the impact of state space explosion in Stochastic Automata Networks
by: Santos, Thais Christina Webber dos
Published: (2015)

Insumos para a utilização do critério de teste baseado em erros para aplicações móveis
by: Santos, Jonathas Silva dos
Published: (2016)

A family of coverage criteria based on patterns to the test of metaprograms
by: Antunes, Cleverton Hentz
Published: (2018)

Evolução da ferramenta web guitar para geração automática de casos de teste de interface para aplicações web
by: Meireles, Silvia Regina Assis
Published: (2015)

A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
by: Barrocas, Samuel Lincoln Magalhães
Published: (2018)

Previs?o sazonal da precipita??o para o Nordeste do Brasil: um contraste entre as metodologias de Box-Jenkins e Box-Tiao
by: Souza, Thiago Rodrigues de
Published: (2017)

BTestBox: uma ferramenta de teste para implementações B
by: Oliveira, Diego de Azevedo
Published: (2018)

Geração automática de casos de teste para sistemas baseados em agentes móveis.
by: FIGUEIREDO, André Luiz Lima de.
Published: (2005)

Analisando o desempenho do ClassAge: um sistema multiagentes para classiﬁca??o de padr?es
by: Abreu, Marjory Cristiany da Costa
Published: (2014)

Utilizando Pesos est?ticos e din?micos em sistemas multi-classificadores com diferentes n?veis de diversidade
by: Paradeda, Raul Benites
Published: (2014)

TestCheck: uma abordagem baseada em Checklist para inspecionar artefatos de teste de software
by: Costa, Jardelane de Brito
Published: (2015)

Aspectos sequenciais da decodificação sintática
by: Velasco, Flávio Roberto Dias
Published: (2018)

An?lise de caminhadas de L?vy em trajet?rias curvas 2D
by: Barbosa, Mateus Bruno
Published: (2017)

Verificando a corretude de geradores automáticos de código
by: SOUSA, Thiers Garretti Ramos
Published: (2014)

Geração automática de casos de testes para máquinas de estados finitos
by: Pedrosa, Lehilton Lelis Chaves, 1985-
Published: (2010)

Performance analysis of virtualization technologies in high performance computing enviroments
by: Beserra, David Willians dos Santos Cavalcanti
Published: (2017)

Sistema para a oferta de serviços baseados em localização com garantias de privacidade do usuário
by: Ribeiro, Filipe Nunes
Published: (2016)

Uma abordagem metodológica para implementação multi-modelos de teste de software adotando o MPT.Br e o TMMi
by: BRITO NETO, Olavo Nylander
Published: (2017)

Um arcabouço conceitual para diagnóstico organizacional a respeito da utilização da automação de testes de software
by: Rodrigues, Anderson Clayton Barreto, et al.
Published: (2018)

Modelo para análise de negociação em projetos de sistemas em uma fábrica de software baseado em pontos de caso de uso
by: MACIEL, Paulo Henrique de Lima
Published: (2012)

Linguagens lineares fuzzy
by: Costa, Valdigleis da Silva
Published: (2018)

An extension of a tool for the formal support for component-based development
by: Pereira, Dalay Israel de Almeida
Published: (2017)

On the influence of test adequacy criteria on test suite reduction for model-based testing of real-time systems.
by: MORAES, Alan Kelon Oliveira de.
Published: (2017)

C-CORE : uma Ferramenta de programação para construção e reuso de componentes.
by: Souza Neto, Raphael Marcilio de
Published: (2016)

MTCONTEXT: apoio à geração de casos de teste para aplicações móveis sensíveis ao contexto
by: Reis, Rodrigo dos Anjos Cruz
Published: (2016)

Cannot write session to /tmp/vufind_sessions/sess_16m5ie0hoclncutjdmfsla2928