X-машина
- Статья представляет собой список тезисов и ссылок на различные исследования и работы, связанные с X-машинами.
- X-машины используются для формального проектирования и тестирования компьютерных систем.
- Рассмотрены различные аспекты X-машин, включая их применение для моделирования и тестирования программ.
- Обсуждаются методы уточнения и тестирования обобщенных технических характеристик машин.
- Представлены примеры использования X-машин для взаимодействия в реальном времени и моделирования логического программирования.
- Обсуждаются подходы к взаимодействию потоковых X-машин и полное функциональное тестирование с использованием объектных машин.
- Рассматривается теория регрессионного тестирования для поведенчески совместимых типов объектов.
Полный текст статьи: