təminatını sözü azərbaycan dilində

Proqram təminatının verifikasiyası proqram mühəndisliyinin nizam-intizamıdır və onun məqsədi proqramın bütün gözlənilən tələbləri təmin etməsindən əmin olmaqdır. Proqram təminatının verifikasiyasına iki əsas yanaşma forması vardır: Dinamik verifikasiya, belə ki o test və ya təcrübə olaraq tanınır. Bu verifikasiya nöqsanların tapılması üçün yaxşıdır. Statik verifikasiya, belə ki o analiz etmə olaraq tanınır. Statik test icra olmadan bir sistemin və ya komponentin araşdırılmasıdır. == Dinamik verifikasiya (Test, təcrübə) == Dinamik verifikasiya proqramın həyata keçirilməsi (gedişatı) zamanı sərgilənir və dinamik olaraq onun davranış tərzi yoxlanılır və o bir qayda olaraq Test fazası olaraq bilinir. Verifikasiya baxış prosesidir. Testlərin çərçivəsindən aslı olaraq biz onu 3 növ kateqoriyaya bölə bilərik: Kiçik testlər: tək funksiyanı və ya klası yoxlayan test Böyük testlər: klaslar qrupunu yoxlayan test. Buna misal olaraq aşağıdakıları göstərmək olar Modul testi (tək modul) İnteqrasiya testi (birdən çox) sistem testi (bütün sistem) Qəbul testi: bir proqramın qəbul meyarlarını yoxlamaq üçün müəyyən edilmiş formal test Funksional test Qeyri-funksional test Proqram təminatı verifikasiyası çox zaman proqram təminatı validasiya ilə qarışıq salınır. Bunlar arasındakı fərq: Proqram təminatının verifikasiyası soruşur ki, "Biz proqramı doğrumu qururuq?" bu o deməkdir ki, sistem öz spesifikasiyasına uyğun gəlirmi.

Proqram təminatı tərtibatı (ing. software development) — tətbiqləri, freymvorkları və ya digər proqram komponentlərini yaratmaq və müşayiət üçün nəzərdə tutmaq, dəqiqləşdirmək, dizayn etmək, proqramlaşdırmaq, sənədləşdirmək, sınaqdan keçirmək və səhvləri düzəltmək üçün istifadə olunan proses. Proqram təminatının tərtibatı mənbə kodunun yazılmasını və müşayiət olunmasını əhatə edir, lakin daha geniş mənada o, arzu olunan proqram təminatının konsepsiyasından yekun təzahürə qədər bütün prosesləri, adətən proqram təminatı mühəndisliyi ilə üst-üstə düşən planlı və strukturlaşdırılmış prosesdə bütün prosesləri əhatə edir. Proqram təminatının hazırlanmasına həmçinin tədqiqat, yeni inkişaf, prototipləşdirmə, modifikasiya, təkrar istifadə, yenidən mühəndislik, texniki xidmət və ya proqram məhsulları ilə nəticələnən hər hansı digər fəaliyyətlər daxildir. Proqram tərtibatı — bir ideyanın konsepsiyadan son istifadəyə qədər tam işlək proqram təminatına çevrilməsini təmin edən prosesdir. Bu proses proqramın planlaşdırılması, kodlaşdırılması, test olunması, yerləşdirilməsi və dəstəklənməsindən ibarətdir. Proqram tərtibatının məqsədi, müəyyən problemi həll etmək və ya istifadəçilərin ehtiyaclarını qarşılamaq üçün effektiv, etibarlı və istifadəyə yararlı bir proqram təminatı hazırlamaqdır. == Əsas mərhələləri == Tələblərin toplanması və analizi Proqramın tələblərinin və məqsədlərinin aydın şəkildə müəyyən edilməsi ilk mərhələdir. İstifadəçilərin ehtiyaclarını, proqramın əsas funksiyalarını və gözləntilərini başa düşmək üçün müştərilər və digər maraqlı tərəflərlə məsləhətləşmələr aparılır. Dizayn Dizayn (ing.

Proqram təminatı, prosessor tərəfindən kompüterin idarəsi üçün proqramlanan və kompüterin yaddaşında saxlanan təlimatlar yığımıdır. Proqram təminatı bəşər tarixində yeni bir inkişafdır və İnformasiya Əsri üçün əsasdır. Ada Lavleysin 19-cu əsrdə Çarlz Bebbicnin Analitik Mühərriki üçün proqramları bu fənnin banisi hesab olunur. Bununla belə, riyaziyyatçı səyləri yalnız nəzəri olaraq qaldı, çünki Lavleys və Bebbic dövründəki texnologiya onun kompüterini qurmaq üçün kifayət etmədi. Alan Turinq 1935-ci ildə kompüter elmləri və proqram mühəndisliyinin iki akademik sahəsinə səbəb olan proqram təminatı nəzəriyyəsi ilə çıxış edən ilk şəxs kimi tanınır. 1940-cı illərin sonlarında ilkin saxlanan proqramlı rəqəmsal kompüterlər üçün proqram təminatının birinci nəslinin təlimatları birbaşa ikili kodda yazılmışdır, ümumiyyətlə əsas kompüterlər üçün yazılmışdır. Sonralar, ev kompüterinin inkişafı ilə yanaşı müasir proqramlaşdırma dillərinin inkişafı, montaj dilindən başlayaraq, funksional proqramlaşdırma və obyekt yönümlü proqramlaşdırma paradiqmaları vasitəsilə davam edən mövcud proqram təminatının əhatə dairəsini və genişliyini xeyli genişləndirəcəkdir. == Kompüter elminin mənşəyi == Bir konsepsiya olaraq hesablama qədim dövrlərə gedib çıxır, abak, Antikitera mexanizmi , Astrolab, Mexanik Astronomik saatlar və Mexanik Kalkulyator. Antikitera mexanizmi olduqca mürəkkəb qədim mexaniki Astronomik cihaz üçün bir nümunədir. Bununla belə, bu qurğular sırf aparat idi və heç bir proqram təminatı yox idi — onların hesablama gücləri birbaşa onların xüsusi forması və mühəndisliyi ilə bağlı idi.