[TPTP] Utiliser TPTP pour tracer une application.
Bonjour,
Je souhaiterai tracer une application Java.
Je pense pour cela utiliser TPTP :
TPTP
Par exemple avec cette application :
Code:
1
2
3
4
5
6
7
8
9
10
| package testtptp;
public class Start {
public static void main(String[] args) {
Aaa aaa = new Aaa();
aaa.doSomething();
}
} |
Code:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
| package testtptp;
public class Aaa {
private int i = 0;
public Aaa() {
setI(getI() + 1);
}
public void doSomething() {
Bbb bbb = new Bbb();
bbb.doOtherThing();
}
private void setI(int i) {
this.i = i;
}
private int getI() {
return i;
}
} |
Code:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
| package testtptp;
public class Bbb {
private int d=15;
public void doOtherThing() {
setD(getD() + 1);
}
private void setD(int d) {
this.d = d;
}
private int getD() {
return d;
}
} |
Je souhaiterai obtenir ce genre de fichier trace :
Citation:
Start.java main
Aaa.java Aaa()
Aaa.java GetI()
Aaa.java SetI()
Aaa.java doSomething()
BBB.java doOtherThing()
BBB.java GetD()
BBB.java SetD()
Quelqu'un connnait-il TPTP et ainsi me dire si c'est possible.
Et si c'est possible comment procéder.
Merci,
