В настоящее время я разрабатываю метод символического выполнения и тестирования приложений IEC 61131-3. Для оценки моего подхода мне нужны нетривиальные программы, написанные на любом из языков, определенных в стандарте.
Существуют ли какие-либо общедоступные кодовые базы, которые я мог бы использовать для этого?
библиотеки OSCAT — это крупнейшая база открытого кода, написанная на IEC61131-3, если честно. Они предоставляют разные библиотеки для разных вариантов использования и для разных поставщиков ПЛК.
Кроме того, на Beckhoff Infosys доступно несколько примеров программ. Почти для каждой библиотеки они предоставляют образец раздела. Одним из самых больших примеров является образец расширения ООП (расширения ООП включены в новую версию IEC61131-3, не уверен, что вам это интересно).
Еще одним источником примеров является Магазин Codesys. У них есть несколько бесплатных и несколько платных примеров.
И еще один мне нравится (но он только на немецком языке). M. Seitz, автор хорошей книги по программированию ПЛК, приводит несколько сопроводительных примеров, один из которых немного больше (кофеварка). Также доступна библиотека моделирования и управления.
Очень хорошим источником примеров является информационная система Beckhoff, которую также можно скачать.
Вы можете найти хорошие примеры различных методов, например, в разных библиотеках.
Некоторые ссылки:
