?????????????????????????ε??????????????????λ????????д?????????????????

????????

?????????治??????????????????????????????????????????????????в????????

?????? ???????????鸚???????????????й??????????

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

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

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

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

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

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

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

????????????????о?????????????????????????????????????????????????????????????????????????????????????????????????????????????ν?????????????????????????????????????????????????????????????????????????????????????????????·?????????????????Щ???·?????????????Χ?????????????????

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

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

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

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

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

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

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

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

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

?????????и????????V&V???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????淶?????????????????????????????90??10????????????????巽??к???????????????????????????????????????????

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

??????

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

С??????????????????????????????????????????ζ???????????????????????????????????????????????????????????????????????滮?????????г?????????????????????????