Razrabotka sowremennogo programmnogo obespecheniq ¿ slozhnaq zadacha, trebuüschaq bol'shih wlozhenij material'nyh i wremennyh resursow. Pri ätom chasto trebuetsq optimal'nost' po takim kriteriqm, kak proizwoditel'nost', ob#öm zanimaemoj pamqti, i änergopotreblenie. Dlq uwelicheniq wozmozhnostej po tonkoj optimizacii programmnogo obespecheniq dlq rabochih stancij i superkomp'üterow neobhodima formalizaciq poiskowoj oblasti. S pomosch'ü postroeniq modeli proizwoditel'nosti programm wozmozhno dostich' luchshego ponimaniq wozdejstwiq optimizacij kompilqtora na interesuüschie razrabotchika kriterii äffektiwnosti programmy. Takim obrazom mozhno sdelat' poisk optimal'nyh nastroek bolee naprawlennym i lokalizowannym, sokraschaq cikl razrabotki matematicheskogo obespecheniq, stoimost' razrabotki i podderzhki. Dannaq rabota opisywaet razrabotku sistemy sbora, sistematizacii, formalizacii dannyh o proizwoditel'nosti kompiliruemyh programm w zawisimosti ot nastroek kompilqtora i programmno-apparatnoj platformy. Opisywaemaq sistema takzhe wypolnqet modelirowanie i predskazanie äffektiwnosti programm.