verification

0зной

1ответ

Чтобы иметь возможность выводить выбранный код или дизайн из требований - что это значит?

ISO 12207 содержит интересные точки для проверки проекта: а) Конструкция правильно и в соответствии с и увязанной с требований. c) Выбранный дизайн может быть получен из требований. Также в рамках про

testing design verification requirements 2016-02-06

---

0зной

1ответ

Код Entity framework6 во-первых, как отключить проверку схемы

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

entity-framework-6 schema code-first verification 2016-02-14

---

1зной

2ответ

Никогда не претендовать не работает в Promela модели

Рассмотрим эту простую Promela модель: #define p (x!=4) int x = 0; init { do :: x < 10 -> x++; od } Я хотел проверить эту модель с этой простой претензии, которая была сген

verification model-checking spin promela 2016-02-16

---

-1зной

2ответ

Почему мой код не корректно проверяет имя пользователя и пароль? Все это позволяет ему свободно вводить все комбинации пользователя + pass

Я понятия не имею, почему это разрешает бесплатную регистрацию для любого пароля и комбинации имени пользователя. Я пробовал все, что мог, но безрезультатно. Малейшая помощь будет оценена. Здесь php д

php mysql verification 2016-02-25

---

1зной

2ответ

Войти в salesforce.com с Phantomjs 2.0 продолжать просить код подтверждения

Мы делаем несколько тестов для подключения к salesforce.com с помощью Phantomjs 2.0. Это работало очень хорошо, но за последние пару недель salesforce.com продолжал просить код проверки для каждой нов

login phantomjs salesforce verification 2016-02-26

---

1зной

1ответ

Спин, проверяющий свойства, связанные с каналами

Я создал простую модель в Spin, в которой два процесса S отправляют сообщения другому процессу R. Процесс R затем отправляет ответы на оба процесса. Я хотел бы определить свойство «если процесс х отпр

verification spin 2016-02-28

---

3зной

2ответ

Как указать функцию сравнения табло в Cocotb?

Я хочу расширить пример Cocotb, так что он также проверяет содержимое пакетов, выводимых тестируемым устройством (DUT). В provided example code функция model, которая генерирует ожидаемый выход, присо

python vhdl verification cocotb 2016-03-02

---

0зной

3ответ

Значение [-> ​​1] в определении свойства системы verilog

Я не смог найти значение выражения [->]. Я знаком с использованием диапазонов как [a:b] или таких последовательностей, как EVENT1|->EVENT2, но не с той, которую я упомянул в начале. Контекст - это сво

validation system-verilog verification assertion system-verilog-assertions 2016-03-03

---