Пример pal_tests

Пример демонстрирует использование PAL (Policy Assertion Language) при написании тестов политики безопасности решения на базе KasperskyOS. Тесты на языке PAL позволяют проверить политику безопасности решения еще до начала разработки программного кода, основываясь на формальных спецификациях компонентов решения.

Директория примера в SDK

Код примера и скрипты для сборки находятся по следующему пути:

/opt/KasperskyOS-Community-Edition-<platform>-<version>/examples/pal_tests

Список программ

Пример не содержит сами программы, а только их формальные описания. Тесты проверяют события безопасности следующих программ:

• WebServer – прикладная программа, предоставляющая пользователю доступ к программе Service через веб-интерфейс.
• Service – прикладная программа, обрабатывающая запросы пользователя и возвращающая результат выполнения запроса.
• UserManager – прикладная программа, реализующая управление учетными записями и авторизацией пользователей.

Описание политики безопасности

Файлы описания политики безопасности решения на базе KasperskyOS находятся по следующему пути ./einit/src.

Файл security.psl содержит описание политики безопасности решения. Этот файл является файлом верхнего уровня, в который через декларацию use включены части описания политики безопасности решения в виде PSL-файлов: core.psl, user_mngr.psl, service.psl, vfs_net.psl, vfs_entity.psl.

Файлы *_tests.psl содержат наборы тестов.

Дополнительные файлы

В директориях ./resources/edl и ./resources/idl расположены EDL- и IDL-описания для программ WebServer, Service и UserManager.

Сценарий работы

Запускаются на выполнение наборы тестов, описанных в файлах *_tests.psl. Тесты проверяют, соблюдаются ли заданные политики безопасности для каждой из списка программ. Результаты выполнения тестов отображаются в стандартном выводе.

Сборка и запуск примера

См. "Создание и выполнение тестов политики безопасности решения на базе KasperskyOS".