"aserce"@cs . . "1220461"^^ . "Aserce jsou v programov\u00E1n\u00ED predik\u00E1ty, o nich\u017E se v\u00FDvoj\u00E1\u0159 domn\u00EDv\u00E1, \u017Ee budou na dan\u00E9m m\u00EDst\u011B v\u017Edy pravdiv\u00E9, nap\u0159\u00EDklad p\u0159edpokl\u00E1dan\u00E9 hodnoty invariant\u016F. Informace o t\u011Bchto p\u0159edpokladech m\u016F\u017Ee program\u00E1tor um\u00EDstit do koment\u00E1\u0159e, ale b\u011B\u017En\u00E9 je tak\u00E9 zahrnout do programu testy, kter\u00E9 bu\u010F p\u0159i p\u0159ekladu, nebo i p\u0159i b\u011Bhu programu spln\u011Bn\u00ED p\u0159edpokl\u00E1dan\u00FDch podm\u00EDnek kontroluj\u00ED.Nejedn\u00E1 se o o\u0161et\u0159en\u00ED o\u010Dek\u00E1van\u00FDch chybn\u00FDch stav\u016F, nap\u0159\u00EDklad \u0161patn\u00E9ho vstupu od u\u017Eivatele. Jedn\u00E1 se pouze o detekci stav\u016F, kter\u00E9 by nem\u011Bly v r\u00E1mci programu nastat za \u017E\u00E1dn\u00FDch okolnost\u00ED.\u0158ada programovac\u00EDch jazyk\u016F pro takov\u00E9 kontroly nab\u00EDz\u00ED ur\u010Ditou podporu, kter\u00E1 aserc\u00EDm z\u00E1rove\u0148 d\u00E1v\u00E1 standardizovanou podobu. Tak\u00E9 je \u010Dasto mo\u017En\u00E9 takto standardizovan\u00E9 aserce snadno zapnout \u010Di vypnout, nap\u0159\u00EDklad aby nezpomalovaly b\u011Bh programu, kdy\u017E u\u017E je pova\u017Eov\u00E1n za odlad\u011Bn\u00FD. Na druhou stranu, p\u0159\u00EDtomnost aserce m\u016F\u017Ee p\u0159eklada\u010Di vymezit n\u011Bkter\u00E9 stavy jako nemo\u017En\u00E9 a t\u00EDm p\u0159isp\u011Bt k optimalizaci."@cs . "8"^^ . . "Aserce"@cs . . "13994260"^^ . . . "Aserce jsou v programov\u00E1n\u00ED predik\u00E1ty, o nich\u017E se v\u00FDvoj\u00E1\u0159 domn\u00EDv\u00E1, \u017Ee budou na dan\u00E9m m\u00EDst\u011B v\u017Edy pravdiv\u00E9, nap\u0159\u00EDklad p\u0159edpokl\u00E1dan\u00E9 hodnoty invariant\u016F. Informace o t\u011Bchto p\u0159edpokladech m\u016F\u017Ee program\u00E1tor um\u00EDstit do koment\u00E1\u0159e, ale b\u011B\u017En\u00E9 je tak\u00E9 zahrnout do programu testy, kter\u00E9 bu\u010F p\u0159i p\u0159ekladu, nebo i p\u0159i b\u011Bhu programu spln\u011Bn\u00ED p\u0159edpokl\u00E1dan\u00FDch podm\u00EDnek kontroluj\u00ED.Nejedn\u00E1 se o o\u0161et\u0159en\u00ED o\u010Dek\u00E1van\u00FDch chybn\u00FDch stav\u016F, nap\u0159\u00EDklad \u0161patn\u00E9ho vstupu od u\u017Eivatele."@cs . "1134"^^ . . . "Aserce"@cs . . . . .