Kòd sous

Soti nan Wikipedia, ansiklopedi gratis.
Ale nan navigasyon Ale nan rechèch

Kòd la sous (souvan tou senpleman rele oswa kòd sous oswa lis [1] ), nan syans enfòmatik , se tèks la nan yon algorithm nan yon pwogram ekri nan yon lang pwogramasyon pa yon pwogramè nan pwosesis la nan pwogramasyon , ki gen ladan nan yon dosye sous , ki defini koule nan ekzekisyon nan pwogram nan tèt li, oswa kodaj lojisyèl li yo (pa ekstansyon, se ekspresyon an " kòd sous " tou itilize, al gade nan tèks ekri nan lang ki pa pwogramasyon òdinatè, tankou lang balisaj ( HTML , XML ak sou sa ) oswa lang rechèch (egzanp SQL )).

Deskripsyon

Li pral gen yo dwe apwopriye elabore yo rive nan yon pwogram ègzèkutabl pa processeur a konsa mete tèt li kòm pwen an kòmanse ("sous") nan tout pwosesis la ki mennen nan ekzekisyon an nan pwogram nan pa pyès ki nan konpitè nan machin nan , epi ki ka gen ladan lòt faz tankou prekompilasyon , konpilasyon , entèpretasyon , chaje ak ki lye ak (ki depann sou ki kalite lang pwogramasyon yo itilize) fini ak enstalasyon an .

Lisans

Icône loup mgx2.svg Menm sijè an detay: Lisans (syans enfòmatik) .

Nan ka lojisyèl propriétaires, kòd la sous pa nòmalman bay itilizatè a pa pwomotè a kòm se toujou kòd la ègzèkutabl pou pwogram konpile oswa bytecode a nan ka a nan entèprete / semi-entèprete pwogram, pandan ke li disponib nan ka a. nan lojisyèl sous louvri ak lojisyèl .. gratis .

Estrikti

Icône loup mgx2.svg Menm sijè an detay: Anviwònman (pwogramasyon) .
Egzanp nan kòd sous ekri nan lang Java

Tipikman yon kòd sous ki konpoze de deklarasyon varyab (lokal ak / oswa mondyal), posib inisyalizasyon sa yo nan plasman, konstan , enstriksyon ak fonksyon ki aji sou varyab, estrikti kontwòl nan koule nan ekzekisyon, dapre yon paradigm pwogram sèten. Teyorèm Böhm-Jacopini a sipoze patikilye enpòtans teyorik nan sans sa a, ki deklare ke nenpòt ki algorithm ka aplike lè l sèvi avèk sèlman twa estrikti, sekans lan , seleksyon an ak bouk la ( iterasyon ), yo dwe aplike rekursivman nan konpozisyon sa a nan enstriksyon elemantè.

Nan teyori, yon style pwogram bon enplike nan ekri nan kòd la sous kap chèche yon konpwomi ant lizibilite nan kòd la, nan avantaj nan antretyen, ak efikasite nan enfòmatik an tèm de tan ekzekisyon ak konsomasyon resous ( memwa ak processeur). Selon meyè pratik, nou pral Se poutèt sa eseye elimine oswa evite redondants kòd ak kòd mouri otank posib.

Ekri

Icône loup mgx2.svg Menm sijè an detay: Pwogramasyon (syans enfòmatik) .
Egzanp kòd sous nan Piton . Mete aksan sou sèten moso kòd se yon zouti komen nan mitan pwogramasyon yo navige kòd la. Vizib tou se endiksyon , estrikti kondisyonèl ak iteratif .

Ekri nan kòd sous la sipoze rezolisyon an (en oswa an menm tan) nan pwoblèm inisyal la yo dwe rezoud ak otomatik nan fòm lan nan yon algorithm solisyon (pètèt lè l sèvi avèk yon tablo koule oswa yon pseudolanguage ), nan ki faz nan ekri kòd reprezante faz aplikasyon an (pwogramasyon) pa yon pwogramè lè l sèvi avèk yon editè tèks (souvan enkli nan yon anviwònman devlopman entegre ) ki respekte leksik la ak sentaks nan lang nan pwogram patikilye chwazi / itilize.

Pwogramè a ki gen eksperyans souvan sote faz nan devlopman an tèm de algorithm ak ale dirèkteman nan faz nan pwochen panse dirèkteman solisyon an algorithmik nan pwoblèm yo bay la an tèm de langaj kodaj oswa langaj pwogramasyon oswa nan pseudocode.

Anplis de sa, anpil lang senplifye ak pi vit ekri nan kòd la bay yon seri de bibliyotèk lojisyèl ki pèmèt ou sonje deja ekri kòd ( Kòd reutilize ) nan fòm lan nan fonksyon itil ak renouvlab gwoupe nan sa yo rele API ( aplikasyon pwogram koòdone ) ke yo bay pwogramè a tou sou fòm dokiman. Pandan faz konpilasyon an, sa yo rele linker "lyen" pwogram ekri ak bibliyotèk yo rele yo. Souvan se kodaj la lè l sèvi avèk yon twous devlopman lojisyèl (sdk) ak pi epè pase yon IDE ki li posib kwòk devlopman nan lojisyèl platfòm ki gen ladan sdk la.

Tipikman, ekri kòd se yon pati nan faz nan devlopman tout antye ( konsepsyon , aplikasyon ak tès ) nan lojisyèl an , jere nan tout aspè li yo nan konesans nan jeni lojisyèl pa yon ekip nan devlopè. Ekri nan kòd la vin anvan analiz la nan kondisyon yo ki ak estriktire nan lojisyèl an nan modil , pandan y ap faz debogaj la swiv, sa vle di idantifikasyon an ak rezolisyon nan nenpòt ki ensèk nan kòd nan tèt li (egzanp atravè debogaj ) dapre règleman yo nan sentaks la. ak nan semantik la nan lang lan ak korespondans aktyèl la nan espesifikasyon inisyal yo mande yo ( tès ).

Nan kontèks la nan devlopman lojisyèl, kòd la sous nan yon pwogram ak konpleksite li yo evalye an tèm de liy nan kòd pwodwi oswa yo dwe pwodwi, pandan y ap tan yo pwodiksyon nan moun-ane nan ipotèz la piman indicative-konparatif nan yon pwomotè sèl.

Estanda

Icône loup mgx2.svg Menm sijè an detay: Pi bon pratik .

Nan ekri kòd la, amelyore lizibilite ak entèlijans nan kòd sous la an favè moun ki pa ekri kòd la ak favè nenpòt debogaj , li se bon pratik kòm règ style :

  • mete aksan sou pati nan kòd, lè l sèvi avèk fonse oswa koulè, yon operasyon tipikman fèt pa default pa editè a tèks nan kòd la sous;
  • indentation nan kòd la en ak nivo apwopriye nan tabulation (indentation) divès pati nan kòd nan tèt li;
  • mete kòmantè oswa liy tèks ki pa fè pati kòd la tèt li (sètadi nan algorithm solisyon an kode nan langaj pwogramasyon), men ki fè kòmantè sou siyifikasyon / fonksyonalite li omwen nan etap debaz li yo. Sentaks ki kòrèk la pou mete kòmantè (makè kòmantè) tipikman varye de langaj pwogram nan yon lòt ak posibilite pou mete kòmantè sou youn oswa plis liy.

Erè

Icône loup mgx2.svg Sijè a menm an detay: Pinèz (syans enfòmatik) ak debogaj .
Egzanp kòd sous ekri nan C ++

Nan fen redaksyon an nan kòd la, pwogramè a pote soti yon premye faz tès pa evalye si pwodiksyon an pwogram se jan sa espere pa konpile / entèprete ak egzekite kòd la. Pandan devlopman ak ekzekisyon yon kòd sous, sa yo rele "erè pwogramasyon" ka rive ki ka esansyèlman divize an twa kategori prensipal: erè sentaks, erè lojik ak erè ègzekutabl .

Remak

  1. ^ Marisa Addomine, Daniele Pons, Glossary ( PDF ), nan Syans enfòmatik , Zanichelli, p. 19.

Atik ki gen rapò

Lòt pwojè

Lyen ekstèn

Otorite kontwòl Thesaurus BNCF 11123 · LCCN (EN) sh90003519 · GND (DE) 4488209-9 · BNF (FR) cb15918046v (dat)
Enfòmatik IT Portal : aksè antre Wikipedia ki gen rapò ak IT