Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8481 MicroTESK Task New Urgent Need a way to specify the termination addresss for the test program. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
7418 MicroTESK Bug New Urgent Reset the state of the model before starting generating a new test program fle Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7685 MicroTESK Bug New Urgent warning(24): template error: context [/outputFile /parser /genericParser /region__/genericParser__members /region__/genericParser__members] 32:3 no such property or can't access: Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
6911 MicroTESK Bug New Urgent The "get_address_of" method must work with all label types. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
4778 TestBase Task Open Urgent Low-level interface for adding test situations (named constraints) Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
5671 MicroTESK Bug New Urgent Robustness of test template processing logic must be improved Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5674 MicroTESK Task New Urgent Description of test data generation mechanisms (test situation processing, constraint solving) Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5677 MicroTESK Task New Urgent Examples of templates demonstrating how to create combinatorial tests Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
7603 MicroTESK Bug New High List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7313 MicroTESK Bug New High Analysis for input/output parameters Mikhail Chupilko Andrei Tatarnikov Actions
7251 MicroTESK Bug New High A warning or error is needed when a value is truncated Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
6326 MicroTESK Bug New High If an nml file contains no operations, translation fails with NPE Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
5529 Fortress Task New High Использовать префиксы для указания основания в строковом представлении числовых данных Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5990 MicroTESK Bug New High Memory state must be taken into account when generating test data Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5783 MicroTESK Bug New High Problems with multiple concatenation Mikhail Chupilko Andrei Tatarnikov MicroTESK - 2.2 Actions
5652 MicroTESK Task New High Better examples of test templates using test situations Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5659 MicroTESK Bug New High Function 'trace' should accept addressing modes as arguments Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5428 MicroTESK Task Open High Stabilization of source code representation Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
4900 MicroTESK Task New High Printing information on the model should be possible Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
9170 MicroTESK Bug New Normal int_to_float is not supported for constant expressions Alexander Protsenko Andrei Tatarnikov Actions
8697 MicroTESK Bug New Normal Type mismatch in an mmu file causes NullPointerException Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
8695 MicroTESK Bug New Normal Parsing an mmu-file with no mmu declaration causes IllegalArgumentException Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
8694 MicroTESK Bug New Normal Parsing an empty *.mmu file causes NullPointerException Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
8696 MicroTESK Bug New Normal Parsing an mmu-file with empty read and write definitions causes IllegalArgumentException Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
8693 MicroTESK Task New Normal Construct sizeof(type) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
8691 MicroTESK Task New Normal Sign- and zero-extend functions in preparators Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
8587 MicroTESK Feature New Normal ISA subsets Sergey Smolov Andrei Tatarnikov Actions
8186 MicroTESK Task New Normal Full support for 'struct' in nml Alexander Protsenko Andrei Tatarnikov Actions
8061 MicroTESK Bug New Normal Position of all blocks, calls, data etc. in test templates must be tracked to provide better debugging Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Andrei Tatarnikov Actions
7711 MicroTESK Bug New Normal JavaDoc warning on Java 1.8 Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
6378 MicroTESK Bug New Normal No way to jump from epilogue to a label defined in prologue Alexander Kamkin Andrei Tatarnikov Actions
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Andrei Tatarnikov Actions
6194 MicroTESK Bug New Normal Automated extraction of addressable unit size Andrei Tatarnikov Andrei Tatarnikov Actions
7564 MicroTESK Task New Normal "How to build MicroTESK" guide for developers in project Wiki Sergey Smolov Andrei Tatarnikov Actions
7561 Fortress Task New Normal ISampleConstraint: 'getExpectedVariables' returns value that is ignored in jUnit tests Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7403 MicroTESK Bug New Normal The expression cannot be evaluated to a boolean value Alexander Protsenko Andrei Tatarnikov Actions
7401 MicroTESK Bug New Normal int_to_float is not supported for constant expressions Alexander Protsenko Andrei Tatarnikov Actions
7229 MicroTESK Bug New Normal Unsupported assignment to mode Mikhail Chupilko Andrei Tatarnikov Actions
7218 MicroTESK Bug New Normal extraneous input 'op' expecting ID Alexander Protsenko Andrei Tatarnikov Actions
6461 MicroTESK Task New Normal Support for inline comments Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6380 MicroTESK Bug New Normal Possibility to specify initial values for registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
6379 MicroTESK Bug New Normal Using if-then-else in syntax causes an error Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6333 MicroTESK Bug New Normal NmlTreeWalker.g: node from line 0:0 no viable alternative at input Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
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 Actions
6345 MicroTESK Task New Normal Support floating-point numbers in trace "". Alexander Protsenko Andrei Tatarnikov Actions
5421 Fortress Task Open Normal Utility methods on expression nodes Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5377 Fortress Feature Open Normal Не поддерживается работа с несколькими CalculatorEngine Alexander Kamkin Andrei Tatarnikov Fortress - 0.4 Actions
6223 MicroTESK Task New Normal User-defined template-oriented extensions (plugins) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
5785 MicroTESK Task New Normal Too much diagnostics on misprintings Mikhail Chupilko Andrei Tatarnikov MicroTESK - 2.2 Actions
6068 MicroTESK Task New Normal Description of complex situations Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
6064 MicroTESK Task New Normal Translator support for exporting symbols in marks Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
6025 MicroTESK Bug New Normal Usage of format with signed values Mikhail Chupilko Andrei Tatarnikov MicroTESK - 2.2 Actions
5752 MicroTESK Task New Normal Support for macro Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
5966 MicroTESK Bug New Normal mark shell scripts as executable in the distribution tar.gz archive Sergey Smolov Andrei Tatarnikov MicroTESK - 2.2 Actions
4805 TestBase Task New Normal Top-level test situations of instructions Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4804 TestBase Task New Normal Manual description of test situations in Java and XML Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
5813 MicroTESK Bug New Normal Support of instance call in left part of assignment Mikhail Chupilko Andrei Tatarnikov Actions
5301 MicroTESK Task New Normal Description of the Java template interface Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
5311 MicroTESK Task New Normal Shortcuts for getting modes from templates Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4161 MicroTESK Bug New Normal Observing the design state via addressing modes Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4814 MicroTESK Task New Normal Refactoring of L-expressions and memory model Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
3993 MicroTESK Task New Normal Description of the nML translator Alexander Kamkin Andrei Tatarnikov Actions
4016 MicroTESK Task New Normal The nML Language Reference Alexander Kamkin Andrei Tatarnikov Actions
5596 Fortress Feature New Low Генерация случайных значений, удовлетворяющих определённым условиям Igor Melnichenko Andrei Tatarnikov Fortress - 0.4 Actions
6423 Fortress Task New Low to_real, to_int, is_int operations Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
6261 MicroTESK Bug New Low write method (segment) Alexander Protsenko Andrei Tatarnikov Actions
5193 MicroTESK Feature New Low Test templates in Python Andrei Tatarnikov Andrei Tatarnikov Actions
    (1-69/69) Per page: 25, 50, 100

    Also available in: Atom CSV PDF