Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Simone do Rocio Senger de SOUZA"'
Autor:
Leo Natan PASCHOAL, Silvana Morita MELO, Vânia de Oliveira NEVES, Tayana Uchôa CONTE, Simone do Rocio Senger de SOUZA
Publikováno v:
Informatics in Education, Vol 22, Iss 1, Pp 99-120 (2023)
Nowadays, few professionals understand the techniques and testing criteria to systematize the software testing activity in the software industry. Towards shedding some light on such problems and promoting software testing, professors in the area have
Externí odkaz:
https://doaj.org/article/aad95168d9874219a8fdaef3187853a6
Autor:
Victor Lopes de Castro Martinelli, Roberta Lopes de Castro Martinelli, Irene Queiroz Marchesan, Giédre Berretin-Felix, Simone do Rocio Senger de Souza
Publikováno v:
Revista CEFAC, Vol 19, Iss 2, Pp 260-264
RESUMO Objetivo: desenvolver um website sobre o “Teste da Linguinha”. Métodos: pesquisa aplicada, baseada no desenvolvimento ativo de um website com a finalidade de disponibilizar informações sobre o Teste da Linguinha. O desenvolvimento desse
Externí odkaz:
https://doaj.org/article/6fbce8105a7b43afa4e4064984124ae8
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.
Este trabalho investiga a aplicação de critérios de teste para o teste de especificações do aspecto comportamental de Sistemas Reativos, descritos em Estelle e em Statecharts. A utilização de Sistemas Reativos em várias atividades humanas, re
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.
Um estudo empírico visando avaliar a eficácia em revelar erros, a dificuldade de satisfação e o custo de aplicação do critério Análise de Mutantes é apresentado neste trabalho. Eficácia e custo também foram avaliados para os critérios Pot
Autor:
Ricardo Ferreira Vilela, João Choma Neto, Victor Hugo Santiago Costa Pinto, Paulo Sérgio Lopes de Souza, Simone do Rocio Senger de Souza
Publikováno v:
Concurrency and Computation: Practice and Experience. 35
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7c15a422d66a7a1e2ef83ae5fe636f1
https://doi.org/10.1002/cpe.7489
https://doi.org/10.1002/cpe.7489
Publikováno v:
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
Conversational agents represent applications that interact in a natural language with humans. Due to their ability to process the human language, they have been explored in diverse areas, e.g., e-commerce, health, entertainment, and education. Partic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21c0a7e70d320c8fd061c2107558f511
Publikováno v:
Anais Estendidos do X Congresso Brasileiro de Software: Teoria e Prática (CBSoft Estendido 2019).
[Context:] The choice of testing technique to be adopted in a software testing project persists based on the tester’s knowledge and often does not consider all of the testing techniques available in the industry or academia. In a previous project o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00ee3e0f4efda47ae9e89eec58375a8c
https://doi.org/10.5753/cbsoft_estendido.2019.7652
https://doi.org/10.5753/cbsoft_estendido.2019.7652
Autor:
Jorge Francisco Cutigi, Paulo Henrique Ribeiro, Adenilso da Silva Simão, Simone do Rocio Senger de Souza
Publikováno v:
Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010).
A especificação formal é uma etapa crucial no ciclo de desenvolvimento de protocolos, uma vez que ela pode ser usada como base para a implementação e para o teste de conformidade. Dentre os modelos formais de especificação de protocolos, as M
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::87660a920cd2a232e7091a91e4891f36
https://doi.org/10.5753/wtf.2010.23099
https://doi.org/10.5753/wtf.2010.23099
Publikováno v:
Anais do XV Simpósio Brasileiro de Engenharia de Software (SBES 2001).
Estelle é uma técnica de descrição formal padronizada pela ISO e tem sido utilizada para a especificação de sistemas distribuídos e protocolos de comunicação. Este artigo propõe uma família de critérios de teste para a validação de sist
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01ee2efd769c8ecfb167792b1b9cd079
https://doi.org/10.5753/sbes.2001.23993
https://doi.org/10.5753/sbes.2001.23993