08:30 – 08:50 看博客，校内，白云
08:50 – 09:00 Tea Time
09:00 – 10:00 通过Sequence Chart跟踪分析模拟程序中的错误，反复修改测试，修正了大约6个BUG
10:00 – 10:30 开着机器让他进行局部行为测试，慢！经历大约5次序号回转。俺一边喝着茶，一边实时Trace&Observe。观察结果：模拟行为和预期完全一致。Nice！
10:30 – 10:40 生产全局测试程序，用gcc编译，执行。0错误报告！！
State-vector 148 byte, depth reached 524, errors: 0
1.23048e+06 states, stored
1.13091e+06 nominal states (- rv and atomic)
66709 rvs succeeded
492784 states, matched
1.72327e+06 transitions (= stored+matched)
3 atomic steps
hash factor: 3.40866 (best coverage if >100)
(max size 2^22 states)
C1.0 OK！
我的相关日志：
2007-07-28 | ICT第十二天
2007-07-26 | ICT第十二天
2007-07-29 | ICT实习第十三天