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

????????????????漲??????????????????????????????????????????????????й??????????

????Ч???????漲???????￡??????????????????????????????й??????????

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

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

?????????Χ??

?????????Χ????????????????????????????????ν??з??????

????????????????о?????????????????????????(???)?????????????????????????????????????????(??????????????????)???????????????????ν?????????????????????????????????????????????(???????????????)??????????????????????????????·?????????????????Щ???·?????????????Χ?????????????????

??????????????????о?????е????????????????????????????????????????????????·???????????????Щ???·???????????????????????????????????????????????????????????????????????????????????????????????????

????????????????????????????????ж??????????????????????????????????г????????????????????????????????Ч????????????Χ??????

???????????????????????????????????????ж?????????????????????????????????????Ч?????????????????????????????????????????????

???????????裺???????????????????????????????????????????????????????Ч?????????????????????????????

???????????????α??α??????α??????????????????????????????????????????????????????????????????а???????????????????????????????????????Σ??????????????????????????????????????????????????????????????????н????????????????漰??

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

??????仰???????????????????????в????????

?????e????????????

?????????2009??????????β????????PK?????????????????????????PK?????ж?????????????к??????????????·?????￡?????UML???????????????????·????????????????????????????????????????????????Щ?????UC?????????????(??????????)?????????????????????????????????У????????????????????????????????????????????????????????ú?????????????????·????????????????????????????????????????????????????????????????????????????????????ν??н??????????????????????в????????

?????????и????????V&V??????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????(????????淶)???????????????????????????90-10????????????????巽??к???????????????????????????????????????????

????????????????к??????????????????????????????????ж????????в??????????????????????????????????????????????????????

??????????

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

?????????????????????????????????????λ???????????????????????????????????￡????в?????????????е??????????????????????????????????????е?????????????????????????????

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

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

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

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

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

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

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

???????????

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

??????????

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

???????????о??????????????????????????????????????ο???????????????????????????google????????????????????Testability explorer????????????????????????

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

????????з????????????????????????????????????????й???????????????????????????????С??????????????????????????????????и???????????????????????????????????????????????????????????????????????????á?

??????????????????????????????????????????????????????????????????????????????????????????????????????????????????????в?????????????????????????????????п?????????????????

??????????ζ?????????????????????????????????????????·???????????????????????????????????????????????????????????????????????????в????·????????????????????????????????????????????????е????????С?????????????????????????