skip to main content

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

Durelli, Vinicius Humberto Serapilha

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-10-01

Acesso online. A biblioteca também possui exemplares impressos.

  • Título:
    Toward harnessing a Java high-level language virtual machine for supporting software testing
  • Autor: Durelli, Vinicius Humberto Serapilha
  • Orientador: Delamaro, Márcio Eduardo; Offutt, Jefferson
  • Assuntos: Máquina Virtual Java; Teste De Software; Maxine Vm; Mecanismo De Record-And-Playback; Mutação Fraca; Teste De Mutação; Java Virtual Machine; Software Testing; Record-And-Playback Mechanism; Mutation Testing; Weak Mutation
  • Notas: Tese (Doutorado)
  • Descrição: 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
  • DOI: 10.11606/T.55.2013.tde-06012014-150025
  • Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação
  • Data de criação/publicação: 2013-10-01
  • Formato: Adobe PDF
  • Idioma: Inglês

Buscando em bases de dados remotas. Favor aguardar.