tour.txt

Rafael Martins, 05/03/2012 07:36 pm

Download (1.9 KB)

 
1
2
Pessoal,
3
4
Estou enviando para voces o arquivo com a descricao do passeio pela
5
poketool.
6
7
8
Abracos,
9
10
Chaim
11
12
13
Um "Tour pela poketool:
14
----------------------
15
16
# Passo 1: Analise estatica usando a poketool
17
18
>> newpoketool cmdline.c -L4 -cdf-pu -f_todas_
19
20
# Passo 2: Gerar executavel
21
22
>> gcc testeprog.c -o testeprog
23
24
# Passo 3: Rodar casos de teste
25
26
# Para encontrar as funcoes utilize o seguinte comando:
27
28
>> ls -l | grep ^d | awk '{printf " -f%s ", $9}' 
29
30
# Para jogar em um arquivo
31
32
>> ls -l | grep ^d | awk '{printf " -f%s ", $9}' > tmp
33
34
# Utilizar o pokeexec para gerar os arquivos de caminhos:
35
36
pokeexec testeprog -l -fcode_string -fis_str_keyword -fmain -fprint_aufgabe -fprint_dateien -fprocess_switches -fusage
37
38
# Obs: Nos diretorios das funcoes sao gerados arquivos path?.tes com os caminhos executados. Normalmente, ele sao compridos e tem o formato path?.tes.Z
39
40
# Foram rodados tres casos de teste. Para avaliar o criterio todos arcos para a funcao code_string utilize o comando
41
42
>> newpokeaval -dcode_string -arcs 1 to 3
43
44
# Para executar a avaliacao em "batch":
45
46
Obter os nomes das funcoes sem o "-f" inicial:
47
>> ls -l | grep ^d | awk '{printf " %s ", $9}'
48
49
# Mudar para o Bourne shell:
50
>> sh
51
52
# inclue os comandos abaixo
53
54
$ for v in  code_string  input  is_str_keyword  main  output  print_aufgabe  print_dateien  process_switches  usage
55
do
56
 newpokeaval -d$v -arcs 1 to 3
57
done
58
59
# Para voltar para o C shell 
60
61
$ exit
62
63
# Para olhar os resultados da funcao "main"
64
# Mudar para o diretorio da funcao: 
65
66
>> cd main
67
68
# Para visualizar os arcos executados:
69
	
70
>> more exec_arc.tes
71
72
# Para visualizar os arcos *nao* executados:
73
74
>> more arcoutput.tes
75
76
# Para os demais criterios, os arquivos de resultados executados sao:
77
78
 # todos usos: exec_uses.tes
79
 # todos potencial usos: exec_pu.tes
80
81
# Para os demais criterios, os arquivos de resultados * nao * executados sao:
82
83
 # todos usos: usesoutput.tes
84
 # todos potencial usos: puoutput.tes
85
86
87