2008, PikeTec TPT - Model-based control software test Folie 2

2010 PikeTec TPT - Model-based control software test #3

 ??
? ?

2010 PikeTec TPT - Model-based control software test #4

2010 PikeTec TPT - Model-based control software test #5
2010 PikeTec TPT - Model-based control software test #6
2010 PikeTec TPT - Model-based control software test #7
2010 PikeTec TPT - Model-based control software test #8
2010 PikeTec TPT - Model-based control software test #9
2010 PikeTec TPT - Model-based control software test #10
#11
 ??
? ?

2010 PikeTec TPT - Model-based control software test #12

2010 PikeTec TPT - Model-based control software test #13
 TPT VM

2010 PikeTec TPT - Model-based control software test #14

2010 PikeTec TPT - Model-based control software test #15
 Test case
(byte code)

Test result
(signal logging)

2010 PikeTec TPT - Model-based control software test #16

2010 PikeTec TPT - Model-based control software test #17
 ??
? ?

2010 PikeTec TPT - Model-based control software test #18

 during TPT.regexp([a(t)<17]):
cond := this.getLength()<10.0;

cond: true false true false

2010 PikeTec TPT - Model-based control software test #19

 cond: true false true false

2010 PikeTec TPT - Model-based control software test #20

#21
2010 PikeTec TPT - Model-based control software test #22
2010 PikeTec TPT - Model-based control software test #23
#24


2010 PikeTec TPT - Model-based control software test #25

during TPT.regexp([a(t)<17]):
cond := this.getLength()<10.0;

cond: true false true false

#26
2010 PikeTec TPT - Model-based control software test #27
2010 PikeTec TPT - Model-based control software test #28
2010 PikeTec TPT - Model-based control software test #29
2010 PikeTec TPT - Model-based control software test #30
#31