???????????

?????????????????????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??