Rau kev suav nrog hauv Linux ntsiav 5.20 (tej zaum cov ceg yuav raug suav nrog 6.0), ib txheej ntawm thaj ua rau thaj tau thov nrog kev siv ntawm RV (Runtime Verification) mechanism, uas muab cov cuab yeej rau kev tshuaj xyuas qhov kev ua haujlwm raug ntawm cov kab ke txhim khu kev qha uas lav qhov tsis muaj kev ua tsis tiav. Kev pov thawj yog ua tiav ntawm lub sijhawm ua haujlwm los ntawm kev txuas cov neeg ua haujlwm rau cov ntsiab lus uas tshawb xyuas qhov kev ua tiav ntawm kev ua tiav tawm tsam qhov kev txiav txim siab ua ntej siv tus qauv ntawm automaton uas txhais cov kev xav tau ntawm lub kaw lus.
Cov ntaub ntawv los ntawm cov ntsiab lus taug qab txav tus qauv los ntawm ib lub xeev mus rau lwm qhov, thiab yog tias lub xeev tshiab tsis haum rau cov qauv ntawm cov qauv, cov lus ceeb toom raug tsim los yog cov ntsiav tau muab tso rau hauv lub xeev "kev ntshai" (kev ntseeg siab yuav tsum kuaj pom. thiab teb rau cov xwm txheej zoo li no). Tus qauv automaton, uas txhais cov kev hloov pauv ntawm ib lub xeev mus rau lwm qhov, raug xa tawm mus rau "dot" hom (graphviz), tom qab uas nws tau muab txhais siv dot2c utility rau hauv C sawv cev, uas yog loaded nyob rau hauv daim ntawv ntawm ib tug kernel module uas. taug qab qhov sib txawv ntawm qhov kev ua tiav los ntawm tus qauv ua ntej.
Kev kuaj xyuas lub sij hawm ua qauv yog positioned raws li ib tug sib sib zog nqus-yuag thiab yooj yim-rau-ua txoj kev ntawm kev txheeb xyuas qhov tseeb ua rau lub hom phiaj tseem ceeb systems, complementing classical reliability verification txoj kev xws li cov qauv kuaj thiab lej cov ntaub ntawv pov thawj ntawm cov cai raws li specifications muab nyob rau hauv ib tug formal. lus. Ntawm qhov zoo ntawm RV yog lub peev xwm los muab kev txheeb xyuas nruj yam tsis muaj kev sib cais ntawm tag nrho cov txheej txheem hauv cov qauv qauv, nrog rau cov lus teb hloov tau yooj yim rau cov xwm txheej tsis tau pom dua, piv txwv li, txhawm rau thaiv qhov kev nthuav tawm ntxiv ntawm kev ua tsis tiav hauv cov txheej txheem tseem ceeb.
Tau qhov twg los: opennet.ru