?????????????????????????????????????????????????????????????????????????????У????????????????????????????????????????????????????????????????????л??????????????bug???????????bug??????????2?????bug?????????????????????????????????????????????????????????????????????????????????д?????bug?????????????????????????????????????????Monkey???????ν??в?????????????????????????????????????????????????????????

?????ò????????????????????????????????????????????????????????????????????????????????????????????????????????衣???????????????????飬?????????????????????????????????????????????????????????????д???????????飬?????????????????????????????????????????

???????????????????????????????????????????飬??????????????????????????????г???????????????????????д?????????????徫???????????Ч????????????????????????????????????????????????????????????????????в?????????????????????

????Notes??

???????????????????????????Model-based Testing?????Software Development Life Cycle??SDLC?????????????????????????飬??????????á?

??????????????????????????μ???????

?????????????Traceability Matrix?????????

???????????Test Cases???????????????????????System Testing Specification??????????鵵????????л???????????????????????á?????????????Test Procedure???????????????????????

????????????????????????????????

??????????????????????????

????????????

?????????????

????????126????

???????????