Які завдання вирішуються згідно методики верифікації структурно-автоматної моделі віртуальної експлуатаційної функційної поведінки програмно-апаратної системи ( ПАС )?

За методикою верифікації ймовірнісного графа і структурно-автоматної моделі віртуальної експлуатаційної функційної поведінки ПАС : …

Question

Які завдання вирішуються згідно методики  верифікації   структурно-автоматної  моделі віртуальної експлуатаційної функційної  поведінки  програмно-апаратної системи ( ПАС )? 
 
За методикою  верифікації  ймовірнісного  графа  і  структурно-автоматної  моделі віртуальної експлуатаційної функційної  поведінки   ПАС : …

Answer

... виявляються зайві  стани  у ймовірнісного  графа  віртуальної експлуатаційної  поведінки , сформованого програмним засобом  ASNA  на основі розробленої  структурно-автоматної  моделі.

Answer

… перевіряється відповідність (співпадіння) розробленого ймовірнісного  графа  з ймовірнісним  граф ом експлуатаційної  поведінки   ПАС , сформованим програмним засобом  ASNA  на основі  структурно-автоматної  моделі.

Answer

Правильні відповіді в запропонованих варіантах відповіді відсутні.

Answer

… проводяться валідаційні дослідження (експерименти) з викори стан ням  програмної  стохастичної  моделі для в стан овлення (перевірки) достовірності отримуваних результатів.

Answer

... виявляються  переходи  із  стан у в  стан , яких бракує у ймовірнісного  графа  віртуальної експлуатаційної  поведінки , сформованого програмним засобом  ASNA  на основі розробленої  структурно-автоматної  моделі.

Answer

... перевіряється правильність значень інтенсивностей  переходів  із  стан у в  стан  у ймовірнісного  графа  віртуальної експлуатаційної  поведінки , сформованого програмним засобом  ASNA  на основі розробленої  структурно-автоматної  моделі.

Answer

... виявляються зайві  переходи  із  стан у в  стан  у ймовірнісного  графа  віртуальної експлуатаційної  поведінки , сформованого програмним засобом  ASNA  на основі розробленої  структурно-автоматної  моделі.

Answer

...виявляються  стани , яких бракує у ймовірнісного  графа  віртуальної експлуатаційної  поведінки , сформованого програмним засобом  ASNA  на основі розробленої  структурно-автоматної  моделі.

Crowdly

Які завдання вирішуються згідно методики верифікації структурно-автоматної м...

Want instant access to all verified answers on vns.lpnu.ua?