Билеты к государственным экзаменам по дисциплине "Проектирование экономических информационных систем"

запомнить в избранное

ВНИМАНИЕ !!! Это сокращенная версия файла. Предназначена она только для того, чтобы вы могли предварительно ознакомиться с документом, перед тем как его скачать. Здесь нет картинок, не сохранен формат, шрифт, размеры и положение на странице.
Чтобы скачать полную версию, нажмите ссылки которые находятся чуть-чуть ниже (Info File Mail)

Info File Mail
Файл относится к разделу:
ЭКОНОМИЧЕСКАЯ ТЕОРИЯ, ПОЛИТЭКОНОМИЯ, МАКРОЭКОНОМИКА

12. Проектирование программного обеспечения: понятие корректности, эталона и сложности программ; программные ошибки
(24.1.
_Понятие корректности или правильности .подразумевает соответствие проверяемого объекта некоторому эталонному объекту или
совокупности формализованных эталонных характеристик и правил.
Корректность программы при проектировании наиболее полно определяется степенью соответствия предъявляемым к ней формализованным
требованиям _программной спецификации . При отсутствии полностью
формализованной спецификации требований могут быть использованы
_неформализованные представления .разработчика, пользователя или
заказчика программ.
Для установления корректности программ необходимы 2эталоны 0,
которым они соответствуют, а также 2методы проверки 0соответствия
программ эталонам и методы оценки степени корректности.
_Формализованные правила . проектирования программ устанавливаются стандартами и инструкциями подготовки текстов программ и их
структурного построения. Они включают описания языка программирования, правила оформления текстов программ и описания данных.
_Программные спецификации . требований образуют иерархическую
структуру (технические предложения, ТЗ, эскизный, технический и
рабочий проекты. В них отражается совокупность эталонных характеристик, функциональных критериев, свойств и условий, которым
должны соответствовать различные компоненты ПС. Вне условий, формализованных спецификациями, функционирование программ обычно не
определено.
_Тесты .представляют собой частные реализации взаимосвязанных
исходных и результирующих данных. Эталоны этого вида формируются
на базе спецификаций и могут образовывать иерархические структуры. Простейшими являются детерминированные тесты, в которых конкретной совокупности исходных данных поставлена в соответствие совокупность результирующих данных и определены точки в программе,
в которой эти совокупности данных должны проверяться.
Под _ошибкой . понимается неправильность, погрешность или неумышленное, нев

• подписаться на рассылку.
• добавить в избранное.
• нашли ошибки ?

Это место

Ищу реферат (диплом) Если вы не можете найти реферат, то дайте в этом разделе объявление и возможно вам помогут :)
Предлагаю реферат (диплом) Если у вас есть свои рефераты и вы готовы помочь другим, то дайте в этом разделе свое объявление и к вам потянуться люди :)
Пополнить коллекцию Здесь вы можете пополнить нашу коллекцию своими рефератами.