. 7.1 Введение . 7.2 Методология тестирования POSIX (Стандарт IEEE P2003) . 7.3 Система понятий методологии тестирования конформности POSIX . 7.4 Модель процесса установления конформности . 7.5 Синтаксис, типы, конструкции утверждений конформности . 7.6 Коды результатов тестирования . 7.7 Отчет о результатах тестирования . 7.8 Уровни тестирования . 7.9 Методика написания утверждений . 7.10 Применение формальных языков . 7.11 Заключение . Литература