verification

4зной

1ответ

Проверка линейного поиска с помощью Frama-C

Я еще раз озадачен простым проверочным упражнением, на этот раз в Frama-C (Sodium), используя плагин WP, так как я не мог заставить Джесси работать на универе рабочие станции (в процессе установки адм

1зной

1ответ

Использование функции точности с аргументом входного сигнала sarima для получения измерений точности выборки

Я установил модель Box-Jenkins ARIMA (2,1,0) для одномерного временного ряда (длина = 38) и хотел бы получить некоторые измерения точности в образцах (например, ME, RMSE, MAE, MAPE и т. д.) для модели

2зной

1ответ

Запуск нескольких тестовых стендов для конструкций VHDL

Всякий раз, когда я создаю проект VHDL, у меня есть много модулей. Каждый из этих модулей затем подключается к одному основному файлу и поэтому все синтезируется. Но я хочу написать отдельные тестовые

0зной

1ответ

QA и испытания: подход к пересечению

Я прихожу с запросом советов, советов, путей следования и т. Д. Точка зрения следующая. Моя цель - разработать QA/область тестирования в компании-разработчике программного обеспечения, чей продукт пре

1зной

1ответ

Как отключить проверку мобильных устройств после создания нового пользователя с помощью API Google Directory

Чтобы создать новых пользователей, я использую API Google Directory в своем веб-приложении .net. Его работа прекрасна во время творения. Но после создания нового пользователя, когда я вхожу в систему

-1зной

1ответ

PHP Script для проверки записи формы в отношении таблиц MySQL

Новичок здесь - и я почти ничего не знаю о скриптах, поэтому, пожалуйста, несите меня. Сквозное слепое испытание и ошибка - а также две целые месяцы чтения - я нашел и изменил рабочий скрипт, который

1зной

1ответ

SHA256 отпечаток пальца в hgrc

Как я могу заставить mercurial в .hgrc проверять отпечаток SHA256 при подключении к серверу репозитория? В .hgrc обычно SHA1 отпечатки пальцев используются в качестве [hostfingerprints] foo.bar.baz =