Stream X-Машина
-
Основы Stream X-machine
- Stream X-machine (SXM) — модель вычислений, разработанная Гилбертом Лейкоком в 1993 году.
- Основана на X-машине Эйленберга, обрабатывает данные типа Mem с потоками In* и Out*.
- Переходы SXM обозначаются функциями, вычисляющими выход и обновляющими память.
-
Применение и развитие
- SXM позволяет эффективно тестировать сложные программные системы, разделяя их на отдельные SXM.
- Флорентин Ипате и Майк Холкомб развили теорию полного функционального тестирования, гарантирующую правильность интеграции.
- SXM вызывает интерес из-за своей интуитивной интерпретации как «агентов обработки данных».
-
Связь с X-машинами
- SXM является вариантом X-машины с ограниченным типом функций обработки.
- В X-машине функции обработки являются общими соотношениями на X, в SXM — функциями обработки данных.
-
Обрабатываемые свойства
- SXM преобразует входные данные в выходные, используя память.
- Поведение SXM является детерминированным, если в каждом состоянии включен не более одного перехода.
- SXM идеально подходит для спецификации программных систем и может быть протестирована на соответствие спецификации.
-
Тестирование и методология
- Холкомб и Ипате разработали практическую теорию тестирования, которая позволяет тестировать большие системы.
- Метод тестирования SXM описан в отдельной статье.
-
Расширения и приложения
- Коммуникационные потоковые X-машины (CSXMS) находят применение в различных областях, включая социальные насекомые и экономику.
-
Ссылки и рекомендации
- Ссылки на проекты, использующие методы SXM, и на внешние ресурсы для дополнительной информации.