V.Tihonov. Teoriya oshibok
Oshibki tak zhe neischerpaemy, kak i atom.
Aksioma. V lyuboj programme est' oshibki.
Zakon proporcional'nosti. CHem bolee programma neobhodima, tem
bol'she v nej oshibok.
Sledstvie. Oshibok ne soderzhit lish' sovershenno nenuzhnaya program-
ma.
Fundamental'nyj zakon teorii oshibok. Na oshibkah uchatsya.
Sledstvie 1. Programmist, napisavshij programmu, stanovitsya uche-
nym.
Sledstvie 2. CHem bol'she programmist delaet oshibok, tem bystree
on delaetsya uchenym.
Sledstvie 3. Krupnyj uchenyj-programmist nikogda ne pishet pra-
vil'nye programmy.
Zamechanie. Na to on i uchenyj.
Ukazanie nachinayushchemu programmistu. Esli vy s pervogo raza sume-
li napisat' programmu, v kotoroj translyator ne obnaruzhil ni od-
noj oshibki, soobshchite ob etom sistemnomu programmistu. On ispra-
vit oshibki v translyatore.
Zakon neobhodimosti oshibok. Programmist mozhet obnaruzhit' oshibku
tol'ko v chuzhoj programme.
Sledstvie. Oshibke ne vse ravno, kto ee obnaruzhit.
Sovet nachinayushchemu programmistu. Nikogda ne ispravlyajte najden-
nye oshibki, ibo eto povlechet za soboj poyavlenie neizvestnogo
chisla nenajdennyh. Luchshe opishite ih v soprovoditel'noj dokumen-
tacii kak osobennost' programmy.
Opredelenie. Budem nazyvat' yazykom oshibok pravila, v obhod ko-
toryh pishutsya programmy.
メルルルルルルルルルルルモ
リYAzyk oshibokリ
ャルルルルルルルルルルルヤ
Oshibki mogut sledovat' drug za drugom.
Ot perestanovki dvuh ekvivalentnyh oshibok rezul'tat ne menyaetsya
(kommutativnost' ekvivalentnyh oshibok ).
Dve posledovatel'nye oshibki mozhno obｮedinit' v odnu, bolee
sil'nuyu.
Odinakovye oshibki neobyazatel'no delat' kazhdyj raz, dostatochno
sdelat' odnu, a zatem obrashat'sya k nej po mere neobhodimosti iz
lyubogo mesta programmy.
Oshibki mogut obrazovyvat' cikly. Naibolee ustojchivyj iz nih -
beskonechnyj.
Oshibki mogut vyzyvat' drug druga i sami sebya (rekursivnost'
oshibok).
Oshibki dopuskayut mnogokratnoe vlozhenie drug v druga. Dve odina-
kovye vlozhennye oshibki nazyvayutsya chetnoj oshibkoj i oshibkoj ne
yavlyayutsya.
Svojstvo chetnosti oshibok. Esli napisannaya programma srabotala
pravil'no, to eto znachit, chto vo vremya ee raboty vypolnilos'
chetnoe chislo oshibok ili programmist ne ponyal zadanie.
Formulirovka vysheprivedennogo svojstva, prednaznachennaya dlya po-
litikov. Oshibka, povtorennaya dvazhdy, perestaet byt' oshibkoj.
メルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルモ
リVzaimodejstvie oshibok s bazovoj operacionnoj sistemoj.リ
ャルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルルヤ
Vo vremya ispolneniya oshibki imeyut naivysshij prioritet. Prervat'
ispolnenie oshibki mozhet tol'ko drugaya, bolee aktivnaya oshibka.
Zaprosy operacionnoj sistemy k oshibkam oshibkami mogut ignoriro-
vat'sya.
Zaprosy oshibok k operacionnoj sisteme ignorirovat'sya ne mogut.
Pri rabote s fajlami oshibki mogut pol'zovat'sya fajlovoj siste-
moj bazovoj OS i ee oshibkami.
Na |VM s parallel'noj arhitekturoj mozhet vypolnyat'sya neskol'ko
oshibok odnovremenno.
メルルルルルルルルルルルルルルルルルルルモ
リSistemnye programmyリ
ャルルルルルルルルルルルルルルルルルルルヤ
Sistemnye programmy oblegchayut process napisaniya prikladnyh
programm i ih oshibok.
Opredelenie. Testirovanie - eto process nahozhdeniya oshibok v
teste. Horoshij test dolzhen soderzhat' oshibki, kompensiruyushchie ih
nehvatku v testiruemoj programme.
YAzykovyj redaktor, prizvannyj uberech' programmista ot sintaksi-
cheskih oshibok, pozvolyaet vnosit' v programmu ves'ma hitroumnye
oshibki, kotorye ne udaetsya obnaruzhit' ni translyatorom, ni ot-
ladchikom. Obychnyj tekstovyj redaktor takih vozmozhnostej ne pre-
dostavlyaet.
Programma-translyator, prednaznachennaya dlya perevoda programm s
yazyka vysokogo urovnya na mashinnyj yazyk, pri perevode porozhdaet
oshibki. Oshibki, kotorye soderzhalis' v ishodnom opisanii, pere-
vodyatsya bezoshibochno.
Zaklyuchitel'nyj sovet tem, kto do nego dobralsya. Do nachala rabo-
ty nad proektom sleduet tshchatel'no produmat' vse neobhodimye
oshibki i svyazi mezhdu nimi. |to znachitel'no uprostit rabotu nad
oshibkami v samom proekte.
Last-modified: Thu, 12 Feb 1998 07:58:43 GMT