Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
7313 MicroTESK Bug New High Analysis for input/output parameters Mikhail Chupilko Andrei Tatarnikov
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Andrei Tatarnikov
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Andrei Tatarnikov
6194 MicroTESK Bug New Normal Automated extraction of addressable unit size Andrei Tatarnikov Andrei Tatarnikov
7251 MicroTESK Bug New High A warning or error is needed when a value is truncated Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
5652 MicroTESK Task New High Better examples of test templates using test situations Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
8693 MicroTESK Task New Normal Construct sizeof(type) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4
6068 MicroTESK Task New Normal Description of complex situations Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2
5674 MicroTESK Task New Urgent Description of test data generation mechanisms (test situation processing, constraint solving) Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
5301 MicroTESK Task New Normal Description of the Java template interface Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2
3993 MicroTESK Task New Normal Description of the nML translator Alexander Kamkin Andrei Tatarnikov
5677 MicroTESK Task New Urgent Examples of templates demonstrating how to create combinatorial tests Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
7218 MicroTESK Bug New Normal extraneous input 'op' expecting ID Alexander Protsenko Andrei Tatarnikov
8186 MicroTESK Task New Normal Full support for 'struct' in nml Alexander Protsenko Andrei Tatarnikov
5659 MicroTESK Bug New High Function 'trace' should accept addressing modes as arguments Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
7564 MicroTESK Task New Normal "How to build MicroTESK" guide for developers in project Wiki Sergey Smolov Andrei Tatarnikov
6326 MicroTESK Bug New High If an nml file contains no operations, translation fails with NPE Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3
9170 MicroTESK Bug New Normal int_to_float is not supported for constant expressions Alexander Protsenko Andrei Tatarnikov
7401 MicroTESK Bug New Normal int_to_float is not supported for constant expressions Alexander Protsenko Andrei Tatarnikov
7561 Fortress Task New Normal ISampleConstraint: 'getExpectedVariables' returns value that is ignored in jUnit tests Sergey Smolov Andrei Tatarnikov Fortress - 0.4
8587 MicroTESK Feature New Normal ISA subsets Sergey Smolov Andrei Tatarnikov
7711 MicroTESK Bug New Normal JavaDoc warning on Java 1.8 Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4
6329 MicroTESK Bug New Normal java.lang.NullPointerException at ru.ispras.microtesk.mmu.translator.MmuTreeWalkerBase.newAttributeRef(MmuTreeWalkerBase.java:940) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3
7603 MicroTESK Bug New High List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
4778 TestBase Task Open Urgent Low-level interface for adding test situations (named constraints) Alexander Kamkin Andrei Tatarnikov TestBase - 0.0
(1-25/69) Per page: 25, 50, 100

Also available in: Atom CSV PDF