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实习第十三天