Определение отсутствия ошибок в программном продукте

Определение первое. Для тех кто обладает аналитическим мышлением.

Будем считать что косяки искоренены если в пределах погрешности их существования не найдется ни одной точки соприкосновения косяков с кривой поведения конечных юзеров.

Определение вторе. Для тех кто оперирует логическими категориями.

Множество В, содержащее элементы пространства багов, будем считать безкосячным, если оно не отличается от множества А, не со держащие элементы пространсва багов, с точки зрения алгебры фичности. При этом все операции определенные для пользователя из А должны выполняться и в В.

Определение третье. Для тех кто предпочитает абстрактные модели.

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