?? ??? ??? ???? ????? ????? ??? ?? ?, ?? ???? ???? ???? ??? (??? ???? ?? ???? ?? ??? ?????) ????? ??? ???? ?????, ?? ‘????? ??? ???'? ??? ? ??. (the whole process of analyzing a program or component to ascertain whether the products of the provided growth section satisfy the disorders imposed In the beginning of that phase) [IEEE STD 1012] ?? ?