Covering user-defined data-flow test requirements using symbolic execution (2014)
- Authors:
- Autor USP: ELER, MARCELO MEDEIROS - EACH
- Unidade: EACH
- Assunto: TESTE E AVALIAÇÃO DE SOFTWARE
- Language: Inglês
- Abstract: A execução simbólica tem sido utilizada no teste de software como uma tecnica efetiva para gerar dados de teste automaticamente. A maioria das abordagens considera apenas criterios de fluxo de controle e o teste completo da função ou do programa. Entretanto, testadores podem querer usar critérios de fluxo de dados e cobrir apenas requisitos específicos. Este artigo apresenta uma abordagem para gerar dados de teste para cobrir requisitos de teste definidos pelo usuario considerando critérios de fluxo de dados e de controle. Um prototipo foi implementado para gerar dados de teste para programas Java e realizar uma avaliação preliminar da abordagem. Os resultados, embora em um contexto limitado, sao encorajadores e motivam mais experimentos
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre
- Date published: 2014
- Source:
- Título do periódico: Anais
- Conference titles: Simpósio Brasileiro de Qualidade de Software - SBQS
-
ABNT
ELER, Marcelo Medeiros e ENDO, André Takeshi e DURELLI, Vinícius Humberto Serapilha. Covering user-defined data-flow test requirements using symbolic execution. 2014, Anais.. Porto Alegre: SBC, 2014. . Acesso em: 23 abr. 2024. -
APA
Eler, M. M., Endo, A. T., & Durelli, V. H. S. (2014). Covering user-defined data-flow test requirements using symbolic execution. In Anais. Porto Alegre: SBC. -
NLM
Eler MM, Endo AT, Durelli VHS. Covering user-defined data-flow test requirements using symbolic execution. Anais. 2014 ;[citado 2024 abr. 23 ] -
Vancouver
Eler MM, Endo AT, Durelli VHS. Covering user-defined data-flow test requirements using symbolic execution. Anais. 2014 ;[citado 2024 abr. 23 ] - Characterizing mobile apps from a source and test code viewpoint
- Um método para o desenvolvimento de software baseado em componentes e aspectos
- Uso da técnica de teste estrutural para o teste e monitoração de serviços
- An empirical study to quantify the characteristics of Java programs that may influence symbolic execution from a unit testing perspective
- Accessibility in the mobile development industry in Brazil: Awareness, knowledge, adoption, motivations and barriers
- Machine Learning Applied to Software Testing: A Systematic Mapping Study
- Quantifying the characteristics of java programs that may influence symbolic execution from a test data generation perspective
- An empirical evaluation of evolutionary algorithms for unit test suite generation
- On the costs of applying logic-based criteria to mobile applications: an empirical analysis of predicates in real-world Objective-C and Swift applications
- BISTFaSC: an aproach to embed structural testing facilities into software components
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas