Полнота
Методология ACC создает матрицу, полностью описывающую ваш проект. С ее помощью в нескольких внутренних проектах Google нашли области покрытия, упущенные в ходе обычного планирования тестирования.
Данный текст является ознакомительным фрагментом.
4. Полнота системы правил Армстронга Пусть F(S) — заданное множество функциональных зависимостей, заданных над схемой отношения S.Обозначим через inv <F(S)> ограничение, накладываемое этим множеством функциональных зависимостей. Распишем его: Inv <F(S)> r(S) = ?X ? Y ?F(S) [inv <X ?
3.2.1 Полнота (completeness) Документация пользователя должна содержать информацию, необходимую для использования продукта. В документации пользователя должны быть полностью описаны все функции, установленные в описании продукта, и все вызываемые пользователем функции из
У6.13 Достаточная полнота (Это упражнение предполагает, что вы выполнили одно или несколько предыдущих упражнений).Изучите спецификацию АТД, написанную вами в качестве решения одного из предыдущих упражнений, и попытайтесь доказать, что она является достаточно полной.