Приветствую Вас, Гость | RSS
На главную | Формальная спецификация к лабам по инфе - Форум Киберфак | Регистрация | Вход
Формальная спецификация к лабам по инфе - Форум Киберфак
[ Новые сообщения · Участники · Правила форума · Поиск · RSS ]
  • Страница 1 из 1
  • 1
Модератор форума: Tpyn1K, Nak0  
Формальная спецификация к лабам по инфе
StrelokДобавлено: Пятница, 26 Октября 2007, 21:39 | Сообщение # 1
Опытный
Категория: Проверенные
Сообщений: 104
Группа: К03-222
Статус: Не в сети
У кого-нибудь есть пример формальной спецификации ?

Компьютер поможет решить любые проблемы, кроме тех которые не поддаются нормальной логике.
 
NeolordДобавлено: Воскресенье, 28 Октября 2007, 01:22 | Сообщение # 2
Форумчанин
Категория: Модераторы
Сообщений: 268
Группа: k5-224
Статус: Не в сети
Что суть "формальная"?

Создание сайтов
 
MeatOnFireAARGHДобавлено: Понедельник, 29 Октября 2007, 22:04 | Сообщение # 3
Посетитель
Категория: Проверенные
Сообщений: 44
Группа: K3-221
Статус: Не в сети
Мне кажется, что то есть описание лабы на листах в определенном формате с заключением.
По крайней мере у знакомого из текстилки спецификацией называют это.


Зам
 
NeolordДобавлено: Вторник, 30 Октября 2007, 03:02 | Сообщение # 4
Форумчанин
Категория: Модераторы
Сообщений: 268
Группа: k5-224
Статус: Не в сети
Ну тут еще все преподы по разному требуют... Готовую давать не буду - лучше самим научиться ибо долго придется этой херней заниматься. Есть кое что общее. Формат спецухи таков:
1. Постановка задачи
2. Интерфейсные требования
Это то есть все входы/выходы программы, параметры вызова, экспортируемые функции/переменные/константы (в случае модуля), с описанием общего принципа работы и всех возможных возвращаемых значений без указания логики работы. Если есть коды ошибок - то с приоритетом.
3. Функциональные требования
Тут те же самые функции, но уже конкретно описываются все случаи - при каких входах что возвращает, какие коды ошибок и т.д. Если функция выводит сообщения - то надо указать что за сообщения.
4. Тестовые требования - как правило копипаст из пункта 3, только формат предложений вместо "В случае таком-то функция должна возвращать..." - "Проверить, что в таком то случае функция возвращает...". Ну и если там особые тест кейсы есть - тоже можно расписать.

Сам тест-лог (отчет проверочного модуля) кто-то требует печатать, у нас в основном просили вывести в файл. В обоих случаях каждый тест оформляется следующим образом

Test : номер тестового требования
Test Case : номер тестового случая
Description : описание теста
Pre-action (или Prequisites) : действия, предпринятые для создания тестовой ситуации, т.е. создание файлов всяких, задание переменных, которые призваны повлиять на ход работы

In : входные данные
Expected Out : Ожидаемый выход
Real Out : реальный выход

Test Passed / Test Failed.

В конце тестов отчет - сколько тестов всего, сколько пройдено, сколько вальнулось.
Главное требование - тесты должны быть независимы, т.е. если переставить любые тесты местами - они должны работать. Таким образом лучше не стоит использовать результат предыдущего теста в следующем. Прикрепленный файл - тестовый протокол лабы 4-го семестра на Модула-2, там суть в проверке функций вычисления CRC, ну в общем разберетесь.

Вложение test.log (43.1 Kb)


Создание сайтов
 
  • Страница 1 из 1
  • 1
Поиск:
На форуме обсуждают
Тема Автор Ответов Раздел
  • Эээй, Пацааан!
  • Не_Жир 17 Всё обо всём
  • Левитра купить
  • Anusnoura 1 Флейм
  • Enginithantee
  • Enginithantee 2 Флейм
  • Крюкъ
  • Nosfer 24 Преподы
  • доклад по макроэкономике
  • chuchi 1 Домашки
    Популярные темы
    Тема Автор Ответов Раздел
  • Ассоциации
  • Ni-Cd 885 Флейм
  • Что сейчас играет?
  • Не_Жир 72 Флейм
  • Словеска
  • Nak0 58 Игры
  • Тренеровка Dhel'Ad-Rinor
  • Paradoks 56 Игры
  • Тренировка: Хук
  • До 53 Игры
    Полезные материалы

    В нашем каталоге файлов можно найти много полезной информации. Также советуем заглянуть в каталог статей: в нем есть полезные статьи по темам: Экономика предприятия, Общая экономика, Финансы и Кредит, также Словарь терминов по экономике, Маркетинг, Бухучет и Мировая экономика
    Также есть полезная страница Факультеты МИФИ, которая расскажет о том, какие есть в МИФИ факультеты.

    2007 - 2024 © Ni-Cd. All Rights Reserved
    Рейтинг@Mail.ru