бағдарламаларды тексеруді автоматтандыру

Ағылшыншасы : automation of program verification

бағдарламаларды тексеруді автоматтандыру

бағдарламаларды тексеруді автоматтандыру бағдарлама+лар+ды+тек+серу+ді+автомат+тан+дыру
корпустан іздеу

Анықтама

[өзгерту]
Бағдарламаларды тексеруді автоматтандыру - бұл бағдарламалық жасақтаманың дұрыстығын автоматты түрде тексеру процесі.