На основе асимптотических аппроксимаций, получаемых при помощи передельных теорем теории вероятности, приводятся формулы, позволяющие получить гарантированные интервальные оценки частоты выполнения фрагментов кода последовательности программы. Описывается метод выбора надлежащей аппроксимации, основанный на современных оценках точности приближения биномиального распределения нормальным пуассоновским распределениеми.
