Բաց արտեֆակտներ

Ինչ է կառուցում լաբորատորիան

Չափիչ լաբորատորիան, որը միայն չափում է, դժվար է ստուգել։ Այստեղ այն արտեֆակտներն են, որոնք լաբորատորիան հրապարակում է բացորոշ՝ մոդելներ, ուսուցողական դատասեթ, harness և ապացույցների արխիվ; ամեն մեկը թույլատրող լիցենզիայով, ամեն մեկը լուծում է խնդիր, որին լաբորատորիան բախվել է իր իսկ աշխատանքում։ Արտադրողականության ցուցանիշներ այստեղ չկան. չափված թվերն ապրում են claim-երի ռեեստրում։

Արտեֆակտը նկարագրող թվերը (պարամետրերի քանակ, էմբեդինգի չափ, դատասեթի ծավալ) հենց արտեֆակտի հատկություններն են՝ ստուգելի իր էջում։ Այն ամենը, թե որքան արագ կամ որքան լավ է աշխատում համակարգը, չափվում է և ապրում իր ապացույցների հետ claim-երի ռեեստրում.