Бағдарламалық жасақтаманың негізгі теоремасы - Fundamental theorem of software engineering

The бағдарламалық жасақтаманың негізгі теоремасы (FTSE) туындаған термин Эндрю Кениг ескертпесін сипаттау Батлер Лэмпсон[1] кешке байланысты Дэвид Дж. Уилер:[2]

«Біз кез-келген мәселені қосымша деңгей енгізу арқылы шеше аламыз жанама."

Теорема дәлелдеуге болатын нақты теореманы сипаттамайды; керісінше, бұл күрделілікті басқарудың жалпы принципі абстракция.

Теорема көбінесе «... жанама деңгейлердің көптігінен басқа» әзіл-оспақты сөйлеммен кеңейеді, бұл абстракциялардың көптігі өзіндік ішкі күрделілік мәселелерін тудыруы мүмкін екендігіне сілтеме жасайды. Мысалы, протокол қабатын қолдану компьютерлік желілер, бүгінде барлық жерде кездесетін абстракцияның жалпы кемшіліктеріне тән тәсілдермен сынға алынды.[3] Мұнда қосымша жанама деңгейлердің қосылуы жоғары қабаттарға әкелуі мүмкін төменгі қабаттардың функционалдығын қайталау, тиімсіздікке әкелетін және бір қабаттағы функционалдылыққа басқа қабатта болатын мәліметтер қажет болуы мүмкін, бұл әртүрлі қабаттарға бөлу мақсатын түбегейлі бұзады.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Абрахамс және Гуртовой, С ++ шаблоны метапрограммалау, 2005, Аддисон Уэсли, б13.
  2. ^ http://bwlampson.site/Slides/TuringLecture.htm
  3. ^ Уакеман, Мен .; Кроукрофт, Дж .; Ванг, З .; Сировица, Д. (қаңтар 1992). «Қабаттар зиянды ма?». IEEE желісі: 20–24. дои:10.1109/65.120719.