Existem várias opções disponíveis para executar um este.
Pode fazer clique com o botão direito no rato nele no Navegador de Testes e seleccionar Executar como > Executar ou Executar como > Teste. Se for seleccionada a última opção, o TPTP irá automaticamente executar o teste seleccionado sem invocar a caixa de diálogo de configuração de lançamento.
Se for seleccionada a primeira opção, abre-se a caixa de diálogo de configuração de lançamento e o utilizador pode configurar as diversas propriedades conforme o necessário. Também é este o caso quando o menu Executar... se abre sem fazer clique com o botão direito do rato num teste. Por conseguinte, em qualquer destas situações, irá abrir-se Executar (caixa de diálogo de configuração de lançamento).
Se não existir uma configuração de execução:
Faça clique no botão Aplicar para guardar as alterações. Opcionalmente, faça clique no botão Executar para guardar as alterações e para lançar o teste. O teste TPTP será então executado.
O separador Teste tem duas áreas da janela: Seleccionar teste a executar e Seleccionar uma implementação. Na área de janela Seleccionar Teste a executar, navegue até ao teste que pretende executar. A área da janela Seleccionar uma implementação enumera a implementação local, bem como todas as implementações que tenha criado. Para executar um teste, é necessário seleccionar uma implementação.
O separador Ficheiros de Registo de Teste permite sobrepor as predefinições dos ficheiros de registo consoante o pretendido.
Para informações sobre o Separador comum, consulte o tópico Propriedade de configuração de início.
Conceitos relacionados
Editor de Implementação - descrição geral
Referência relacionada
Propriedades genéricas da configuração de lançamento
(C) Copyright Scapa Technologies 2000, 2005. Todos os direitos reservados.