????? ???????. ???? ?? ??? ?? ? ???, ?? ??? ??? ?? ?? ?? ??? ??? ? ????. (the whole process of analyzing a program or element to determine whether or not the merchandise of a offered growth phase satisfy the disorders imposed At the beginning of that section) [IEEE STD 1012] ??·? ??·?????? ??·????? ??? ??? ??? ?? ?? ?????? ??????, ??? ??? ???