Toward harnessing a Java high-level language virtual machine for supporting software testing

• Ano de defesa: 2013
• Autor(a) principal: Durelli, Vinicius Humberto Serapilha
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: eng
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Java virtual machine; Máquina virtual Java; Maxine VM; Mecanismo de record-and-playback; Mutação fraca; Mutation testing; Record-and-playback mechanism; Software testing; Teste de mutação; Teste de software; Weak mutation
• Link de acesso: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012014-150025/

High-level language virtual machines (HLL VMs) have been playing a key role as a mechanism for implementing programming languages. Languages that run on these execution environments have many advantages over languages that are compiled to native code. These advantages have led HLL VMs to gain broad acceptance in both academy and industry. However, much of the research in this area has been devoted to boosting the performance of these execution environments. Few eorts have attempted to introduce features that automate or facilitate some software engineering activities, including software testing. This research argues that HLL VMs provide a reasonable basis for building an integrated software testing environment. To this end, two software testing features that build on the characteristics of a Java virtual machine (JVM) were devised. The purpose of the rst feature is to automate weak mutation. Augmented with mutation support, the chosen JVM achieved speedups of as much as 95% in comparison to a strong mutation tool. To support the testing of concurrent programs, the second feature is concerned with enabling the deterministic re-execution of Java programs and exploration of new scheduling sequences