Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692023-04-04T09:53:28ZOpen-Source Projects
Redmine Runtime Verification - [BUG] #12311 (Open): Поддержка protected_regularhttps://forge.ispras.ru/issues/123112023-04-04T09:53:28ZDenis Efremovefremov@ispras.ru
<p>Моделью должно поддерживаться поведение ядра <a class="external" href="https://github.com/torvalds/linux/commit/30aba6656f">https://github.com/torvalds/linux/commit/30aba6656f</a></p> Runtime Verification - [FEATURE] #12308 (Resolved): Добавить поддержку инвариантов в покрытие по ...https://forge.ispras.ru/issues/123082023-04-04T09:50:22ZDenis Efremovefremov@ispras.ru
<pre>
{ } Добавить поддержку инвариантов в покрытие по MC/DC (2 недели)
{ } Формулировка, что значит MC/DC для инварианта, ведь он не может быть ложным
{ } Доработка аниматора (4 рабочих дня)
{ } Доработка генератора отчета (4 рабочих дня)
{ } Отладка/дописывание тестов для расширения покрытия (месяц параллельно с остальными задачами)
</pre> Runtime Verification - [FEATURE] #12307 (Resolved): Документация по текущему состояниюhttps://forge.ispras.ru/issues/123072023-04-04T09:49:43ZDenis Efremovefremov@ispras.ru
<pre>
{.} Документация по текущему состоянию (2 недели)
{.} Исправление путей в файловой системе, где работает инструмент
{.} Инструкция по доработке модели/монитора/медиатора
</pre> Runtime Verification - [FEATURE] #12306 (Resolved): Поддержка ACLhttps://forge.ispras.ru/issues/123062023-04-04T09:49:13ZDenis Efremovefremov@ispras.ru
<pre>
{.} Поддержка ACL (неделя рабочего времени)
{x} Тесты ACL
{х} Мониторинг ACL (3 рабочих дня)
{х} Медиатор ACL (2 рабочих дня)
{.} Отладка на всех тестах (месяц параллельно с остальными задачами пока все тесты не сойдутся)
</pre> JavaTESK - Bug #199 (Resolved): Checker: Неправильный тип элемента массива в циклахhttps://forge.ispras.ru/issues/1992010-05-11T07:06:56ZEugene Kornykhinkornevgen@ispras.ru
<p>На примере<br /><pre>
void f(String[][] oldmap)
{
for (String[] pair : oldmap) {
}
}
</pre><br />выдается сообщение, что pair должен быть типа String. Такое поведение checker'а является ошибочным.</p> JavaTESK - Bug #195 (Resolved): Checker: не проходит проверка соответствия класса и raw-параметри...https://forge.ispras.ru/issues/1952010-05-06T11:50:34ZEugene Kornykhinkornevgen@ispras.ru
<p>На примере<br /><pre>
class aa<Z> {}
public class a
{
public <T extends aa> void f2(T o)
{
Class<? extends aa> c = o.getClass();
}
}
</pre></p>
<p>выдается ошибка о несоответствующих типах в присваивании. А зря, тут ошибки нет.</p> JavaTESK - Bug #192 (Resolved): Checker: неправильный возвращаемый тип метода getClasshttps://forge.ispras.ru/issues/1922010-04-29T12:13:54ZEugene Kornykhinkornevgen@ispras.ru
<p>Как оказалось, наш JavaTESK не знает про такую вещь относительно метода getClass() :</p>
<p>The java.lang.Class object that represents the runtime class of the object. The result is of type Class<? extends X> where X is the erasure of the static type of the expression on which getClass is called.<br />/ <a class="external" href="http://java.sun.com/j2se/1.5.0/docs/api/java/lang/Object.html#getClass()">http://java.sun.com/j2se/1.5.0/docs/api/java/lang/Object.html#getClass()</a></p>
<p>Надо реализовать это правило.</p>