Методы анализа программных системстатья