Основы информатики и программирования - тест 6

Предикаты нам нужны прежде всего для того, чтобы иметь возможность ясно и недвусмысленно формулировать:

В текст программы зачастую полезно включать предикаты, которые позволяли бы человеку или компьютеру проверять:

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

Часто полезно поручить проверку истинности предикатов в процессе выполнения программы:

Проверка истинности предикатов в процессе выполнения программы в различных языках программирования реализована:

В программах на языке C можно использовать следующий макрос, который в случае ложности его аргумента немедленно прекращает выполнение программы, сообщая о причине этого:

Что позволяет реализовать проверку истинности предикатов в процессе выполнения программы в языке Java:

Данная программа:public class Assert {
    public static void main(String[] args) throws Exception {    
        int n = Xterm.inputInt("Введите n -> ");
        if (n <= 0) 
            throw new Exception("n <= 0");
        Xterm.println("n = " + n);
    }
}содержит:

При вводе неположительного числа данная программа:public class Assert {
    public static void main(String[] args) throws Exception {    
        int n = Xterm.inputInt("Введите n -> ");
        if (n <= 0) 
            throw new Exception("n <= 0");
        Xterm.println("n = " + n);
    }
}прекращает свое выполнение и печатает следующий текст:

Для того чтобы доказывать правильность программ необходимо прежде всего дать строгое определение понятию:

Определение понятия правильная программа зависит от:

Спецификацией {Q} S {R} программы S, где Q и R — предикаты, называется  предикат, означающий, что если выполнение S началось в состоянии, удовлетворяющем Q, то имеется гарантия, что оно завершится через конечное время:

В данном случае:{Q} S {R} предикат Q называется:

В данном случае:{Q} S {R} предикат R называется

Так как спецификация программы является предикатом, то она может быть:

Следующая спецификация:{i=0}"i++;"{i=1}:

Следующая спецификация:{i=0}"i++;"{i=0}:

Следующая спецификация:{i=0}"i++;"{i=j}:

Спецификация программы является единственным корректным способом:

Программа S является  правильной при заданных Q и R, если спецификация {Q} S {R} является:

С практической точки зрения особый интерес представляют программы, которые позволяют:

Предикат, описывающий максимально широкое множество в пространстве состояний переменных программы S, на котором гарантируется получение постусловия R называется:

Предикат, описывающий максимально сильные ограничения на состояние переменных программы S, которые могут быть получены при данном предусловии Q:

Преобразователь предикатов wp(S,R) обладает следующими свойствами:

Какое свойство является дистрибутивностью конъюнкции преобразователя предикатов wp(S,R):

Какое свойство является закон исключенного чуда преобразователя предикатов wp(S,R):

В данном случае:wp("System.exit(0);",R)=F выполнение вызова метода "System.exit(0)" приводит:

В данном случае:wp("System.exit(0);",R)=F при каком начальном состоянии после его выполнения предикат R будет истинным:

Выражение b[i] само по себе может оказаться неопределенным:

Предикат inrange(b,i) определяет:

Управляющая конструкция if эквивалентна использованию пустого оператора:

Оператор switch может быть заменен несколькими вложенными друг в друга операторами:

Для того чтобы задать все основные конструкции выбора языка Java, достаточно дать определение только одной из них, — конструкции:

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

В терминах слабейшего предусловия можно определить:

Для определения слабейшего предусловия wp("while(e)S;",R) потребуются: