Programinės įrangos analizės modelis yra kompiuterinės programos projektavimo metodas, prilyginant abstrakčius procesus ar modelius su kuriamos programos veikimu. Idėja yra palyginti tam tikro tipo šabloną, kuris veiksmingai veikia tam tikrame kontekste, dažniausiai realiame pasaulyje, ir tada pritaikyti tą pačią logiką, o kartais ir modelio terminologiją kuriamai programai. Tokiu būdu įvertinant bendrą programos ar modulio veikimą, tikslas yra programinės įrangos analizės metu rasti mažesnius modelius ir, galbūt, tinkamus projektavimo modelius, kad būtų galima pradėti kurti realias įgyvendinimo detales. Skirtingai nuo projektavimo modelių, kurie dažnai naudojami siekiant padėti kurti ir koduoti, programinės įrangos analizės modelis yra labiau skirtas tam, kad būtų galima galvoti apie projektą, kad sudėtingumas būtų geriau vizualizuojamas. Nėra formalaus programinės įrangos analizės modelio naudojimo ar tobulinimo apibrėžimo, nors yra keletas modelių pavyzdžių.
Pradiniuose programinės įrangos kūrimo etapuose programinės įrangos analizės modelis yra skirtas padėti struktūrizuoti platų programos vaizdą ir kaip jos dalys yra susijusios viena su kita. Tačiau modelis yra skirtas abstrakčiai analizei, o ne smulkesnėms programos detalėms, pvz., atskiriems metodams, kintamiesiems ar failų formatams, išsiaiškinti. Viena iš abstrakcijos priežasčių yra ta, kad vienos programinės įrangos analizės modelio koncepcija gali būti šiek tiek modifikuota ir vėliau panaudota kitai programinei įrangai, kuri iš tikrųjų gali atlikti visiškai kitą užduotį.
Kuriant programinės įrangos analizės modelį dažniausiai naudojami realūs pavyzdžiai. Vienas iš pavyzdžių galėtų būti pašto skyriaus naudojimas kaip paprasto pranešimų serverio programinės įrangos analizės modelis. Šiame pavyzdyje raidės reikštų pranešimą, o antspaudas – tam tikro tipo serverio patvirtinimą. Pašto dėžutė tampa pranešimų eile, o paėmimo ir išdavimo laikas yra susietas su siuntimo ir gavimo procesais. Tokiu būdu sudėtinga programos struktūra gali būti abstrahuota ir konkretesnė, kad modelio šaltinio terminija dažnai gali virsti klasių ar pačios programos komponentų pavadinimais. įgyvendinimas.
Komplikacijų gali kilti naudojant programinės įrangos analizės šabloną, ypač labai didelėms programoms. Programos kūrimo metu galima pernelyg supaprastinti programą, todėl kai kurios posistemės įgyvendinant gali visiškai neatitikti analizės modelio. Be to, modelis gali būti taip struktūrizuotas, kad programos įvykiai būtų modeliuojami taip, kad atitiktų modelį ir būtų aiškūs, bet nebūtinai būtų labai veiksmingi.