Руководство пользователя¶

• Table of contents
• Руководство пользователя
  • Краткое описание
  • Установка MicroTESK
  • Запуск MicroTESK
  • Основы языка nML
  • Основы языка описания тестовых шаблонов

Краткое описание¶

Установка MicroTESK¶

Руководство по установке и запуску MicroTESK на английском языке можно найти здесь:
http://forge.ispras.ru/projects/microtesk/wiki/Installation_Guide

Запуск MicroTESK¶

Основы языка nML¶

Ссылки на описание языка nML/Sim-nML на английском языке можно найти здесь:
http://forge.ispras.ru/projects/microtesk/wiki/Sim-nML-Related_Publications

Объявление констант:

let X = 10

Объявления типов:

type INT = int(32)

Основы языка описания тестовых шаблонов¶