Все вопросы: [formal-verification]

6 вопросов

13
голосов
10ответов
1569 просмотров

Do formal methods of program verfication have a place in industry?

I took a glimpse on Hoare Logic in college. What we did was really simple. Most of what I did was proving the correctness of simple programs consisting of while loops, if statements, and sequence of instructions, but nothing more. These methods seem very useful! Are formal methods used in indust...

0
голосов
1ответов
369 просмотров

Оценка JML для \ old (Выражение [Id])

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

4
голосов
8ответов
1802 просмотров

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

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

16
голосов
7ответов
8235 просмотров

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

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

61
голосов
31ответов
11973 просмотров

Почему программы не могут быть проверены?

Почему компьютерная программа не может быть доказана так же, как математическое утверждение? Математическое доказательство строится на других доказательствах, которые строятся из еще большего количества доказательств и вплоть до аксиом - тех истин, истины, которые мы считаем самоочевидными. К...

6
голосов
5ответов
1729 просмотров

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

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