verification

0зной

1ответ

Современные символические методы исполнения

Какая лучшая техника символического исполнения? Не могли бы вы помочь мне найти чистое символическое исполнение и инструмент чистого аналитического теста (я имею в виду, например, это не включает пров

testing verification 2016-12-15

---

2зной

1ответ

Dafny - реализация подстановки

Im пытается написать простую проверенную реализацию метода подстроки. Мой метод принимает 2 строки и проверяет, находится ли str2 в str1. Im пытается выяснить во-первых, почему мой invairant не держит

substring verification proof dafny 2016-12-30

---

1зной

1ответ

Как использовать reCAPTCHA как всплывающее окно вместо части Интернета?

Я сделал веб-страницу, которая может обеспечить некоторые прямые загрузки. Поэтому я хочу, чтобы реальные люди, а не искатель, загружали мои файлы. Я пытался использовать Google reCAPTCHA, но он являе

javascript html verification recaptcha 2016-11-14

---

1зной

1ответ

Общие утверждения в любом проекте автоматизации

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

validation selenium-webdriver ui-automation verification assertion 2016-11-16

---

0зной

1ответ

Существуют ли альтернативы для проверки домена для mailgun?

Мы хотим использовать api mailgun (в проекте parse) и пытались проверить наш домен. Мы должны изменить DNS-записи Mailo. _domainkey. Но наш хостер (страто) говорит нам, что это невозможно вообще. Это

dns verification mailgun 2016-11-16

---

0зной

2ответ

Вождение внутреннего провода в моем модуле из моей задачи интерфейса

EDIT: Я опробовал методы, упомянутые ниже: я установил свой интерфейс для проводов вместо логики, и я управляю «Z» от драйвера, который хочет отказаться от управления сигнал, чтобы другой драйвер мог

verilog system-verilog verification uvm 2016-11-17

---

1зной

1ответ

Проверка загрузки в пользовательском обновлении на основе Qt

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

c++ encryption download rsa verification 2016-12-04

---

0зной

4ответ

UVM: создайте задачу, которая вызывается каждые 100 циклов для всего компонента.

Для всех моих компонентов (монитор, драйвер, секвенсор и т. Д.) Мне нужно создать задачу, которая вызывается каждые 100 циклов. Я думаю, что есть способ сделать это с пользовательскими фазами, но не у

system-verilog verification uvm 2016-12-09

---