Johdanto
ohjaa ohjelman suunnittelun toiminnan periaatteita ja periaatteita sekä sen suunnittelutekniikoita. Joskus se viittaa myös näiden periaatteiden, periaatteiden ja tekniikan tutkimiseen. Ohjelmointimetodologian tavoitteena on suunnitella luotettavia, helposti luettavia ja kalliita menettelytapoja. Ohjelmasuunnittelumenetelmiä ovat projektiteoria, tutkimusteknologia, tukiympäristö, tekniset spesifikaatiot ja automaattinen ohjelmointi jne., mikä tekee ohjelmoinnista tieteellisempää ja teknisempää. Perussisältö on: rakenneohjelmointi; sovellusteoria ohjelmointitekniikassa sekä spesifikaatiot ja muunnosteknologia. Proseduuriteoria liittyy läheisesti ohjelmasuunnittelun metodologian kehittämiseen, ja se rikastaa ajattelutapaa ja edistää ohjelmointitekniikan kehitystä.
Kehityshistoria
Taustan luominen
Vuosina 1950-1 1970-luvulla käsityötyylistä ohjelmointimenetelmää Gaodener kutsui ohjelmaa taiteeksi.
1960-luvun lopulla - 1970-luvun alussa ilmestyy ohjelmistokriisi: toinen puoli vaatii suuren määrän ohjelmistojärjestelmiä, kuten käyttöjärjestelmiä, tietokannan hallintajärjestelmiä; Toisaalta ohjelmistokehityssykli on pitkä, luotettava ja vaikea ylläpito. Ohjelmointi: Ohjelma on selkeä, helppolukuinen, helppo muokata, helppo tarkistaa ja saada hyvä rakenne.
Vuonna 1968 Pohjois-Atlantin yleissopimus (NATO) järjesti ensimmäisen ohjelmistokehityskonferenssin Länsi-Saksassa, analysoi kriisitilannetta, tutki ongelman perimmäistä syytä ja ehdotti ensimmäistä suunnittelutapaa, jolla ratkaisut ratkaisevat ongelman. ohjelmistokehitystä ja -tuotantoa, tätä kokousta voidaan pitää tärkeänä virstanpylväänä ohjelmistokehityksen historiassa.
Vuonna 1969 International Information Processing Association (IFIP) perusti "Procedural Design Methodology Working Groupin", joka on erikoistunut tutkimusmenetelmien suunnittelumenetelmiin, ohjelmointiin käsin muotoilluista tavoista suunnitteluun. Strukturoidun ohjelman suunnittelumenetelmä. Dijkstra ehdottaa "GOTO on haitallista" toivoen varmistavansa ohjelman dynaamisen ohjelman oikeellisuuden.
Vuonna 1969 WIRTH ehdotti periaatteen suunnittelua "asteittain ylhäältä alaspäin etsimään olemusta, jaettuna voimaan". Sen perusidea on: alkuperäisestä ratkaisukysymyksestä, käytä tieteellistä abstraktia menetelmää jakaa useisiin suhteellisen itsenäisiin pieniin ongelmiin, tarkenna niitä peräkkäin, kunnes erilaiset pienet ongelmat on ratkaistu.
Ohjelman oikeellisuus todistaa "
1967, Floyd ehdotti kehyskaavioohjelman oikeellisuutta" väitemenetelmällä ".
1969, Hoare määrittelee pienen kielen ja loogisen järjestelmän Floydin pohjalta. Tämä logiikkajärjestelmä sisältää proseduaalisia aksioomia ja johtamissääntöjä, joiden tarkoituksena on todistaa osa ohjelman oikeellisuudesta, joka on kuuluisa Hoare-logiikka. Hänen työnsä loi perustan ribologian tutkimukselle.
Vuonna 1973 Hoare ja Wirth laittoivat suurimman osan PASCAL-kielestä.
Vuonna 1975 ilmestyi ensimmäistä kertaa automaattinen varmennusjärjestelmä, joka perustuu aksiooma- ja johdantosääntöihin.
1979, on olemassa ohjelmointikielen suunnittelukieli Euclid, jolla on aksioomapohjainen idea.
Vuonna 1976 Dijkstra ehdotti heikoimman predikaatin ja predikaattimuuntimen konseptia ohjelman oikeellisuudesta ja ohjelman muodollisesta johtamisesta.
1980, D. Gries yhdistettynä todistettuun predikaattilaskelmiin perustuvaan järjestelmään, jota kutsutaan "ohjelmointitieteeksi". Ensimmäistä kertaa ohjelma on suunniteltu kokemuksen ja tekniikan perusteella.
1974, ihmiset käyttävät modaalista logiikkaa rinnakkaisten ohjelmien oikeellisuuden tarkistamiseen.
Tietoja ohjelman todistetusta oikeellisuudesta:
Epäilys ja vastustus, syy: Ensinnäkin muoto on liian monimutkainen, kuka voi taata, ettei virhe itsessään ole! Toiseksi, ohjelma on kirjoitettu, sitten todistaa sen oikeellisuus, se vastaa "hevosen takana", eli virhe on valettu, miten voin korjata?
Kapseli: Kirjoita ohjelma ja todista sitä harkitessasi. Eli ohjelman suunnittelu ja oikeellisuus ovat osoittautuneet samanaikaisesti rinnakkain.
Muodostaa oikean ohjelman
Käyttämällä Dijkstran predikaattimuunninta ja sen laskentasääntöjoukkoa oikea ohjelma voidaan johtaa.
Käytä ohjelmaa oikean ohjelman luomiseen. Se soveltaa joukkoa muunnossääntöjä, jotka soveltavat sarjan suojauksen oikeellisuutta ja saavat lopulta suoritettavia ohjelmia. Ohjelman muuntaminen on tärkeä osa "ohjelmasuunnittelumetodologian" tutkimusta 1970-luvulta lähtien, mikä on yksi lupaavista ohjelmoinnin automatisoinnin tavoista. Rekursiivinen ohjelman muunnos on tämän ajanjakson merkityksellisin tulos. Kuten Burstallin ja Darlingtonin rekursiivinen ohjelmamuunnosjärjestelmä jne.
logiikkaohjelmasuunnittelu ja toiminto-ohjelmasuunnittelu edustavat uutta tutkimussuuntaa. ProLog on lomakejärjestelmä, joka perustuu predikaattilogiikan osajoukkoon (Hoare-lause). ProLog-ohjelman suoritusprosessi on prosessi, jossa suoritetaan loogisesti pilkkovia algoritmeja.
Abstraktien tietotyyppien tutkimus
Abstrakti tietotyyppi on erittäin tärkeä menetelmä ohjelmointimetodologiassa. Se tunnetaan tärkeänä virstanpylväänä ohjelmointimetodologian historiassa.
Strukturoidun ohjelman tutkimus
tiedon abstraktio ja modulaarinen ohjelmointi
Ohjelman oikeellisuustodistus
Ohjelman muunnos
Ohjelman kuvaus ja defrive
Ohjelman kattava ja analyysitekniikka
Olio-ohjelmien suunnittelumenetelmä
Suurten ohjelmien kehittäminen
ja ohjelmistosuunnittelun suhde
ohjelmointimetodologia liittyy myös läheisesti ohjelmistosuunnitteluun. Metodologia Ohjelmiston kehittäminen ja ylläpito. Ohjelmistotekniikan vaatimukset käsittelevät standardointia ja luovat uusia periaatteita ja teknologioita. Uuden menetelmän syntyminen edellyttää vastaavien spesifikaatioiden kehittämistä. Menetelmät ja työkalut ovat saman ongelman kaksi puolta. Työkalujen opiskelu perustuu metodologiaan ja työkalujen kehittämiseen tullaan vaikuttamaan onnistuneesti. Ohjelmointimetodologiaan kuuluu myös proseduaalinen johtaminen, ohjelman kokonaisvaltainen, ohjelmointiautomaation tutkimus, samanaikainen ohjelmasuunnittelu, hajautettu ohjelmointi, toiminnallinen ohjelmointi, semantiikka, ohjelmalogiikka, muodolliset määritykset ja ennakoiva järjestelmä.
Tutkimusmenetelmät erilaisia
Ohjelmistotekniikka Tärkeimmät sovellussuunnittelumenetelmät ja tekninen tutkimus Ohjelmistojen kehitys- ja ylläpitomenetelmä, työkalut ja tekniikka Tietojenkäsittelytieteen ja tekniikan risteys Suunnittelumetodologia käyttää pääasiassa matemaattisten menetelmien luonnetta ja teoriaa ja ohjelmointimenetelmä;
tutkimuskohteet ovat erilaisia
ohjelmistotekniikan tutkimuskohteet ovat ohjelmistojärjestelmiä. Tavoitteena on alentaa ohjelmistojen kehityskustannuksia, parantaa ohjelmistojen laatua, parantaa ohjelmistojen ylläpidettävyyttä ja parantaa ohjelmistokehityksen tehokkuutta. Keskity ohjelmiston makroskooppiseen saatavuuteen. Ohjelmointimetodologian tutkimuskohde on menettely. Tavoitteena on varmistaa ohjelman oikeellisuus. Keskity ohjelman mikroskooppiseen oikeellisuuteen. Ohjelmistosuunnittelun ja ohjelmointimenetelmien rajat ovat tulleet yhä sumeammaksi ohjelmointimetodologia on ohjelmistosuunnittelun perusta.