login

Projetos / Projects

VETesting
Domínio: 
Teste de Software

VETesting é uma ferramenta de apoio à técnica de teste estrutural. Essa ferramenta testa programas que utilizam Ambiente Virtual (AV) implementado em linguagem Java, juntamente com sua Application Programming Interface (API) Java 3D. Na ferramenta VETesting foram implementados 4 critérios estruturais baseados no Grafo de Cena (GC) de um AV. Ela permite selecionar a classe a ser testada por meio de uma interface GUI, visualizar o seu GC correspondente, adicionar casos de teste por meio da interação do AV do sistema e finalmente visualizar a cobertura dos critérios.

TeTooDS - Testing Tool for Dynamic Systems
Domínio: 
Teste de Software

A TeTooDS pode ser utilizada para o teste de modelos de sistemas dinâmicos. A ferramenta auxilia na geração de dados de teste utilizando a abordagem combinatorial de pares (pairwise testing), possibilitando a execução dos mesmos em um ambiente de desenvolvimento externo (Simulink ou Scicos).

Proteum
Proteum 1.1
Domínio: 
Teste de Software

Proteum (PROgram Testing Using Mutants), a testing tool that supports Mutation Analysis criterion. Proteum can be configured for testing programs in many procedural programming languages.

JFTtool
Domínio: 
Teste de Software

JFTtool (Java Functional Testing tool), é uma ferramenta de apoio ao Teste Funcional de Software, gerando dados de teste de maneira automatizada baseada nos critérios Particionamento em Classes, Análise do Valor Limite e Grafo Causa-Efeito. A ferramenta possibilita ao testador incluir os subdomínios de saída, registrando casos de teste.

JTUF
jtuf.png
Domínio: 
Teste de Software

O JTUF (Java - Teste de Unidade Funcional) é um framework open-source, com suporte à execução de testes funcionais na linguagem de programação Java. Esse framework auxilia na execução de testes de unidade funcionais sobre classes Java. Com JTUF pode ser verificado se cada método de uma classe funciona de acordo com a especificação, exibindo possíveis erros que estão ocorrendo no método a partir da geração de casos de teste.

Apolom
Domínio: 
Teste de Software

Apolom is an oracle generator tool for Simulink models. The tester can define a specification with an adaptation of TRIO, a temporal logic language, using the Apolom interface and an analyzer compares it with the model simulation. Apolom supports automation for the following steps: specification definition, mapping between specification and Simulink-model and an analyzer which compares the specification with the Simulink model simulation.

Votação Eletrônica
Domínio: 
Sofware

Este projeto visa a implantação de um sistema informatizado para realização de votações na Universidade de São Paulo. O software é baseado no sistema Helios (https://vote.heliosvoting.org/), conhecido por ser uma plataforma que garante privacidade, verificabilidade e confiabilidade em todas as votações. Os resultados desse projeto serão colocados a disposição para que outras instituições se beneficiem do sistema.

Sistema Web para o Museu da Fauna e Flora
Domínio: 
Sofware

Um sistema web livre que visitantes podem acessar e encontrar informações sobre a Fauna e Flora catalogadas, bem como informações, eventos e notícias sobre o Museu, podendo ser totalmente personalizável, a fim de ser implementada em outras instituições, de modo a incentivá-las a ter cada uma seu próprio museu. Como meio de catalogação o sistema web utiliza o Memória Virtual, outro sistema web livre permitindo a catalogação de qualquer bem histórico material ou imaterial.


Conteúdo sindicalizado