Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation

Structural testing criteria for concurrent programs considering loop execution

“…A structured experimental study for shared memory programs and structural testing criteria for such programs (SARMANHO et al, 2008) is presented in (MELO et al, 2017). It is also based on the Software Experimental Engineering method by (WOHLIN et al, 2012), using similar experimental design as (BRITO; SOUZA; SOUZA, 2013) concerning metrics, independent and dependent variables.…”

“…Additional validations based on concurrent defects have been treated in empirical studies, relying on common defined errors (BRITO, 2011;MELO et al, 2017). Our work bases on the proposed Concurrent Defects Taxonomy to complete the analysis for testing criteria definition.…”

“…The strength is given regarding the coverage percentage compared between two criteria, and refers to the probability of satisfying a criterion (MELO et al, 2017;BRITO, 2011). The set of test cases of a given criterion C 1 is applied to another criterion C 2 , evaluating the coverage of C 2 in contrast with coverage of C 1 and its original test case set.…”

Uma abordagem para apoiar a identificação de não executabilidade no teste estrutural de software

“…Essencialmente a programação concorrente reduz o tempo de execução das aplicações e pode ser utilizada nos mais diversos problemas: previsão do tempo, simulação molecular dinâmica, bioinformática e processamento de imagens (RAPPS; WEYUKER, 1985;PACHECO, 2011;MELO et al, 2018). Estes benefícios exigem altos níveis de confiabilidade requerendo ainda mais da atividade de teste e validação.…”

“…A proposição do teste estrutural para programas concorrentes leva em conta o conhecimento adquirido no contexto de programas sequenciais, adaptando-o para tratar problemas específicos de software concorrente. As soluções atuais definem modelos de teste e critérios de cobertura para esse contexto, considerando as os paradigmas de passagem de mensagem e variável compartilhada) SARMANHO et al, 2008;ZALUSKA, 2014;SOUZA et al, 2015b;MELO et al, 2018;KOJIMA et al, 2009;MA, 2005;PACHECO, 2011). Um problema que persiste é a existência de requisitos de teste não executáveis, os quais, em programas concorrentes, tornam-se mais complexos devido à interação entre processos (ou threads).…”