Home >  Term: система за автоматична проверка
система за автоматична проверка

(1) Е софтуерен инструмент, който приема като входни компютърна програма и представяне на нейната спецификация и произвежда, евентуално с човешки помощта, доказателство или disproof от редовността на program.~(2) инструмент всеки софтуер, който автоматизира част или всички от процеса на проверка.

0 0

ผู้สร้าง

  • Borislaw
  • (Burgas, Bulgaria)

  •  (V.I.P) 56410 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.