Ақылды келісімшартқа тексерілген есептегіш дерегі жеткізіледі. Кодта энергия белгілі шекке жетсе, белгіленген төлем әрекеті орындалсын деп жазылған. Қай ерекшелік сипатталған?

Ереже: Ақылды келісімшарт — белгіленген логикамен орындалатын код. Сыртқы әлем деректері тиісті дерек көзі немесе жеткізу тетігі арқылы беріледі.

Қолдану: Мысалда есептегіш дерегі кодқа жеткізілген және шекке қатысты ереже анықталған. Сондықтан шарт орындалғанда әрекетті автоматтандыру көрінеді. Код сыртқы температураны не энергия мөлшерін өздігінен міндетті түрде біле алмайды; берілген деректің сапасы маңызды. Логикада қате болуы мүмкін, сондықтан оны тексеру қажет. Автоматты орындалу әрекеттің заңдық не экономикалық орындылығын өздігінен дәлелдемейді. Бұл сұрақ сол мәселелерді шешуді емес, программалық шарт пен әрекеттің байланысын тануды сұрайды. Шарт орындалмаса не болатыны кодпен анықталады; кез келген жағдайда төлем жасалады деп ойдан қосылмайды. Дерек жеткізу мен кодты орындау бөлек рөлдер.

Қате нұсқаларды ажырату: Бәрін өздігінен білу, қатесіз код және дерексіз жұмыс туралы кепілдер негізсіз. Шартсыз төлем берілген ережеге қайшы. Кодтың шартты автоматтандыру қызметін сыртқы деректің дұрыстығынан ажыратыңыз.

Қайта орындауға ишара: Код қандай кіріс дерекпен қандай шартты тексеріп, қандай әрекет жасайды?