Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5659 MicroTESK Bug New High Function 'trace' should accept addressing modes as arguments Andrei Tatarnikov 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
5990 MicroTESK Bug New High Memory state must be taken into account when generating test data 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
5783 MicroTESK Bug New High Problems with multiple concatenation Mikhail Chupilko Andrei Tatarnikov MicroTESK - 2.2 Actions
5671 MicroTESK Bug New Urgent Robustness of test template processing logic must be improved Andrei Tatarnikov 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
5652 MicroTESK Task New High Better examples of test templates using test situations Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
6068 MicroTESK Task New Normal Description of complex situations Alexander Kamkin 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
5301 MicroTESK Task New Normal Description of the Java template interface Alexander Kamkin 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
4900 MicroTESK Task New High Printing information on the model should be possible 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
5311 MicroTESK Task New Normal Shortcuts for getting modes from templates Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
5428 MicroTESK Task Open High Stabilization of source code representation Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5752 MicroTESK Task New Normal Support for macro Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
5785 MicroTESK Task New Normal Too much diagnostics on misprintings Mikhail Chupilko 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
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
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
7603 MicroTESK Bug New High List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov 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
6380 MicroTESK Bug New Normal Possibility to specify initial values for registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 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
6911 MicroTESK Bug New Urgent The "get_address_of" method must work with all label types. 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
6461 MicroTESK Task New Normal Support for inline comments Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6223 MicroTESK Task New Normal User-defined template-oriented extensions (plugins) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
7711 MicroTESK Bug New Normal JavaDoc warning on Java 1.8 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
8695 MicroTESK Bug New Normal Parsing an mmu-file with no mmu declaration causes IllegalArgumentException Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 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
8697 MicroTESK Bug New Normal Type mismatch in an mmu file causes NullPointerException Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 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
8693 MicroTESK Task New Normal Construct sizeof(type) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
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
8691 MicroTESK Task New Normal Sign- and zero-extend functions in preparators Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
4778 TestBase Task Open Urgent Low-level interface for adding test situations (named constraints) 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
4805 TestBase Task New Normal Top-level test situations of instructions Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
5596 Fortress Feature New Low Генерация случайных значений, удовлетворяющих определённым условиям Igor Melnichenko Andrei Tatarnikov Fortress - 0.4 Actions
5377 Fortress Feature Open Normal Не поддерживается работа с несколькими CalculatorEngine Alexander Kamkin Andrei Tatarnikov Fortress - 0.4 Actions
7561 Fortress Task New Normal ISampleConstraint: 'getExpectedVariables' returns value that is ignored in jUnit tests Sergey Smolov 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
5421 Fortress Task Open Normal Utility methods on expression nodes Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5529 Fortress Task New High Использовать префиксы для указания основания в строковом представлении числовых данных Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
(1-50/69) Per page: 25, 50, 100

Also available in: Atom CSV PDF