News

MicroTESK 2.2.8 beta released

Added by Andrei Tatarnikov almost 2 years ago

The new release contains the following changes:

  • Support for preprocessor directives
  • Support for exception handling
  • Support for tracking instruction addresses during simulation (including tracking addresses in indirect branches)

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

MicroTESK 2.2.7 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Data file generation feature was implemented
  • Several bug fixes and general improvements were made

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

MicroTESK 2.2.6 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Support for large memory addresses (e.g 48 and 64 bits) was improved
  • Support for overloaded preparators was implemented
  • Support for operation and addressing mode groups in test templates was implemented
  • Support for user-defined test data generator extensions (in Java) was implemented
  • Improved console output format (use the --verbose option)
  • Several bug fixes and general improvements were made

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

MicroTESK 2.2.5 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Basic support for Tarmac was implemented (logging is enabled with the '--tarmac-log' option)
  • Support for large memory addresses (e.g 48 and 64 bits) was implemented

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

MicroTESK 2.2.4 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Possibility to select test situations in random manner was implemented.
  • Randomization of operands of instructions with unspecified situations was supported.
  • Architecture-specific settings (set up with '--arch-dirs' option) were established.
  • Support for random register allocation was implemented.
  • Options '--comments-enabled' and '--comments-enabled' for enabling/disabling printing comments to test programs were added.
  • Option '--solver-debug' for enabling debug output of SMT solvers was added.
  • Functionality of the 'include' directive was improved.
  • Format of generated test programs was enhanced.
  • Behavior improvement: if a preparator for an addressing mode is not specified, test generation is no aborted.
  • Several bug fixes and general improvements were made.

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

MicroTESK 2.2.3 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Test data is generated taking into account data generated for other instructions.
  • Statistics on test program size and test generator performance is collected.
  • Test programs are split into parts if they exceed the specified limits on instruction number.

NOTE: The format of MicroTESK command line has changed. Please see the Command-Line Options documenation topic for more information.

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

MicroTESK 2.2.2 alpha released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Simple mechanism for detecting loops in test templates was implemented. If the number of branch executions exceeds the specified limit, test generation is halted.
  • New attribute 'init' was supported for 'mode' and 'op' nML primitives. It specifies initialization actions to be performed each time before code of other standard attributes like 'syntax' and 'image' is executed.
  • The repetition operator was implemented in nML. Syntax is the following: {N}X - concatenates the specified location X with itself N times.
  • Branches of logic in nML specifications which raise exceptions are automatically marked as named test situations.
  • Syntax of the 'reg', 'mem' and 'var' nML constructs was extended to support array-based aliases.
  • Functionality of 'format' and 'trace' nML functions was improved. Now they support conditional string-based expressions as arguments.
  • Default values for some command-line options are now stored in a configuration file.
  • Several bug fixes and general improvements were made.

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

MicroTESK 2.2.1 alpha released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Support for the CVC4 constraint solver was implemented (*)
  • Several bug fixes and general code improvements were made

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

(*) Please see the Installing Constraint Solvers and Running MicroTESK sections of Installation Guide to learn how to install and use CVC4.

MicroTESK 2.2.0 alpha released

Added by Andrei Tatarnikov over 2 years ago

The new minor version of MicroTESK contains the following new features and changes:

  • Support for automated extraction of coverage information that allows building constraints for named paths in instruction control flow (*)
  • Possibility to process test templates in a stream manner (block by block), which allows processing larger test templates
  • The trace method of the test template language now accepts objects created by the rand method
  • Several minor bug fixes and general improvements

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

What's new (*):

Coverage Information Extraction

The main feature of the new release is extraction of test situations for named paths in the instruction control flow. Test situations are described as constraints on input parameters which should be satisfied in order to cause execution of a specific path. Test data is generated by solving the constraints specified in a test template.

Paths can be marked in ISA specifications using the mark function. For example, here is a part of the miniMIPS ADD instruction specification where two possible execution paths are marked as normal and overflow:

op add (rd: REG, rs: REG, rt: REG)
  syntax = format("add %s, %s, %s", rd.syntax, rs.syntax, rt.syntax)
  image = format("000000%s%s%s00000100000", rs.image, rt.image, rd.image)
  action = {
    temp = rs<31>::rs + rt<31>::rt;
    if temp<32> != temp<31> then
      mark("overflow");
      exception("IntegerOverflow");
    else
      mark("normal");
      rd = temp<31..0>;
    endif;
  }

Test situations to be covered by tests are specified in test templates using the name of the instruction and the name of the path. For example:

add t0, t1, t2 do situation('add.overflow') end
add t3, t4, t5 do situation('add.normal') end

NOTE: To generate test data based on constraints, MicroTESK requires the Z3 solver to be installed. See Installation Guide for more information.

MicroTESK 2.1.5 released

Added by Andrei Tatarnikov over 2 years ago

The new release contains the following changes:

  • The random_seed setting was added to test templates
  • Biased random generation was supported
  • The miniMIPS specification was improved
  • More test templates for miniMIPS were added

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

1 ... 8 9 10 11 12 (91-100/111)

Also available in: Atom