Development Milestones¶

Version 2 (deadline: 31/08/2014)¶

MicroTESK v2 should fully support instruction set specifications and random/combinatorial template-based test program generation. This is the minimal functionality that makes the MicroTESK tool useful.

Version 2.0 (deadline: 30/04/2014)¶

Keywords: test situations, exceptions, initialization code, branching instructions

• Test Situations
  • Manual description of test situations in Java and XML should be supported
  • Test situations should be accessible from test templates (corresponding solvers should be invoked, and generated data should be substituted into the test program)
  • Each instruction should have a top-level test situation (by default, the top-level situation is Random)
  • There should be a configuration file assigning top-level test situations to instructions (Random, Zero, etc.)
• Initialization Code
  • Manual specification of initialization code (for each access mode) should be supported
  • Automated extraction of initialization code (for each access mode) should be implemented
• Exceptions
  • Mechanism for specifying exceptions should be clarified (probably, a predefined function, like RaiseException, should be introduced)
  • Means for describing exception handling logic should be added
• Branch Instructions
  • Facilities for defining/using labels in test templates should be revisited
  • Combinatorial test program generation based on test templates with branch instructions should be implemented
• Documentation
  • All new facilities should be documented

Version 2.1 (deadline: 31/05/2014)¶

Keywords: VLIW, aliases, self-checking test programs

• Specification
  • Auxiliary nML constructs, like alias, should be enabled
  • Mechanisms for calling operations in operations should be implemented
  • Means for specifying VLIW architectures (e.g., Elbrus) should be added
• Testing
  • Mechanisms for calling test templates in test templates should be implemented
  • Generation of self-checking test programs should be supported
  • Means for writting test templates for VLIW architectures should be added
• Example
  • A fragment of the Elbrus architecture should specified
  • Some test templates for the Elbrus architecture should be written
• Documentation
  • All new facilities should be documented

Version 2.2 (deadline: 30/06/2014)¶

1. поддержка композиции тестовых ситуаций
   1. дизъюнктивная композиция (случайный выбор на основе весов)
   2. конъюнктивная композиция (с возможностью указания "жестких" и "мягких" ограничений)
2. поддержка декомпозиции тестовых ситуаций (представление тестовой ситуации в форме дизъюнктивной композиции уточняющих ситуаций - импликантов)
   1. например, путем построения BDD: rule(situation)
   2. или с помощью других методов генерации тестов для реализаций логических функций
   3. набор правил декомпозиции должен быть расширяемым
3. поддержка извлечения тестовых ситуаций из кода
   1. тестовая ситуация верхнего уровня (для отдельной инструкции) строится как дизъюнктивная композиция извлеченных ситуаций
   2. если в шаблоне для некоторой инструкции не указана тестовая ситуация, по умолчанию используется ситуация верхнего уровня
4. поддержка итерации тестовых ситуаций
   1. систематический перебор тестовых ситуаций: iterate(situation) или iterate(rule(situation))

Version 2.3 (deadline: 31/07/2014)¶

1. вынесение функций работы с тестовым знанием в проект TestBase
2. создание среды разработки MicroTESK (модуль для Eclipse)
3. разработка формата трассы выполнения тестовой программы

Promotion.
miniMIPS
opencores

Version 3¶

Version 3.0¶

1. поддержка микроархитектурных спецификаций
   1. спецификация устройства управления памятью
   2. спецификация конвейера микропроцессора
2. рефакторинг внутреннего представления
   1. унификация с проектом Retrascope

Version 3.1¶

1. поддержка многоядерных микропроцессоров

Version 3.2¶

1. интеграция с Promela-спецификациями протоколов когерентности