Описание тега post-conditions
2
ответа
Инкапсуляция данных Java, инициализация и постусловия?
Мое задание - закончить класс Date, показанный ниже. Класс Date инкапсулирует дату, сохраняя месяц, день и год в частных переменных экземпляра. public class Date { // declare your instance variables here // postcondition: instance variables are init…
13 дек '13 в 20:40
2
ответа
Инструмент / Техника для автоматического создания модульных испытаний на основе метода до / после условия
Интересно, есть ли какой-либо инструмент, который автоматически генерирует модульные тесты на основе предварительных и постусловий метода (и инварианта класса). Чтобы быть точным, предположим, что нам даны предварительные и постусловия (и, вероятно,…
03 фев '19 в 07:18
1
ответ
Постусловие JML содержит вызов метода класса
Может ли постусловие JML для метода класса содержать вызов другого метода Например, у меня есть этот класс: public class A { public int doA(x) { ... } public int doB(int x, int y) { ... } } Для постусловия doB я могу иметь: ensures doA(x) = doA(y)?
28 ноя '12 в 10:32
3
ответа
Значение постусловия
Я могу понять значение и цель предварительных условий в этом коде, но у меня есть проблема в понимании значения и цели постусловий. В Push Я знаю, что эта часть для увеличения указателя после нажатия целого числа ( Pointer = Pointer~ +1). В Pop Я по…
05 дек '18 в 12:57
0
ответов
Сила спецификации
Учитывая Спецификации s1 и s2, где Постусловие S2 сильнее, чем у S1, а Предусловие S2 слабее, чем у S1, можно ли утверждать, что Спецификация S2 сильнее, чем S1? IMAO Я думаю, что вы не можете заявить об этом, потому что вы не можете сказать, что по…
04 ноя '18 в 13:27
1
ответ
Макс алгоритм поиска
Уважаемые эксперты и энтузиасты! Я хотел бы решить следующую проблему: у меня есть массив натуральных чисел. Я хотел бы найти их максимум. Но я должен показать свое решение со структурой, вот так http://www.testech-elect.com/pls/images/casetool2.jpg…
23 фев '13 в 13:45
2
ответа
Отладка в Java с предварительными условиями
Работая с кодовой базой Chromium, я привык к таким макросам, как CHECK(condition);, DCHECK(contidtion) а также NOTREACHED;, Они вводят утверждения (обычно предварительные условия) в код и позволяют завершить программу с некоторой информацией в журна…
10 дек '14 в 18:23
1
ответ
Доказательство правильности в формальной логике
Мне было интересно, если кто-нибудь может помочь мне ответить на этот вопрос. Это из предыдущей экзаменационной работы, и я смог узнать ответ, готовый к экзамену этого года. Этот вопрос кажется настолько простым, что я полностью теряюсь, что именно …
24 май '12 в 21:37
2
ответа
Доказательство правильности алгоритма
Мне было интересно, если кто-нибудь может помочь мне ответить на этот вопрос. Это из предыдущей экзаменационной работы, и я смог узнать ответ, готовый к экзамену этого года. Этот вопрос кажется настолько простым, что я полностью теряюсь, что именно …
27 апр '14 в 11:23
3
ответа
Проектирование по контракту и утверждение заявлений
Я заинтересован в Design by Contract подход. Кажется, что для preconditions проверенные исключения должны быть использованы для их применения.Но для post-conditions а также class-invariants я думаю что assertions являются предпочтительными.Я прав? Е…
25 дек '12 в 18:31
3
ответа
Может ли условие OCL Post быть внутри оператора if then?
Я новичок в OCL и у меня есть некоторые сомнения относительно того, как работают предварительные и постусловия. Можно ли поместить условие post в оператор if if? Например, следующий фрагмент кода допустим или я просто смешиваю понятия? Context [some…
20 окт '13 в 13:18
1
ответ
Hoare Logic | Какое постусловие действительно, когда существует бесконечный цикл?
Мой учитель сказал мне, что верно следующее утверждение: {x > 3}, хотя true (x:= 3) {x = 3} Почему это утверждение верно? Это потому, что постусловие никогда не проверяется, или пост-условие теперь считается инвариантной проверкой? Короче говоря, мо…
03 ноя '18 в 17:07
3
ответа
Состояние до и после из книги Страуструпа
В главе 5.10.1 "Программирование: принципы и практика с использованием C++" есть упражнение "Попробуйте это" для отладки неправильного ввода области. Предварительными условиями являются, если входные данные для длины и ширины равны 0 или отрицательн…
11 апр '18 в 14:45
0
ответов
Дафни - пропагандистская оговорка?
У меня проблема в том, что два разных метода в двух разных классах не взаимодействуют, установка выглядит следующим образом: class A{ method b() ensures statement { // Do something } } class C{ method d() requires statement { // Do something } } И г…
13 дек '15 в 18:06
6
ответов
Предварительное условие против Постусловия в Java?
Например, у меня есть следующий код: public class Calc(){ final int PI = 3.14; //is this an invariant? private int calc(int a, int b){ return a + b; //would the parameters be pre-conditions and the return value be a post-condition? } } Я просто запу…
01 окт '13 в 15:04
2
ответа
Эффективное Эйфелево постусловие для гарантии сортировки массива
Я реализовал запрос, который говорит, отсортирован ли массив или нет. Я хочу сделать хорошее постусловие, которое будет эффективно проверять, отсортирован ли массив, используя across или что-то другое. Я пытался сделать это так: is_sorted (a: ARRAY …
15 сен '17 в 19:55
1
ответ
Предварительное условие и содержание класса
Предположим, у меня есть следующий класс: public class Player { private Board board; private int roundsPlayed = 0; public void play() { while (board.isAvailable() && roundsPlayed < 10) { // playing on the board roundsPlayed++; } } } Что т…
19 янв '17 в 10:30
1
ответ
Архитектура предприятия Работа до / после условий
Я использую EA для моделирования некоторых c-компонентов. я знаю, что EA нельзя эффективно использовать с языком Си, но я стараюсь максимально использовать предполагаемое использование каждого элемента. мой вопрос... я моделирую C-файл, используя кл…
22 июн '18 в 09:40
1
ответ
Как переместить связанный список в моем использовании посткодирования через цикл в Eiffel?
Я пытаюсь использовать через 1|..|list.count как j all list.i_th(z) ~ old list.i_th(z) end но это говорит неизвестный идентификатор z. Что не так с этим синтаксисом??
11 окт '17 в 02:33
1
ответ
Почему экзистенциальное необходимо в сильнейших постусловиях?
Каждая формулировка самого сильного преобразователя предикатов постусловия, который я видел, представляет правило назначения следующим образом: sp(X:=E, P) = ∃v. (X=E[v/X] ∧ P[v/X]) Мне интересно, почему экзистенциальная (и, следовательно, экзистенц…
09 авг '16 в 14:33