Лабораторная работа №2.
Часть 6. Самостоятельное задание.
Закройте
редактор Gedit
и терминал, в котором он был запущен.
Проделайте
пункты 1, 2, 4 части 1. Вы должны оказаться
в каталоге с вашей фамилией.
Создайте
каталог для следующего примера:
mkdir
Sort
Перейдите
в этот катлог:
cd
Sort
Создайте
файл исходного кода и откройте его в
редакторе Gedit:
Gedit
Sort.java
Вставьте
в файл следующий текст программы:
class
Sort {
static
void Sort(int[] t) {
for
(int i = 0; i < t.length - 1; i++) {
for
(int j = i + 1; j < t.length; j++) {
if
(t[i] > t[j]) {
int
tmp = t[i];
t[i]
= t[j];
t[j]
= tmp;
}
}
}
}
}
В этом примере
реализована сортировка пузырьком по
возрастанию.
Напишите
пред-постусловия для метода, а также
инварианты и варианты для циклов.
Верифицируйте
программу.
Добейтесь
успешной верификации всех утверждений
или обоснуйте, почему утверждения
нельзя доказать при такой реализации.