Evaluation of the Cost and Effectiveness of te Testing Criteria in context of shared-memory concurrent programs

• Grant number: 10/04042-1
• Support Opportunities: Scholarships in Brazil - Master
• Start date: August 01, 2010
• End date: July 31, 2012
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computer Systems
• Principal Investigator: Simone Do Rocio Senger de Souza
• Grantee: Silvana Morita Melo
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil

Abstract

Esta proposta de mestrado está inserida no contexto do projeto Subsídios para o Teste Estrutural de Aplicações Distribuídas (FAPESP 2008/04614-5), cujo objetivo central é investigar alternativas para reduzir o custo de aplicação e a eficácia em revelar defeitos dos critérios propostos para aplicações concorrentes. Este projeto de mestrado em particular irá caracterizar e aplicar um estudo experimental com o objetivo de avaliar o custo, eficácia e aspecto complementar dos critérios de teste estruturais propostos para programas concorrentes, no contexto de memória compartilhada. Espera-se com os resultados deste projeto que a ferramenta de teste ValiPthread - ferramenta de apoio ao teste de programas concorrentes com memória compartilhada, em desenvolvimento pelo grupo de pesquisa, seja melhorada e que a mesma possa ser utilizada com maior amplitude. Esse objetivo permitirá que a ferramenta seja disponibilizada para uso pela comunidade de programação concorrente e para o ensino de teste de programas concorrentes.

Scientific publications

(The scientific publications listed on this page originate from the Web of Science or SciELO databases. Their authors have cited FAPESP grant or fellowship project numbers awarded to Principal Investigators or Fellowship Recipients, whether or not they are among the authors. This information is collected automatically and retrieved directly from those bibliometric databases.)

MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; SARMANHO, FELIPE SANTOS; LOPES DE SOUZA, PAULO SERGIO. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. SOFTWARE QUALITY JOURNAL, v. 26, n. 3, SI, p. 921-959, SEP 2018. (15/23653-5, 13/01818-7, 13/05046-9, 10/04042-1)

MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; SARMANHO, FELIPE SANTOS; LOPES DE SOUZA, PAULO SERGIO. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. SOFTWARE QUALITY JOURNAL, v. 26, n. 3, p. 39-pg., 2018-09-01. (15/23653-5, 13/01818-7, 10/04042-1, 13/05046-9)

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

MELO, Silvana Morita. Evaluation of the cost. effectiveness and strength of structural testing criteria in the concurrent programs context with shared memory. 2012. Master's Dissertation - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.