Dissertação

Infra-estrutura de Testes para Implementações de Referência do Standard ECMAScript EVALUATED

JavaScript é uma das linguagens de programação mais utilizadas no mundo. A sua especificação é descrita no standard ECMAScript, que consiste num documento complexo e extenso. De forma a garantir que uma implementação da linguagem JavaScript cumpre o standard, o comité do ECMAScript desenvolveu a Test262, uma bateria de testes oficial para a linguagem JavaScript. O processo de teste de uma implementação da linguagem JavaScript é, no entanto, complexo, devido a muitas implementações da linguagem serem parciais, isto é, não cobrirem todas as features da linguagem. Atualmente, não existe nenhum mecanismo para selecionar os testes apropriados para uma implementação parcial da linguagem JavaScript. De forma a melhorar esta situação, esta tese propõe uma nova infra-estrutura para seleção automática de testes da Test262 de acordo com as features desejadas. Em particular, nós propomos um novo formato para os metadados dos testes da Test262, e apresentamos uma infra-estrutura para calcular os metadados propostos. Na centro do nosso sistema de seleção de testes está uma base de dados NoSQL, que armazena os metadados calculados dos testes da Test262. Para além do sistema de seleção de testes, nós tomámos partido dos metadados calculados para obter uma caracterização estatística da versão atual da Test262.
ECMAScript, Especificação de Linguagem, Interpretadores de Referência, Linguagens Dinâmicas, Test262, OCaml

junho 20, 2022, 9:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

José Faustino Fragoso Femenin dos Santos

Departamento de Engenharia Informática (DEI)

Professor Auxiliar

ORIENTADOR

António José dos Reis Morgado

INESC-ID

Especialista