???????????????????????ú???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????

???????????????????????????????????????????????????????????????Щ??????????????????????????????????????????????????????????

????????????????????????????????????????????????????????????????????Ч????????????????Щ????????????

??????????????Щ??????????????????????????????????????????

?????÷??????? Harry Robinson?????????????????????????????????????“MBT is not your parents'  test automation”?? ??????????????

??????????????????壺

????Model based testing?? ???????????

???????????????????????????????????????????????????????????????????????????????????????????????????????????????????SUT?? system under test???Щ?????????????????????????

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

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

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

???????е????????????????????????????????????

???????????????????????????涼???????????????????????????????????????????????????

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

?????????????????????MBT???????????????????????????????????????????????????????????????????У????????????????????????????????

?????????????????????????????????????????????Щ?????????

????1??????????

???????????????????????????????????????????????????????????????????￡??????????????????????????

????2????????

???????????????????????????????????????????????????????????Ч???????????????????????????????

????3????????????????

??????????????Щ???????????

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

???????·?????????????????????ζ???????????????????????????????????????е????????????????

?????й??????????????

????Linux??????? Torvalds??Linus ?????й???仰??

????Bad programmers worry about the code.
????Good programmers worry about data structures and their relationships.