ModelJunit. ModelJunit é uma biblioteca Java que estende Junit para suportar testes baseados no modelo.
Baixe Agora

ModelJunit. Classificação e resumo

ModelJunit. Tag

Java Biblioteca Java. biblioteca Teste baseado em modelo Modelos EFSM. FSM.

ModelJunit. Descrição

ModelJunit é uma biblioteca Java que se estende Junit para suportar testes baseados no modelo. ModelJunit é uma biblioteca Java que se estende Junit para suportar testes baseados no modelo. A Biblioteca é uma ferramenta de código aberto, lançada sob a Licença GNU GPL.ModelJunit permite gravar modelos FSM ou EFSM simples como classes Java e gerar testes desses modelos e medir várias métricas de cobertura de modelo. Os princípios por trás do ModelJUnit são descritos nas seções 5.2 e 5.3 do nosso livro, testando práticas baseado em modelo.Aqui é uma versão 1.0 de ModelJunit. Observe que ele usa o recurso de anotações do Java 5.0, então requer JDK 1.5 ou superior para executar. Esta versão do ModelJunit foi apresentada em uma conversa do Google Tech por Mark Utting em agosto de 2007. Os primeiros 30 minutos da conversa são uma introdução ao modelo - Testes baseados, ModelJunit é discutido a partir de 28:20 e uma ferramenta comercial mais sofisticada, o Leirios Test Designer, é discutido a partir de 43:50. O arquivo ModelJunit.jar, que você precisa usar a ferramenta. (Isso foi compilado com JDK 1.6) Documentação Javadoc on-line para ModelJunit (Iniciar lendo a descrição do pacote ModelJunit). A versão para download modelJunit.zip da documentação. O código fonte da parte do projeto CZT. As fontes de desenvolvimento de ModelJunit podem ser verificadas usando estes dois comandos: svn co modeljunit svn co SVNROOT / CZT / tronco / Pom.xml Pom.xmlwe pode gerar facilmente alguns testes deste modelo, executando o código Java: tester tester = novo randomestester (novo FSM ()); tester.addlistener ("Verbose", novo verbosselistener (tester.getmodel ())); // Imprima os testes Tester.Generate (20); // gerar testes aleatoriamente O método principal da classe FSM mostra uma versão mais sofisticada disso, que também mede as métricas de cobertura do modelo do conjunto de testes gerados. Produz essa saída. Você pode executar este método principal da seguinte maneira (você deve ter ModelJunit.jar e junit.jar em sua classe e usar java 1.6): java net.sourceforge.czt.modeljunit.examples.fsmthis exemplo apenas imprime mensagens como o modelo é executado. As mensagens geradas podem ser salvas em um arquivo e usadas como um script de teste para execução posterior de teste (teste offline). Mas geralmente usamos o ModelJunit para testes on-line, onde os testes são executados no sistema sob teste (SUT), pois são gerados. Para fazer o teste on-line, o código de geração de teste dentro do método principal acima é geralmente escrito dentro dos métodos TestXYZ () De suas classes de teste JUnit, de modo que cada vez que você executa o seu JUnit Test Suite, você gerará um conjunto de testes do seu modelo FSM. Além disso, os métodos @ACTION ... em sua classe de modelo incluirão o código para chamar os métodos de sua suta, verifique seu valor de retorno e verifique o status do SUT. Desta forma, toda vez que você executa seus testes JUnit, o modelo é usado para gerar uma seqüência de @Action ... chamadas e testar o seu recurso novo e experimental de ModelJunit é uma interface GUI, que permite gerar testes apontando e clicando, ou para gerar o código que gera os testes. Para executar a GUI, coloque ModelJunit.jar e junit.jar no seu caminho de classe, em seguida, executar: java net.sourceforge.czt.modeljunit.gui.main

ModelJunit. Software Relacionado