Методические указания по выполнению практических работ по профессиональному модулю
жүктеу/скачать 5.65 Mb.
|
- Бұл бет үшін навигация:
- Отчет по лабораторной работе должен включать
- Контрольные вопросы.
- Практическая работа № 3 «Описание верификации» Цель: - получить практические навыки описания процесса верификации Теоретические сведения
| Задание.
1. Оформить внешнюю спецификацию. 2. Составить в виде блок-схемы алгоритм решения задачи. 3. Спроектировать модули программы для решения задачи на любом алгоритмическом языке программирования. 4. Выполнить инкрементную интеграцию модулей с использованием одного из подходов. 5. Оформить отчет по лабораторной работе. Задача 1. На основе сведений об отметках учеников класса в последней четверти: а) вычислите средние баллы по каждому предмету; б) определите группу из трех лучших учеников; в) определите группу из трех самых слабых учеников. Задача 2. Известен расход по N видам горючего в каждом из M автохозяйств. Определите для каждого хозяйства вид горючего с наибольшим и с наименьшим расходом. Отчет по лабораторной работе должен включать: 1. Внешнюю спецификацию. 2. Алгоритм решения задачи. 3. Текст программы на языке программирования. 4. Описание процесса интеграции модулей. Контрольные вопросы. Значение фазы интеграции программных модулей. Подходы к интегрированию программных модулей. Эффективность и оптимизация программ. Практическая работа № 3 «Описание верификации» Цель: - получить практические навыки описания процесса верификации Теоретические сведения Верификация это процесс или акт подтверждения подлинности данных. В интернете верификация используется, как правило, для того, чтобы подтвердить (верифицировать) личность владельца учётной записи на том или ином сайте. Происхождение английского слова Verification восходит к латинскому Veritas — истина. Верификация — это (лат., от verus – истинный, facio – делаю) способ подтверждения, проверяемость, эмпирическое подтверждение теоретических алгоритмов, положений, процедур или программ, сопоставляя их с эталонными, эмпирическими, опытными данными, программами или алгоритмами. Верификация обозначает также соответствие предопределенным эталонным характеристикам конечного продукта. Термин «верификация» используют для обозначения методики распознавания искажения, укрывательства, лжи. Такое разное толкование этого термина объясняется широкими возможностями проверить соответствие различных характеристик предъявленным требованиям к ним. Термин «верифицировано» применяется, обозначая соответствующий статус. Деятельность по подтверждению может включать: - осуществлять альтернативные расчеты; - сравнивать научную и техническую документации по новому проекту с аналогичной документацией по апробированному проекту; - проводить испытания и демонстрации; - анализировать документы до их выпуска. Верификацию легко спутать с валидацией. Верификация всегда будет опираться на сравнение реальных опытных образцов с эталонными, которые создаются на фазе проектирования. Термины «верификация» и «валидация» зачастую используют в технической литературе. Легко проследить связь этих терминов с анализом качества программного обеспечения. Научная литература пестрит различными трактовками данных понятий. Итак, разберемся в этом вопросе. Наиболее верным, с нашей точки зрения, есть следующее определение. Валидацией и верификацией можно назвать виды деятельности, направленные на проведение контроля качества программного продукта для обнаружения на стадиях разработки ошибок в нем. Кажется, они имеют общую цель. Однако они обладают различиями в проверяемых свойствах, ограничениях и правилах, несоблюдая которые можно назвать ошибкой. Верификация – это проверка на соответствие программного обеспечения технической документации, которая представлена техническим заданием, архитектурой или моделью предметной области. В задачи верификации включается и сопоставление процедуры расчетов с процессом их разработки, правилами и стандартами. Верификация данных должна выполняться, чтобы установить функционирования программы в соответствии с установленными нормами, требованиями, проектными решениями и пользовательской документацией. При этом обязательно необходимо предварительно проверить те документы, с которыми проводится сравнение на соответствие их стандартам и нормативам, которые установлены в той стране, где эксплуатируется программное обеспечение. Также нужно принимать во внимание соблюдение последовательности выполняемых операций. Если обнаружена ошибка или дефект в работе программы либо же обнаружено противоречие между указанными выше документами и действующим функционированием программы, принятие решения о выборе документа для исправления является решением отдельной задачи. В отличие от верификации валидация подразумевает проверку на соответствие разрабатываемых или сопровождаемых программных продуктов требований заказчиков или пользователей. Эти потребности зачастую не отражаются ни в какой документации. Именно поэтому валидация является менее формализованной, чем верификация. В этом процессе участвуют представитель заказчика, пользователя, а может находиться аналитик или эксперт в предметной области. Иными словами, те, которые могут представлять конкретные потребности и реальные нужды этих лиц. жүктеу/скачать 5.65 Mb. Достарыңызбен бөлісу:
|