Project

General

Profile

Actions

[FEATURE] #12321

open

Генерацию тестов для ядра операционной системы по непокрытым состояниям модели

Added by Denis Efremov over 1 year ago. Updated over 1 year ago.

Status:
Open
Priority:
Normal
Assignee:
-
Start date:
04/04/2023
Due date:
% Done:

0%

Estimated time:

Description

( ) Генерацию тестов для ядра операционной системы по непокрытым состояниям модели (~6 месяцев)
    ( ) генерация самых простых случаев (месяц)
    ( ) Пересборка ProB (если понадобиться лезть внутрь) (8 рабочих дней)
    ( ) Реконструция цепочек системных вызовов и начального окружения для достижения непокрытых состояний (6 месяцев)
Actions

Also available in: Atom PDF