formal-verification

5зной

3ответ

Я хочу, чтобы иметь возможность разделить большой тест на более мелкие тесты, чтобы при проведении меньших тестов они означали, что большой тест также пройдет (поэтому нет причин для запуска оригиналь

4зной

6ответ

Как узнать о формальном нисходящем подходе к архитектуре программного обеспечения?

Я разработчик программного обеспечения, заинтересованный в поиске информации. В настоящее время я работаю над проектом 3-поисковой и я ОЧЕНЬ разочарование по поводу количества шаблонного кода, который

15зной

7ответ

Как создавать и проверять распределенные системы?

Я работал над a project, который представляет собой комбинацию сервера приложений и базы данных объектов и в настоящее время работает только на одной машине. Некоторое время назад я прочитал a paper,

4зной

8ответ

Должен ли я использовать формальные методы для моего программного проекта?

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

11зной

10ответ

У формальных методов проверки программы есть место в промышленности?

Я взглянул на Hoare Logic в колледже. То, что мы сделали, было очень просто. Большинство из того, что я сделал, доказывали правильность простых программ, состоящих из while петель, if инструкций и пос

5зной

5ответ

Что вы испытываете при проверке модели программного обеспечения?

Какие типы применений вы использовали model checking? Какой инструмент проверки модели вы использовали? Как бы вы суммировали свой опыт с техникой, в частности, оценивая ее эффективность в предоставле

1зной

3ответ

Исчерпывающий верификатор веб-сайта

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

0зной

1ответ

JML Оценка \ old (выражение [Id])

Я хотел бы знать, как оценивается выражение JML формы \old(Expression[Id]), т. Е. Если у меня есть выражение \old(vector[value-1]), имеет ли значение \old значение «значение» или просто до значения ve

6зной

11ответ

Формальная проверка правильности алгоритма

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