Testador Automático de Classes: uma ferramenta para avaliar programas em Java

Documentos relacionados
Classes e Objetos. Sintaxe de classe em Java

IDES E PROGRAMAÇÃO. Prof. Dr. Cláudio Fabiano Motta Toledo PAE: Maurício A Dias

Tutorial da ferramenta de modelagem ASTAH (Versão resumida) Prof. Moacyr Franco Neto

Desenvolvimento de Aplicações Desktop

4 Uma Linguagem Baseada em Máquinas de Estado 4.1. A Linguagem

Ferramenta 1 -NetBeans 8.0

Universidade Federal de Pelotas Bacharelado em Ciência da Computação Programação Orientada a Objetos Prof. Gerson Cavalheiro Material de Apoio 3

Material de Apoio 3. Criando um novo projeto em BlueJ Lance a execução do BlueJ. A janela que deverá aparecer é a seguinte:

Introdução a Teste de Software

Obs.: para realizar estas atividades tenha certeza de que já tenha instalado no sistema operacional o Java JDK e o NetBeans.

AULA 02. OBJETIVO: Características da Linguagem Orientada a Objetos.

3 Ferramenta Proposta 3.1. Objetivos

Geração Automática de Classes Testadoras

3 Uma Abordagem Orientada a Aspectos para o Desenvolvimento de Frameworks

Linguagem Técnica I. Prof. Jonatas Bastos

Instalação JDK 10/03/2017

WINTHOR UPGRADE VERSÃO 2

Programação Orientada a Objectos - P. Prata, P. Fazendeiro

Introdução a Tecnologia da Informação

Victor Hugo Andrade Soares monitor João Vitor dos Santos Tristão Primeiro Trabalho Prático

Sistema PCMalotes Developed by: Bruno Lacerda All copyrights reserveds for Prado Chaves

Sankhya Web Connection. Versão: 02 Criado em: 28/03/2017

Release Notes. Produto: Fusion Platform Versão: 3.6 Data da Liberação: 25/09/2018. Pré-requisitos: Aplicação do pacote

AULA 9 Geocodificação de Endereços. 9.1 Como funciona a Geocodificação de Endereços

PROGTEST: Ambiente de Submissão e Avaliação de Trabalhos

1. Introdução O que é Microsoft PowerPoint Recursos de PowerPoint. Introdução

3 Processo de Teste. 3.1.Visão Geral do Processo

Instalação JDK. Joyce França. Professora de Ciência da Computação - IFNMG

UNIVERSIDADE FEDERAL DO VALE DO SÃO FRANCISCO UNIVASF SECRETARIA DE TECNOLOGIA DA INFORMAÇÃO STI DEPARTAMENTO DE SISTEMAS DE INFORMAÇÕES

WINRAR COMPACTADOR E DESCOMPACTADOR DE ARQUIVOS

Instituto de Informática Estrutura de Dados II

Ubiratam Carvalho de Paula Junior Rafaelli de Carvalho Coutinho

Java Standard Edition (JSE)

WINTHOR UPGRADE VERSÃO 2

Esta é a única declaração da aplicação

Cadastro do Perfil Profissional:

Manual Coleção Interativa Papel Professor Versão 2.5.3

Linguagem de Programação II Programação Orientada a Objetos. Ambientes de Programação

Recapitulando. Construtores: (Overload assinatura) public Circle() {...} public Circle(double x, double y, double r) {... }

OntoGen: Uma Ferramenta para Integração de Esquemas XML - Manual da Ferramenta

Visibilidade e Encapsulamento

Linguagem de Programação Visual

Sistema Indústria. Projeto Custos e Resultados. Fase 4 - Implantação Manual para Gerador de Planilha de Apontamento de Direcionadores de 2º Grau

Manual Gerenciador de Aprendizagem Papel Professor Versão 2.5.3

Introdução ao IDE Netbeans (Programação Java)

Novo Sistema de Relatórios. Associado. Informação Confidencial

Software Para Geração de Consultas e Relatórios

IMPLEMENTAÇÃO E RESOLUÇÃO DE MODELOS MATEMÁTICOS UTILIZANDO A PLANILHA EXCEL

Manual de instalação, configuração e utilização do Enviador XML

Manual Sistema de Automação de Pedidos Data C

Tutorial sobre o uso da ferramenta de autoria A Ferramenta de Autoria - Célula

Manual Linx Postos Comanda Mobile

Manual da Turma Virtual: CONFIGURAÇÕES. Para acessar a turma virtual com o perfil Docente, siga o caminho indicado abaixo:

Manual de utilização Zeus Direto

Unidade: sobrecarga, construtores e herança

ÍNDICE. Página 2 de 11

Primeiros passos das Planilhas de Obra v2.5 Instalação, configuração e primeiros passos para uso das planilhas de obra

Memória. Arquitetura de Von Neumann. Universidade do Vale do Rio dos Sinos Laboratório I Prof.ª Vera Alves 1 CPU. Unidade de controle ULA

Seções de aula (Seminários)

Assistente de Configuração de URA

CONTEXTO DO MANUAL Esse manual apresenta o processo de Plano de Trabalho Docente no SIGA.

MANUAL. Certificado de Origem Digital PERFIL PRODUTOR. Versão

SISTEMA DE ATIVIDADE COMPLEMENTAR

O que há de novo no Autodesk Navisworks 2011?

UNIVERSIDADE FEDERAL DO VALE DO SÃO FRANCISCO UNIVASF SECRETARIA DE TECNOLOGIA DA INFORMAÇÃO STI DEPARTAMENTO DE SISTEMAS DE INFORMAÇÕES

Uma Arquitetura de Tutor Inteligente que Provê Suporte ao Diálogo com o Aluno Iniciante em Linguagem de Programação

Avançando em Java com

Porque usar um montador? Formato de uma linha de código fonte:

Pacotes Organizando suas classes e bibliotecas

Programação Orientada a Objectos - P. Prata, P. Fazendeiro

Manual para Utilização do Redmine

CAU Controle de Acesso Unificado. Manual de Usuário

Portal Cálculo tem Remédio

Backup do Banco Sybase Passo a Passo

Engenharia de Software Aula 21. Revisão da Prova 2. Eduardo Figueiredo.

Como abrir arquivo XML no Excel

MANUAL DO MÓDULO PRESTAÇÃO DE SERVIÇOS (ORDEM DE SERVIÇOS)

Registrar atividades integradoras e ocorrências Registrar atividades integradoras e ocorrências

SCC: Sistema de Controle de Chamado: Módulo Cliente

MANUAL DE ORIENTAÇÃO SISTEMA DE GESTÃO DE EVENTOS - SGE

Manual Pedido Eletrônico Orgafarma

Elementos Externos 3D

DMS - DOCUMENTO DE MODELAGEM DE SISTEMA VERSÃO: [NOME DO SISTEMA] [SIGLA] [AUTORES]

6 IMPLEMENTAÇÃO DO MODELO DE REFERÊNCIA

SSC-546 Avaliação de Sistemas Computacionais

CLARO BACKUP ONLINE Guia Prático

DOCUMENTAÇÃO SISTEMA DE ADMINISTRAÇÃO DE CONSULTÓRIO MÉDICO

Conheça a Sala Virtual de Negociação

Tutorial do E3 para Iniciantes Capítulo 15 Consultas

Gerência de Tecnologia da Informação de Comunicação. Gestão Integrada de Demandas

Relatórios do histórico do CRS - Programação e estabelecimento de sessão

Programação Orientada a Objetos. Prof. Diemesleno Souza Carvalho

INSTRUÇÕES DO MÓDULO REQUERIMENTOS

Orientação a objetos. Programação. Orientada a Objetos. Orientação a objetos. Orientação a objetos. Abstração e encapsulamento

Seja bem vindo a sua AMP! AULA MODELO PROFESSOR- AMP

Especificam quem tem acesso a cada entidade, isto é, quem tem acesso a. cada classe e cada membro da classe (dados e métodos)

Transcrição:

Testador Automático de Classes: uma ferramenta para avaliar programas em Java Ingrid Oliveira de Nunes 1, Maria Lúcia Blanck Lisbôa 1 1 Instituto de Informática - Universidade Federal do Rio Grande do Sul (UFRGS) Caixa Postal 15.064-91.501-970 - Porto Alegre - RS - Brazil {ionunes,llisboa}@inf.ufrgs.br Abstract. Practical activities play a fundamental role in the learning of a programming language. Often, they don t occur with frequency, because of the difficulty that exists to evaluate the exercises: in an object-oriented language, each class must be submitted to a lot of tests and, for each one of them, the results must be checked. Then, a tool was developed, which automates the test and the evaluation of programs written in the Java language - the Automatic Class Tester. Thus, the quality in the teaching of this programming language can be increased. Resumo. Atividades práticas são fundamentais no aprendizado de uma linguagem de programação. Muitas vezes, elas não ocorrem com freqüência devido à dificuldade existente para a avaliação dos exercícios: no caso de uma linguagem orientada a objetos, é necessário que cada classe seja submetida a uma série de casos de teste e, para cada um deles, a correção dos resultados deve ser verificada. Por isso, desenvolveu-se uma ferramenta que automatiza o teste e a avaliação de programas feitos na linguagem Java - o Testador Automático de Classes. Assim, pode-se aumentar a qualidade no ensino dessa linguagem de programação. 1. Introdução Segundo Piaget [Uchoa 2001], a aprendizagem verdadeira é aquela que faz parte da experiência de vida dos participantes no processo. Durante o aprendizado de uma linguagem de programação, é de extrema importância que atividades práticas sejam oportunizadas aos alunos, para que os conceitos que embasam o desenvolvimento de programas sejam perfeitamente compreendidos quando submetidos às limitações impostas pelas linguagens de programação. Cada tópico ensinado nas aulas de programação deveria ter uma aula prática correspondente, na qual os alunos pudessem praticar e testar aquilo que viram. O ideal seria que o professor acompanhasse essas atividades práticas e avaliasse os exercícios feitos pelos alunos, testando cada um dos programas com casos de teste adequados. Porém, a situação ideal esbarra em problemas de ordem prática. Submeter os programas de todos os alunos a testes de avaliação torna-se uma tarefa impraticável principalmente por limitações de tempo. O professor deve submeter o programa de cada aluno a uma série de testes para que eles avaliem todos os casos possíveis. Além disso, no caso de linguagens orientadas a objetos, um exercício envolve a implementação de

várias classes e cada uma deve ser avaliada separadamente, assim como seus relacionamentos de associação e herança. Por isso, desenvolveu-se o Testador Automático de Classes, uma ferramenta desenvolvida em Java que tem por objetivo minimizar este problema, através da automação do processo de teste de programas. A ferramenta possibilita uma avaliação automática de classes implementadas em Java, bem como oferece suporte para a atribuição de notas às classes avaliadas. O presente artigo inicia-se apresentando a ferramenta e seu funcionamento. Após, explica-se a metodologia utilizada para a avaliação dos programas. Ao final, é feito um estudo de caso mostrando o uso do Testador Automático de Classes. 2. Testador Automático O Testador Automático de Classes consiste em uma aplicação Java que tem como funcionalidade principal testar automaticamente classes implementadas nessa linguagem de programação. Além disso, gera relatórios dos testes executados e atribui notas às classes testadas. Os testes são obtidos a partir de uma classe de teste fornecida e rodam sobre conjuntos de classes. As respostas dos testes sempre são comparadas aos resultados obtidos de um conjunto de classes-modelo. Todas essas classes devem estar estruturadas segundo um determinado padrão, o qual é especificado a seguir: a) Pacote Principal - pacote que contém os elementos do problema de programação: a classe de teste, as classes auxiliares e os pacotes do professor e dos alunos. Classes auxiliares são classes que um professor fornece aos alunos e eles devem fazer uso dela e não implementá-las. Elas não são testadas pelo programa. b) Pacote do Professor - este é o pacote que deve conter todas as classes que servirão como modelo para a aferição das classes de igual funcionalidade dos programas dos alunos. Elas devem redefinir o método equals herdado da classe Object do pacote java.lang. Isso permite uma comparação do retorno dos métodos. As classes presentes nesse pacote servirão como fonte para a criação de interfaces, além disso, o resultado de seus métodos será considerado como correto. O pacote deve encontrar-se dentro do pacote principal. c) Pacotes dos Alunos - dentro do pacote principal, deve haver outros pacotes que serão os dos alunos. Eles devem conter classes com mesmo nome das classes presentes no pacote do professor, bem como implementar construtores e métodos de mesma assinatura que as classes do professor. Para isso, o professor deve fornecer esqueletos das classes a serem implementadas. Outra solução, seria o fornecimento de interfaces a serem implementadas, mas isto seria muito avançado para principiantes. Tendo-se o pacote estruturado da maneira descrita, o Testador Automático de Classes pode ser utilizado para a avaliação dos programas dos alunos, classe a classe, identificando com bastante precisão os erros encontrados durante o processo: problemas com construtores e métodos.

2.1. Gerando Classes de Teste e do Professor A solução encontrada para avaliar as classes sem ser necessário alterar o código desenvolvido pelos alunos foi interceptar a criação de objetos e a invocação dos métodos da classe alvo de teste, verificando a ocorrência de erros na execução dos mesmos e a correção do retorno após a sua execução. Usando a técnica de reflexão computacional, sob a forma de proxies dinâmicos, foram criadas classes que implementam a interface InvocationHandler do pacote java.lang.reflect. Esta interface serve exatamente para fazer a interceptação de todas as chamadas de métodos, fornecendo a assinatura do método, bem como seus parâmetros atuais. Portanto, o proxy atua como um representante do objeto original, e as informações por ele obtidas permitem que a chamada seja efetivada sobre o objeto original, retornando o resultado ao representante. A figura 1 mostra a atuação de um objeto proxy sobre uma classe de usuário. Figura 1. Invocação de método sobre objeto proxy com interceptação de mensagens. É importante notar que a interface InvocationHandler intercepta apenas os métodos das interfaces públicas da classe do objeto, o que implica a necessidade de todos os programas seguirem exatamente as mesmas interfaces implementadas pela classe ou determinadas pelo esqueleto fornecido pelo professor. A geração das classes de testes consiste na criação de um novo pacote chamado tester localizado dentro do pacote principal. Seu conteúdo consiste dos pacotes com os nomes das classes a serem testadas. Cada um desses pacotes terá: uma classe denominada com o nome da classe a ser testada concatenado com o nome da classe de teste. Esta será a classe de teste; um pacote chamado temp que conterá todas as classes que não a alvo do teste, bem como a interface extraída a partir da classe do professor; um pacote chamado teacher, contendo a classe a ser testada implementada pelo professor (a classe modelo). Nas classes dos dois primeiros itens, todas as instanciações da classe a ser testada serão substituídas pela instanciação de um objeto proxy que tem a invocação dos construtores da classe a ser testada interceptada. Este objeto, por sua vez, fará a instanciação de outro objeto proxy e este será responsável por interceptar a invocação dos métodos da classe. Além disso, será adicionada a importação do pacote temp em todas as classes para caso elas façam uso de classes fornecidas pelo professor. É importante observar que a geração das classes de teste e do professor é o primeiro passo para a correção das classes, caso elas não compilem, o teste é abortado. Além disso, há algumas restrições em relação às classes a serem testadas:

elas não podem conter métodos que recebam como parâmetro ou retornem objetos dela mesma. caso elas redefinam o método tostring herdado da classe Object do pacote java.lang, deve-se ter o cuidado para manter um padrão do string de retorno, pois eles serão comparados letra a letra. Se esta comparação indicar que os strings apresentam a mesma semântica mas sintaxes diferentes, o retorno do método será considerado incorreto. Mesmo que o método tostring não seja invocado explicitamente na classe de teste, ele pode ser chamado indiretamente, como, por exemplo, ao invocar-se o método System.out.println. 2.2. Testando Classes de Alunos Tendo-se a estrutura de pacotes, classes e interfaces prontas para a execução dos testes, basta então executá-los. Ao iniciar a execução de um teste, o programa faz algumas modificações no código do aluno. Basicamente, coloca a classe a ser testada no pacote tester.nomedaclasse.student e acrescenta o código necessário para a classe implementar a interface gerada a partir da classe do professor, de forma a permitir a interceptação das mensagens a métodos. Em seguida, é feita a compilação da classe. Nesta etapa, podem aparecer erros, seja por causa de erros de programação do aluno, seja por causa da não implementação correta da interface. Caso tudo ocorra corretamente, a classe de teste iniciará sua execução. Cada construtor e cada método da classe a ser testada será interceptado ao ser chamado e será executado tanto para a classe modelo como para a classe do aluno. Os resultados de ambos são então comparados. Considerando-se correta a implementação da classe do professor, erros na classe do aluno serão computados. Caso ocorra algum erro de execução na classe de teste devido a alguma classe do professor, o teste da classe será interrompido e será atribuída a nota máxima à classe testada. É importante considerar que classes implementadas por alunos podem estar incorretas. Assim, classes corretamente implementadas podem apresentar erros quando dependem de outras que estão incorretas. Por isso, o teste é realizado para cada uma das classes separadamente, utilizando-se apenas a classe a ser testada implementada pelo aluno. As demais classes utilizadas são as classes modelo (consideradas corretas). Esse processo é feito com cada uma das classes a ser testada e, ao final, temos a relação entre o número de erros e o número de testes de cada uma das classes, possibilitando a atribuição de uma nota à classe testada. 3. Método de Avaliação A correção de uma determinada classe pode ser vista de duas maneiras: Correção Funcional: quando construtores e métodos são executados corretamente e os métodos retornam valores coerentes com o que é esperado. Correção de Estado: quando os campos privativos ou não do objeto representam corretamente o estado que ele se encontra. Neste trabalho, optou-se por efetuar uma correção funcional das classes, permitindo-se ao aluno uma maior flexibilidade na implementação de sua classe, Em [Hitchner 1999], é feita uma verificação de cada atributo do objeto sendo testado após a

execução de cada método. Isso implica que o aluno não tenha a liberdade de optar quais campos deverão fazer parte de sua classe, pois para a sua avaliação ser feita, a classe deve conter os atributos previamente estabelecidos no enunciado do exercício. Durante os testes, são verificados três tipos de erros, relacionados a seguir. 3.1. Erro de Compilação Ocorre quando a classe do aluno não compila por erro de programação, ou por não implementar a interface (esqueleto da classe fornecido pelo professor), ou pela inexistência da classe. Às classes com erros deste tipo, são atribuídas notas zero (0). 3.2. Ocorrência de Exceções Ocorre após a instanciação de um objeto ou a execução de um método. São consideradas como erro apenas as execuções que ocorrem com a classe do aluno e que não são declaradas na assinatura do construtor ou do método. No caso da ocorrência da exceção também na classe do professor, a exceção não é contabilizada como erro. 3.3. Retorno de Método Incorreto Ocorre após a execução de um método que retorne algo que não seja void. O retorno do professor é comparado com o do aluno. Caso eles difiram, o erro é contabilizado. 4. Interface Gráfica O uso do Testador Automático de Classes é realizado por meio de interfaces gráficas, que simplificam os passos de avaliação. A interface principal do Testador Automático de Classes é exibida na figura 2. O primeiro passo é abrir o pacote que se deseja testar, selecionando-se o diretório correspondente. Pode-se visualizar a estrutura do pacote aberto ao lado esquerdo da janela do testador. É possível abrir as classes a fim de ver o seu código dando-se um duplo clique sobre a classe a ser analisada. Figura 2. Interface principal do Testador Automático de Classes Ao solicitar a execução de um teste, deve-se selecionar a classe de teste e o pacote do professor. Após a execução de testes de todas as classes de todos os alunos, um relatório será exibido com as notas parciais e finais dos mesmos. Este relatório pode

ser salvo como um arquivo texto. Além disso, cada aluno terá em seu pacote um relatório de cada uma das classes testadas, contendo os testes executados, seu resultado - se foi executado com sucesso ou não (neste caso, o motivo do insucesso é detalhado) - e a nota atribuída à classe. 5. Estudo de Caso Um exercício de programação foi elaborado, a fim de exemplificar o uso do Testador Automático de Classes. Mostra-se aqui, passo a passo, quais são os procedimentos a serem tomados para se fazer o uso da ferramenta de forma que o exercício seja avaliado. O exercício considerado é o seguinte: um professor deseja que seus alunos implementem duas classes - a classe Pessoa e a classe Aluno. Para a implementação da classe Pessoa, o aluno deve fazer o uso da classe Data, fornecida pelo professor. Existem relacionamentos de uso entre as classes Pessoa e Data e também entre as classes Pessoa e Aluno. A classe que irá testar as duas classes será a classe ClasseDeTeste. O professor deve fornecer o esqueleto das classes a seus alunos, como exemplificado na figura 3. Figura 3. Esqueleto da classe Pessoa Cada aluno deverá implementar a sua versão das classes solicitadas. Uma estrutura de classes deverá ser montada, como pode ser visto na figura 4. Figura 4. Estrutura das classes Tendo isso feito, basta solicitar-se a execução dos testes através do item Executar Teste encontrado menu arquivo. Isso abre uma a caixa de diálogo, mostrado na figura 5, onde os parâmetros para execução do teste são selecionados.

Figura 5. Caixa de diálogo em que se solicita a execução dos testes Neste momento, o professor escolhe qual será a classe de teste e qual será o pacote modelo (do professor), bem como pode opcionalmente configurar os pesos das notas das classes para o cálculo da nota final. A princípio, todas as classes testadas terão peso um (1) no cálculo da nota final, mas isso pode ser alterado clicando-se no botão Peso das Notas... e atribuindo-se os valores desejados. Clicando em Executar Teste na caixa de diálogo da figura 5, os testes serão iniciados. Pode-se acompanhar o andamento da execução através de um caixa de diálogo como a da figura 6. Figura 6. Caixa de diálogo que exibe o decorrer da execução dos testes Tendo-se os testes executados com sucesso, cada pacote de cada aluno conterá um arquivo texto com o relatório de teste de cada classe e uma janela será exibida com o relatório de teste do pacote (figura 7), o qual pode ser salvo como um arquivo de texto. O relatório exibe a relação das classes testadas, bem como o peso de cada uma, a ser utilizado para o cálculo da nota final. Também, mostra as notas parciais (nota atribuída a cada classe) e finais (média ponderada das notas parciais) de cada um dos alunos. Figura 7. Relatório do pacote testado 6. Conclusões e Perspectivas Futuras Este trabalho reflete a preocupação de fazer com que alunos que estejam aprendendo uma linguagem de programação tenham atividades práticas em paralelo ao que aprendem nas aulas teóricas. A importância da implementação é fundamental para a

fixação do uso dos comandos de controle, dos recursos da linguagem e o desenvolvimento do raciocínio. O professor deve sempre acompanhar a execução dessas atividades práticas. Para tornar esse acompanhamento viável, desenvolveu-se uma ferramenta que automatiza tanto a correção como a avaliação de exercícios de programação na linguagem Java. Esta ferramenta, inteiramente desenvolvida em Java padrão, é totalmente portável e autônoma, mas pode ser integrada a um IDE que ofereça facilidades de extensão. Esta ferramenta faz parte do projeto JEduc [Brugnara, Betagnolli, Lisboa e Perego 2002], o qual já possui um ambiente de programação em Java simplificado, configurável e extensível, ideal para quem está aprendendo a linguagem. O JEduc possui configurações específicas para o professor e para os alunos; a primeira configuração é completa e possui alguns recursos de interesse ao professor, enquanto que a segunda configuração é mais leve, possuindo filtros de pacotes e de mensagens. O Testador Automático de Classes deve ser integrado ao JEduc (versão professor) e também ao Gerador Automático de Classes de Teste [Lima 2004], de forma que a criação das classes de teste utilizadas no testador também seja gerada automaticamente. 7. Referências Brugnara, T., Bertagnolli, S. C., Lisboa, M. L. B., Perego, C. A. (2002) JEduc: uma ferramenta livre para auxiliar o ensino da linguagem de programação Java, In: Workshop Software Livre, (WSL 2002), Porto Alegre. Goldwasser, M. H. (2002) A Gimmick to Integrate Software Testing Throughout the Curriculum, In: ACM SIGCSE Bulletin, March. Hitchner, L. E. (1999) An Automatic Testing and Grading Method for a C++ List Class, In: ACM SIGCSE Bulletin, June. Jones, E. L. (2001) Integrating Testing into the Curriculum - Arsenic in Small Doses, In: ACM SIGCSE Bulletin, PROCEEDINGS OF THE THIRTY-SECOND SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE, February. Jones, E. L. (2000) Grading Student Programs - a Software Testing, In: PROCEEDINGS OF THE FOURTEENTH ANNUAL CONSORTIUM ON SMALL COLLEGES SOUTHEASTERN CONFERENCE, November. Kay, D. G. et al. (1994) Automated Grading Assistance For Student Programs, In: ACM SIGCSE Bulletin, PROCEEDINGS OF THE TWENTY-FIFTH SIGCSE SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, March. Lima, Márcia J. (2003) Geração Automática de Classes Testadoras em Java, In: Poster - Salão de Iniciação Científica - UFRGS, Novembro. Lima, Márcia J. (2004) Geração Automática de Classes Testadoras em Java, In: Poster - Jornadas de Iniciação Científica - SBPC, Cuiabá, Julho. Sun Microsystems (2005) Sun Microsystems, http://www.sun.com, 2005. Uchoa, K. C. A. (2001) Construtivismo em Piaget, http://www.comp.ufla.br/ ~kacilene/educacao/piaget.html, Agosto.