Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте za4eti.ru

Компьютеры, Программирование Компьютеры, Программирование     Программирование, Базы данных Программирование, Базы данных

Программа сложной структуры с использованием меню

Забавная пачка "5000 дублей".
Юмор – настоящее богатство! Купюры в пачке выглядят совсем как настоящие, к тому же и банковской лентой перехвачены... Но вглядитесь
60 руб
Раздел: Прочее
Забавная пачка денег "100 долларов".
Купюры в пачке выглядят совсем как настоящие, к тому же и банковской лентой перехвачены... Но вглядитесь внимательней, и Вы увидите
60 руб
Раздел: Прочее
Ручка "Шприц", желтая.
Необычная ручка в виде шприца. Состоит из пластикового корпуса с нанесением мерной шкалы. Внутри находится жидкость желтого цвета,
31 руб
Раздел: Оригинальные ручки

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ГОРНЫЙ УНИВЕРСИТЕТ кафедра вм Курсовик “Программа сложной структуры с использованием меню” ВЫПОЛНИЛ:  Пикулин Е. Г. принял:  Солодовников А. Д. &a ilde;    мОСКВА  1996 год                             ОГЛАВЛЕНИЕ. 1. ВИДЫ КОНТРОЛЯ 2. ЦЕЛИ, ПРИНЦИПЫ И ЭТАПЫ ТЕСТИРОВАНИЯ 3. СТРУКТУРНОЕ ТЕСТИРОВАНИЕ 4. СОВМЕСТНОЕ ТЕСТИРОВАНИЕ МОДУЛЕЙ 5. ФУНКЦИОНАЛЬНОЕ ТЕСТИРОВАНИЕ 6. ТЕСТИРОВАНИЕ ПРОГРАММНОГО КОМПЛЕКСА В ЦЕЛОМ 7. ОТЛАДКА ПРОГРАММ                             ВИДЫ КОНТРОЛЯ ПРОГРАММ Программный комплекс - это совокупность программных модулей, предназначенных для решения одной задачи и составляющих одно целое. Основными разновидностями контроля программного обеспечения являются визуальный, статический  и динамический. Визуальный контроль - это проверка программ “ за столом “ , без использования компьютера. На первом этапе визуального контроля осуществляется  чтение программы, причем особое внимание уделяется следующим ее элементам:         комментариям и их соответствию тексту программы ;         условиям в операторах условного выбора ( IF, CASE ) и цикла;         сложным логическим выражениям;          возможности незавершения итерационных циклов   ( WHILE, REPEA , LOOP ). Второй этап визуального контроля - сквозной контроль программы ( ее ручная прокрутка на нескольких заранее подобранных простых тестах). Распространенное мнение , что более выгодным является перекладывание большей части работы по контролю программных средств на компьютере, ошибочно. Основной довод в пользу этого таков : при работе на компьютере главным образом совершенствуются навыки в использовании клавиатуры, в то время как программистская квалификация преобретается прежде всего за столом. Статический контроль- это проверка программы по ее тексту           (без выполнения) с помощью инструментальных средств. Наиболее известной формой статического контроля является синтаксический контроль программы с помощью компилятора , при котором проверяется соответствие текста программы синтаксическим правилам языка программирования. Сообщения компилятора обычно делятся на несколько групп в зависимости от уровня тяжести нарушения синтаксиса языка программирования :                 - информационные сообщения и предупреждения , при обнаружении которых компилятор, как правило, строит корректный объектный код и дальнейшая работа с программой (компоновка, выполнение) возможна (тем не менее сообщения этой группы также должны тщательно анализироваться, так как их появление также может свидетельствовать об ошибке в программе - например, из-за неверного понимания синтаксиса языка);                 - сообщения об ошибках, при обнаружении которых компилятор пытается их исправить и строит объектный код, но его корректность маловероятна и дальнейшая работа с ним скорее всего не возможна;                                                                   3                -  сообщения о серьезных ошибках , при наличии которых  построенный компилятором объектный код заведомо некорректен и его дальнейшее использование невозможно;                - сообщения об ошибках , обнаружение которых привело к прекращению синтаксического контроля и построения объектного кода .

Однако, практически любой компилятор пропускает некоторые виды синтаксических ошибок. Место обнаружения ошибки может находиться далеко по тексту программы от места истинной ошибки, а текст сообщения компилятора может не указывать на истинную причину ошибки. Одна синтаксическая ошибка может повлечь за собой генерацию компилятором нескольких сообщений об ошибках (например, ошибка в описании переменной приводит к появлению сообщения об ошибке в каждом операторе программы, использующем эту переменную). Второй формой синтаксического контроля может быть контроль структурированности программ, то есть проверка выполнения соглашений и ограничений структурного программирования. Примером подобной проверки может быть выявление в тексте программы ситуаций, когда цикл образуется с помощью оператора безусловного перехода (использования оператора GO O для перехода вверх по тексту программы ). Для проведения контроля структурированности могут быть созданы специальные инструментальные средства, а при их отсутствии эта форма статического контроля может совмещаться с визуальным контролем . Третья форма статического контроля - контроль правдоподобия программы, то есть выявление в ее тексте конструкций, которые хотя и синтаксически корректны, но скорее всего содержат ошибку или свидетельствуют о ней. Основные неправдоподобные ситуации :                - использование в программе неинициализированных переменных (то есть переменных, не получивших начального значения) ;                - наличие в программе описаний элементов, переменных, процедур, меток, файлов,  в дальнейшем не используемых в ее тексте;                - наличие в тексте программы фрагментов, никогда не выполняющихся;                - наличие в тексте программы переменных, ни разу не используемых для чтения после присваивая им значений;                - наличие в тексте программы заведомо бесконечных циклов ; Даже если присутствие в тексте программы неправдоподобных конструкций не приводит к ее неправильной работе, исправление этого фрагмента повысит ясность и эффективность программы, т. е. благотворно скажется на ее качестве. Для возможности проведения контроля правдоподобия в полном объеме также должны быть созданы специальные инструментальные средства, хотя ряд возможностей по контролю правдоподобия имеется в существующих  отладочных и обычных компиляторах. 4 Следует отметить, что создание инструментальных средств контроля структурированности и правдоподобия программ может быть существенно упрощено при применении следующих принципов:                   1) проведение этих дополнительных форм статического контроля после завершения компиляции и только для синтаксически корректных программ ;                  2) максимальное использование результатов компиляции программы и, в частности, информации, включаемой в листинг компилятора;                 3) вместо полного синтаксического разбора текста проверяемой программы построение для нее списка идентификаторов и списка операторов с указанием всех их необходимых признаков. При отсутствии инструментальных средств контроля правдоподобия эта фаза статического контроля также может объединяться с визуальным контролем.

Четвертой формой статического контроля программ является их верификация, то есть аналитическое доказательство их корректности. В интуитивном смысле под корректностью понимают свойства программы, свидетельствующие об отсутствии в ней ошибок, допущенных разработчиком на различных этапах проектирования ( спецификации, проектирование алгоритма и структур данных, кодирование ). Корректность самой программы по отношению к целям, поставленным перед ее разработкой ( то есть это относительное свойство ). Отличие понятия корректности и надежности программ в следующем  :                 надежность характеризует как программу, так и ее “окружение” ( качество аппаратуры, квалификацию пользователя и т.п. );                 говоря о надежности программы, обычно допускают определенную, хотя и малую, долю ошибок в ней и оценивают вероятность их появления.  Надежность можно представить совокупностью следующих характеристик :                 1) целостность программного средства (способность его к защите от отказов);                 2) живучесть (способность к входному контролю данных и их проверки в ходе работы) ;                3) завершенность (бездеффектность готового программного средства, характеристика качества его тестирования);                4) работоспособность (способность программного средства к восстановлению своих возможностей поле сбоев). Очевидно, что не всякая синтаксически правильная программа является корректной в указанном выше смысле, т. е. корректность характеризует семантические свойства программ.                                                  5  С учетом специфики появления ошибок в программах можно выделить две стороны понятия корректности :                 1) корректность как точное соответствие целям разработки программы (которые отражены в спецификации) при условии ее завершения или частичная корректность ;                 2) завершение программы , то есть достижение программой в процессе ее выполнения своей конечной точки.   В зависимости от выполнения или невыполнения каждого из двух названных свойств программы различают шесть задач анализа корректности :                 1) доказательство частичной корректности ;                2) доказательство частичной некорректности ;                3) доказательство  завершения программы ;                4) доказательство  незавершения программы ;              5) доказательство  тотальной (полной ) корректности (то есть одновременное решение первой и третьей задач);         6) доказательство  некорректности (решение второй или четвертой задачи). Методы  доказательства частичной корректности программ как правило опираются на аксиоматический подход к формализации семантики языков программирования. В настоящее время известны аксиоматические семантики Паскаля, подмножества ПЛ/1 и некоторых других языков. Аксиоматическая семантика языка программирования представляет собой совокупность  аксиом и правил вывода. С помощью аксиом задается семантика   простых операторов языка (присваивания, ввода - вывода, вызова процедур). С помощью правил вывода описывается семантика составных операторов или управляющих структур (последовательности, условного выбора, циклов).

Адекватные технологии? Да, пирамидальной или конической структуре присуща устойчивость и хорошее распределение нагрузки сжатия. Очевидно, свойства каменной кладки были хорошо известны. Проект провалился до того, как вышел за пределы технологических ограничений. Так почему же провалился проект, если все это у них было? Чего у них не хватало? Двух вещей — обмена информацией и вытекающей из него организации. Они не могли разговаривать друг с другом и, как следствие, согласовывать усилия. Когда отказала координация, работа встала. Читая между строк, мы обнаруживаем, что отсутствие обмена информацией привело к спорам, дурному настроению и взаимной ревности. Вскоре кланы начали расходиться, предпочтя обособленность спорам. Обмен информацией в большом программном проекте В наше время происходит тоже самое. Отставание от графика, несоответствие функциональности, системные ошибки — все это из-за того, что левая рука не знает, что творит правая. По ходу работы участвующие в ней несколько бригад понемногу изменяют функции, размер, быстродействие своих программ, явно или косвенно меняют допущения относительно входных данных и использования выходных

1. Программа сложной структуры с использованием меню

2. Конвертер программы с подмножества языка Си в Паскаль с использованием LL(1) метода синтаксического анализа (выражения)

3. Кадры с использованием программы Microsoft Access 97

4. Использование компьютерных программ для анализа финансового состояния организации

5. Психолого-педагогические проблемы использования компьютерных игр, программ с игровой компонентой в образовании

6. ФОРМИРОВАНИЕ И АНАЛИЗ СОСТАВА, СТРУКТУРЫ И ИСПОЛЬЗОВАНИЕ БАНКОВСКИХ РЕСУРСОВ
7. Использование программ обучения для обеспечения здоровья населения
8. Объектно-знаковые структуры мысли и анализ сложных рассуждений

9. Иностранные инвестиции в РФ: структура, направления и эффективность использования

10. Конвертер программы с подмножества языка Си в Паскаль с использованием LL(1) метода синтаксического анализа

11. Разработка сложных web-проектов с использованием Microsoft Commerce Server 2000

12. Виртуальный контрафакт. Ответственность за нарушение авторских прав при использовании компьютерных программ

13. Использование компьютера в реализации школьных программ

14. Использование государственных программ ипотечного жилищного кредитования в РФ

15. Изучение английского языка с использованием компьютерной программы "English Puzzle"

16. Использование компьютерных программ для повышения качества обученности студентов Челябинского государственного политехнического техникума по дисциплине "Гидравлические и пневматические системы"

Умные кубики. Орнаменты. 50 игр для развития интеллекта.
IQ-кубики "Орнаменты" - универсальный набор интеллектуальных игр для дошкольников. IQ-кубики помогают развивать моторную и
306 руб
Раздел: Развивающие игры с кубиками
Настольная игра "Кортекс".
Сможете отличить баскетбольный мяч от клубники на ощупь или за долю секунды увидеть выход из лабиринта? А молниеносно запомнить предметы и
914 руб
Раздел: Карточные игры
Книга-сейф "Английский словарь", цвет: черный, 24 см.
Этот сейф-шкатулка - точная имитация книги. Будучи поставленным на книжную полку, он ловко затеряется среди настоящей литературы, сохранив
711 руб
Раздел: Копилки

17. Использование программы Access в книжном магазине

18. Использование фильтров в программе Illustrator

19. Методика использования антивирусных программ

20. Программа CorelDraw и ее использование

21. Программа Mathcad и ее использование

22. Разработка обучающей программы, поддерживающей изучение темы "Структуры данных"
23. Разработка программ с использованием динамической памяти
24. Разработка программы рисования замкнутых многоугольников на языке С++, с использованием библиотеки VCL

25. Создание программы с использованием программного продукта Turbo Assembler

26. Теоретические основы использования компьютерных программ в биологии

27. Управляющие структуры языка "Си". Программирование с использованием указателей

28. Расчет сложных электрических цепей постоянного тока с использованием закона Кирхгофа

29. Опыт использования компьютерных информационных технологий обучения при преподавании курса "Физика" по пакетам прикладных программ: "Открытая физика", "Физика в картинках"

30. Использование дефектов, возникающих при имплантации водорода или гелия, для формирования глубинных структур в кремнии

31. Управление учебно-тренировочным процессом девушек-спортсменок 15-17 лет с использованием индивидуальных коррекционных программ

32. Программа рационального использования минеральных ресурсов. Федеральный закон о ставках отчислений на воспроизводство минерально-сырьевой базы от 30.12.95 №224

Вафельница алюминиевая, механическая BE-4426 Webber "Бельгийская вафля", для плиты.
Размеры: 35х13,5х2,5 см. Количество вафель: 4 штуки. Форма вафель: сердечки. Толщина вафель: толстые. Материал: алюминий, металл,
879 руб
Раздел: Формы и формочки для выпечки
Машинка "Бибикар (Bibicar)" с полиуретановыми колесами, синяя.
Детская машинка «Бибикар» станет идеальным источником не только развлечения, но и развития для любого ребёнка, которому уже исполнилось 3
2650 руб
Раздел: Каталки
Магниты "Junior", 34 мм, белые,.
Диаметр: 34 мм. Сила: 1,3 кг. Материал: цельный ферритный магнит. Количество: 10 штук. Цвет: белый.
352 руб
Раздел: Магниты канцелярские

33. Использование программ "Audit Expert" и "Project Expert" в процессе управления финансами фирмы

34. Состояние основных фондов: состав, структура и показатели эффективного использования на примере ООО "Молоко"

35. Типы и элементы планировочной структуры города

36. Структура и алгоритмы работы спутниковых радионавигационных систем

37. Эволюция, образование и структура Вселенной

38. Анализ медико-биологических данных с использованием Excel и СПП STADIA
39. Структура и состояние водоснабжения и водосброса, подземных вод и артезианских скважин города Киева
40. Грибы и их использование

41. БАД к пище и их использование в бодибилдинге

42. Организация и порядок использования в бою мотопехотной (пехотной, танковой) (бригады армий вероятного противника)

43. Статистика населения. Методы анализа динамики и численности и структуры населения

44. Глобальные проблемы человечества. Использование Мирового океана

45. Минеральный состав, текстуры и структуры руд.

46. Платежи за использование природных ресурсов

47. Государственный аппарат и его структура

48. Банковские операции с использованием векселей

Жаровня "Loraine", 1,5 л.
Материал: термостойкое стекло. Форма: прямоугольная. Объем: 1500 мл. Размер: 27х14х7,2 см. Информация об объеме изделия, указанная на
308 руб
Раздел: Формы для запекания
Детский велосипед Jaguar трехколесный (цвет: синий).
Детский трехколесный велосипед колясочного типа, для малышей от 10 месяцев до 3 лет. Модель с удлиненной рамой, что позволяет подобрать
1440 руб
Раздел: Трехколесные
Набор утолщенных фломастеров для декорирования (5 цветов).
Набор фломастеров для декорирования различных поверхностей с металлическим эффектом. Яркие цвета. Проветриваемый и защищенный от
522 руб
Раздел: До 6 цветов

49. Содержание договора о передаче прав на программу для ЭВМ

50. Патентование избирательных программ в контексте формирования концептуального рынка

51. Правовое регулирование расчетов с использованием пластиковых карт

52. Аграрный вопрос в программах политических партий начала 20 века

53. Политическая программа английского просвещения Джона Локка

54. Структура органов власти в США по конституции 1787 года
55. Международная организация труда- создание, структура, задачи и организация её работы
56. Отчет по учебно-ознакомительной практике (c правовыми основами местного самоуправления, формированием представительных и исполнительных органов власти, структурой и функциями органов местного самоуправления)

57. Понятие и структура компетенции местного самоуправления

58. Структура налоговых органов РФ права, обязанности и функции

59. Структура налоговых органов Российской Федерации

60. Цели, задачи и структура Федерального закона № 122-ФЗ

61. Разработка рекламной программы для страховой компании

62. Структура нормы права

63. Структура правоотношения. Классификация правоотношений: критерии и виды

64. Диагностика банкротства предприятия и разработка антикризисной программы (на примере ООО «Оптима»)

Настольная подставка "Berlingo BR", вращающаяся.
Комбинированная черная/красная.
388 руб
Раздел: Подставки, лотки для бумаг, футляры
Магнитный театр "Репка".
Увлекательное театральное представление с любимыми героями русской народной сказки «Репка» и вашим ребенком в роли главного режиссера. 10
308 руб
Раздел: Магнитный театр
Самоклеящиеся этикетки, A4, 105x70 мм, 8 этикеток на листе, 100 листов.
Формат: А4. Размер: 105x70 мм. В комплекте: 100 листов (на 1 листе 8 этикеток).
500 руб
Раздел: Бейджи, держатели, этикетки

65. Земля как объект использования и охраны в Республике Молдова

66. Ударение в сложных словах немецкого языка

67. Способы перевода просторечия, использованного в романе А. Силлитоу "Ключ от двери", на русский язык

68. Структуры экономического дискурса во французском языке. Роль коннекторов в построении аргументации

69. Сравнительное описание слоговых структур английского и каракалпакского языков

70. Культура, её структура и функции
71. Рецензия на программу "Тема" - "журналистская этика"
72. Сложное предложение

73. Загальна структура мовної системи

74. Методическое руководство по проведению занятия по русскому языку в рамках аудиовизуального курса для студентов-иностранцев с использованием видеозаписи мультфильма "Мороз Иванович".

75. Проблематика и структура пьесы Б. Шоу "Пигмалион"

76. Фантастика и миф: использование мифологических образов в современной фантастической литературе

77. Структура ораторской речи

78. Использование кабинета для внеклассной работы по иностранному языку

79. Политическая программа декабристов

80. Программы и планы действий Декабристов

Щипцы кулинарные "Paterra", силиконовые.
Силиконовые щипцы предназначены для комфортных манипуляций с приготавливаемым продуктом. Щипцами удобно переворачивать мясо, тефтели,
323 руб
Раздел: Щипцы
Мультиплеер с проектором "Спокойной ночи, малыши!".
"Спокойной ночи, малыши!" от компании "Азбукварик" - это музыкальная игрушка из серии "Мультиплеер с
330 руб
Раздел: Смартфоны, мультиплееры
Грамота "С гербом и флагом", вертикальная, 200 штук (количество томов: 200).
Размер: 210x297 мм. Материал: бумага мелованная, плотностью 140 г/м2. В упаковке: 200 штук.
1024 руб
Раздел: Грамоты без текста

81. Компьютерные вирусы и антивирусные программы

82. Антивирусные программы

83. Использование информационных технологий в туризме

84. Опыт и перспективы использования сети Интернет в коммерческих целях

85. Использование полей и закладок для оформления и автоматизации редактирования и обработки экономической информации в документах Word

86. Электронная почта и факсимильная связь. Структура и прицип работы
87. Глобальные гипертекстовые структуры: WWW
88. Использование Интернет-технологий для обеспечения информативности населения

89. Учебно-лабораторный комплекс по удаленному администрированию цифровых телефонных станций с использованием локально-вычислительной сети

90. Структура персонального компьютера. Основные и периферийные устройства, их характеристики и назначение

91. Выбор логической структуры процессора

92. Использование компьютеров в управлении предприятием

93. Возможности средств мультимедиа и перспективы их использования

94. Представление и использование знаний об объектах

95. Объектно-ориентированное программирование на С с использованием библиотеки OpenGL

96. Комплекс программ построения справочников по формальным языкам

Комплект универсальных обложек с липким слоем, 470x300 мм, 25 штук.
Обложки универсальные с липким слоем, 25 штук, размер 470x300 мм. Материала обложек: полипропилен. Плотность: 80 мкм.
360 руб
Раздел: Обложки для книг
Фоторамка "Poster gold" (30х40 см).
Фоторамка для фотографий размером: 30х40 см. Может располагаться как вертикально, так и горизонтально, на подставке. Есть настенные
321 руб
Раздел: Размер 30x40
Звуковой плакат "Домашние животные".
Представляем Вашему вниманию уникальную новинку — развивающие звуковые плакаты, которые содержат стихотворения, занимательные и
576 руб
Раздел: Электронные и звуковые плакаты

97. Анализ структур, характеристик и архитектур 32-разрядных микропроцессоров

98. Формирование структуры электронного учебника и решение задач на ней

99. Различные классы баз данных по предметным областям использования


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.