maran program engineering (Маран Программная инженерия), страница 31

Его тестирование проведем при условии,что Person протестирован.public class Sec{Person temp=new Person();int age;double ind;public void ishdan(string Fam, string Imya, DateTime dr,int Rost, int ves){temp.inpt(Fam,Imya, dr, Rost,ves);}public void obr(){// Функция, изменяющая данные классаage=temp.vozr();ind=temp.IndVes();}public string Family(){if(age>20&&age<40)return temp.Fam;elsereturn"No Family";}public string FamInd(){if(ind<25)return temp.Fam;elsereturn"NoFamily";}}189Ограничимся одним тестом, оставим читателю вопрос: какие тесты ещенеобходимы? Не забудьте, что проверить надо и корректность исходныхданных:[TestMethod]public void TestIndVes(){Sec target = new Sec();string Fam = "Ivanov";string Imya = "Vladimir";DateTime dr = new DateTime(1995, 06, 17);int Rost = 180;int Ves = 70;target.ishdan(Fam, Imya, dr, Rost, Ves);string expected = "Ivanov";string actual;target.obr();actual = target.Family();Assert.AreEqual(expected, actual);}6.7.

Современный подход к проверкеПроверка объектно-ориентированных программ должна обеспечить ихвысокое качество: предотвратить появление дефектов и устранить дефекты, которые вкрались в программный продукт. При рассмотрении процесса созданияпрограммного продукта с позиции жизненного цикла становится очевидным,что результаты каждой его фазы нуждаются в проверке, потому что ошибкимогут быть допущены везде, начиная с фазы определения требований. Поэтомуфундаментальными принципами проверки объектно-ориентированных программ являются следующие:• проверять как можно раньше;• проверять часто;• проверять в полном объеме.Из сказанного вытекают следующие виды проверок:• проверка моделей;• тестирование классов;• тестирование взаимодействия и иерархии классов;• системное тестирование.Основной недостаток стандартных проверок заключается в том, что проверяется то, что уже имеется (модели, программы), а не то, что там должнобыть.190Рис.

6.7При целенаправленной проверке все модели проверяют по мере их создания на предмет соответствия требованиям проекта. Модель целенаправленной проверки представлена на рис. 6.7. Целенаправленная проверка требуетбольших затрат, но исследования показывают, что затраты на обнаружение иустранение дефектов на ранней стадии разработки по сравнению с затратами поих обнаружению и устранению на заключительных стадиях существенно ниже.Проверка моделей. Каждая фаза жизненного цикла программного продукта должна заканчиваться проверкой, при которой надо получить ответы навопросы:• корректна ли составленная модель;• является ли она полным представлением информации, на основе которой она составлена;• является ли она внутренне непротиворечивой и согласуется ли она сдругими моделями?Корректность — это мера точности модели.

На фазе анализа − это точность описания задачи. В нашем случае − это качественное выполнение работ,описанных в разделе 4.2. На этой фазе проверка может быть осуществленатолько экспертным путем с привлечением квалифицированных специалистовпо предметной области. Перечень вопросов, по которым можно проверять модели, приведен в [7].Полнота — это мера наличия в модели необходимых элементов. Проверка показывает, существуют ли тестовые случаи, которые не могут бытьпредставлены элементами, включенными в модель.Непротиворечивость — это мера присутствия противоречивости внутримодели или между текущей и ранее составленными моделями. Другими словами, в разных моделях не должно быть различных представлений подобных тестовых случаев. Проверка позволит определить, имеют ли место противоречияи/или конфликты между разными моделями.191В процессе проверки модели принимают участие специалист по предметной области, тестировщик и разработчик.Специалист по предметной области рассматривается как источник истины, он определяет ожидаемый результат системы на конкретный вход.

Квалифицированные разработчики могут быть и специалистами по предметной области,но основную роль в проверке должны играть внешние экспертные оценки.Тестировщик проводит анализ для выбора эффективных тестовых случаев и на этой основе составляет тесты.Разработчик представляет свои модели и поставляет информацию, которая осталась «за моделью».Целенаправленная проверка начинается с проверки «за столом». Каждыйучастник процесса проверки составляет контрольный список, характерный длятипа поверяемой модели.Конечной целью создания любого продукта является получение высокогокачества созданного. Показатели качества программных продуктов определеныстандартом [14].

Среди показателей качества имеются легко измеряемые (временная и ресурсная эффективность), трудно измеряемые (надежность, защищенность) и чисто качественные показатели (удобство установки и использования).Кроме того, разными авторами проведены исследования по числовым характеристикам программных продуктов с рекомендациями, в каких пределахони должны находиться и в какую сторону их желательно изменить с цельюповышения качества. Подробный анализ метрик можно найти в [13]. Средыпрограммирования позволяют вычислить значения многих числовых характеристик. При открытой библиотеке классов в Microsoft Visual Studio выберем изменю пункты Анализ – Вычислить метрики, будет определен набор числовыххарактеристик для всех классов и их функций.

Правда, набор характеристиквесьма скуден. Из распространенных сред богатый набор вычисляемых характеристик с разъяснением их сути имеется в среде Embarcadero RAD Studio 10,но только для программ на языке Delphi.192ЗаключениеВ пособии были изложены базовые средства выполнения этапов анализаи проектирования, даны рекомендации по реализации в среде Microsoft VisualStudio. Изложены методы тестирования и рефакторинга и их инструментальнаяподдержка. Атвор надеется, что полученные начальные сведения позволят читателю успешно работать с книгами, где эти вопросы рассмотрены болееподробно. Часть из них можно найти в библиографическом списке.193Библиографический список1.

ГОСТ Р ИСО/МЭК 12207-2010. Информационная технология. Системнаяи программная инженерия. Процессы жизненного цикла программныхсредств.2. ISO/IEC 14764:2006. Разработка программного обеспечения. Процессыжизненного цикла программного обеспечения. Сопровождение.3. Manifesto for Agile Software Development [Электронный ресурс]. — Режимдоступа: www.agilemanifesto.org.4. Назаров С. В. Архитектура и проектирование программных систем. —М. : ИНФРА-М, 2015. — 351 с.5. Майерс Г.

Искусство тестирования программ / Г. Майерс, Т. Баджетт,К. Сандлер. — М. ; СПб. : Диалектика, 2015. — 272 с.6. The Unified Modeling Language [Электронный ресурс]. — Режим доступа:http://www.uml-diagrams.org. — Загл. с экрана.7. About the Unified Modeling Language Specification Version 2.5 [Электронный ресурс]. — Режим доступа: http://www.omg.org/spec/UML/2.5. —Загл. с экрана.8.

Арлоу Д. UML 2 и унифицированный процесс / Д. Арлоу,А. Нейштадт. — СПб. : М. : Символ-Плюс, 2008. — 624 с.9. Стеллман Э. Постигая Agile. Ценности, принципы, методологии /Э. Стеллман, Д. Грин. — М. : Изд-во «Манн, Иванов и Фербер», 2017. —445 с.10. Андерсон Д. Канбан. Альтернативный путь в Agile. — М. : Изд-во«Манн, Иванов и Фербер», 2017. — 336 с.11. Фаулер М. Рефакторинг. Улучшение существующего кода. — СПб.,2016. — 430 с.12. Мак-Дональд М.

WPF: Windows Presentation Foundation в .NET 4.5 с примерами на C# 5.0 для профессионалов. — М. : Вильямс, 2017. — 1018 с.13. Орлов С. А. Программная инженерия: технологии разработки программного обеспечения. — СПб. : Питер, 2017. — 640 с.14. ГОСТ Р ИСО/МЭК 9126-93. Информационная технология. Оценка программной продукции. Характеристики качества и руководства по их применению.194Михкель Михкелевич МАРАНПРОГРАММНАЯ ИНЖЕНЕРИЯУчебное пособиеЗав. редакцией литературыпо информационным технологиями системам связи О. Е.

ГайнутдиноваОтветственный редактор Т. С. СпиринаКорректор А. О. БрезманВыпускающий Н. А. КрыловаЛР № 065466 от 21.10.97Гигиенический сертификат 78.01.10.953.П.1028от 14.04.2016 г., выдан ЦГСЭН в СПбИздательство «ЛАНЬ»lan@lanbook.ru; www.lanbook.com196105, СанктПетербург, пр. Юрия Гагарина, д.

1, лит. АТел./факс: (812) 3362509, 4129272Бесплатный звонок по России: 88007004071Подписано в печать 22.03.18.Бумага офсетная. Гарнитура Школьная. Формат 70×100 1/16.Печать офсетная. Усл. п. л. 15,93. Тираж 100 экз.Заказ № 17018.Отпечатано в полном соответствии с качествомпредоставленного оригиналмакета в АО «Т8 Издательские Технологии».109316, г.

Москва, Волгоградский пр., д. 42, к. 5.Powered by TCPDF (www.tcpdf.org).