1.3 Обґрунтування вибору мови програмування та case-засобів

Для реалізації програмного забезпечення, що представлене в даній роботі, було використано середовище програмування Microsoft Visual Studio 2010 та мову програмування C++.

C++ - суворо типізована мова програмування загального призначення. Підтримує різні парадигми програмування: процедурну, узагальнену, функціональну, об'єктно-орієнтовану.

У порівнянні з його попередником - мовою C, - найбільшу увагу приділено підтримці об'єктно-орієнтованого та узагальненого програмування.

Назва «C++» походить від назви мови C, в якому унарний оператор ++ позначає інкремент змінної.

Являючись одною з найбільш популярних мов програмування, C++ широко використовується для розробки програмного забезпечення. Область його застосування включає створення операційних систем, різноманітних прикладних програм, драйверів пристроїв, додатків для вбудованих систем, високопродуктивних серверів, а також розважальних додатків (ігор).

Загальні принципи мови програмування C++ [4]:

1. отримати універсальну мову зі статичними типами даних, ефективністю і підтримкою мови C;

2. безпосередньо і всебічно підтримувати безліч стилів програмування, в тому числі процедурне програмування, абстракцію даних, об'єктно-орієнтоване програмування та узагальнене програмування;

3. надати програмісту свободу вибору, навіть якщо це дасть йому можливість вибирати неправильно;

4. максимально зберегти сумісність з C, тим самим роблячи можливим легкий перехід від програмування на C;

5. уникнути різночитань між C і C++: будь-яка конструкція, допустима в обох мовах, має у кожному з них позначати одне й те ж і приводити до однієї і тієї ж поведінки програми;

6. уникати особливостей, які залежать від платформи або не є універсальними;

7. ніякий мовний засіб не повинен призводити до зниження продуктивності програм, що не використовують його;

8. не вимагати занадто ускладненого середовища програмування.

В даний час, Microsoft Visual Studio є одним з найпотужніших середовищ розробки на мові програмування C++, що дозволяє легко працювати над написанням та відлагодженням програмного забезпечення на цій мові програмування.

Microsoft Visual Studio - лінійка продуктів компанії Майкрософт, що включає інтегроване середовище розробки програмного забезпечення і ряд інших інструментальних засобів. Дані продукти дозволяють розробляти як консольні додатки, так і додатки з графічним інтерфейсом, в тому числі з підтримкою технології Windows Forms, а також веб-сайти, веб-додатки, веб-служби.

Visual Studio включає в себе редактор вихідного коду з підтримкою технології IntelliSense [5] і можливістю найпростішого рефакторінгу коду. Вбудований зневаджувач може працювати як зневаджувач рівня вихідного коду, так і як зневаджувач машинного рівня. Решта вбудованих інструментів включають в себе редактор форм для спрощення створення графічного інтерфейсу додатку, веб-редактор, дизайнер класів і дизайнер схеми бази даних. Visual Studio дозволяє створювати і підключати сторонні додатки (плагіни) для розширення функціональності практично на кожному рівні, включаючи додавання підтримки систем контролю версій вихідного коду (як наприклад, Subversion і Visual SourceSafe), додавання нових наборів інструментів (наприклад, для редагування і візуального проектування коду на предметно-орієнтованих мовах програмування або інструментів для інших аспектів процесу розробки програмного забезпечення).

Основним засобом для тестування створеного програмного забезпечення в даному проекті являється Cppcheck - статичний аналізатор коду для мов програмування C і C++. Це універсальний інструмент, який перевіряє програмний код на відповідність стандарту мови програмування.

Cppcheck підтримує широкий спектр статичних перевірок, які не можуть бути проведені самим компілятором. Програма спрямована на проведення статичного аналізу, який перевіряє код з більш суворими, у порівняні з компілятором критеріями.

Основні перевірки коду, які проводяться даною програмою:

1. автоматична перевірка змінних;

2. перевірка на вихід за межі масиву;

3. перевірка класів (наприклад, невикористовуванні методи, відсутність ініціалізації атрибутів і дублювання пам'яті);

4. перевірка безпеки: використання розподілу пам'яті, перевірка використання деструкторів, тощо;

5. перевірка на витік пам'яті (наприклад, відсутність операторів delete для динамічно виділеної пам'яті);

6. перевірка на витік ресурсів (наприклад, через відсутність операторів закриття відкритого файлу);

7. перевірка на правильність використання функцій стандартної бібліотеки шаблонів;

8. перевірка на стилістичні помилки і помилки продуктивності.

Як і багато програми аналізу, існує безліч незвичайних ідіом програмування, які можуть бути прийнятні в окремих випадках коректними для досягнення поставленої цілі, тому кожну знайдену помилку необхідно обробляти та виносити рішення окремо.