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

???????????

?????????????????????Model-Driven Test???????????????е??Щ???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????в???????????????????????Ч??????Ч???????????????????????????????о?????????????

????????????????????????????????????????????????????????????????????????????????????е?????????????Щ???????????????????????з???????????????????з????????????????????

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

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

??????1???????????????????ó???????????????????????????????????????????в??????????

??????2???????????????????????????Ч???

??????3??????????????Ч?????????????????????????????????????????????????????

??????4??????????????????????????????ó??????????????????????????????

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

????????????????????????????????????????????????????????7 ??

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

??????????????????????????????????? ??t??????? ?????й??????MLF?? ?????????????NPDF?? ?????????????OOBF?? ???????????????ILCF?? ?????δ???????????????UVF?? ??????????????????ICF?? ????????????????OAF?? ???

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

??????????????????????????????????????????????????????????????????????Σ????????????????????????????????磺????????????????????????????????????????????????

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

??????????????????????Ч??????￡?????????????Ч???????????????????????????????????????????????????????????????????????????????????????δ?????static ????????????????????????????????????????????????δ????????????????

??????4?????????????

????????????????????????????????????????????????????????Java ?洢??????Java ??????????????????????????????????????????????????????????????????д????????????ж??????????????????????????????

??????5????????????

????????????????????????д????????????????Щ??????????????????????????????????????????????????????????????????л????????????

??????6?????????????

??????????????????????й??????????У??????????????ú??????????????????????????

??????7??????????????

????????????????????????????????????????д??????????????????????????????ж???????????????????????????δ????????????Щ??????????????????ж?????????????????

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

????????????????????????????????????????????????????????У?????????????????????ν??????WA????????????????????????????????????????Ρ??????С???в???????????????????????????????ì?????????????????????????????????????С?

???????1?????????????????????????????????????????????????α????????????

??????1?????????????SUT????????????????

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

??????3?????????н?Σ???????????????????????????????????л????????й????

??????4????????????????????в??????????????????????????????????????Щ??????????????????????????????????????????????????????????????????????????????????л??????

?????塢???????????????????

?????????????????????????????????????????д????????????????????????????У?

??????1???????????????????????Software Engineering Technology????????toolSET_Certify????????RISC6000??SUN????IBM??GOTCHA?????????????????????????????????л??????????????????????IBM ??TCBean????????????????????????????????????檔

??????2???????????????????????????Cleanroom Software Engineering??CleanTest??????????????????????????????????????????IBM ??CleanroomCertification Assistant?????????????????????????????????????????????????????????з?????

??????3????UML???????????????????????SilverMark??????IBM ?????VisualAge???????????????????????????TestMetor??UML Designer Connection??