Ақша сомасы: 0
Өтінімдер саны: 0
18.12.25 (қоса алғанда)
ақшалай
MVP
Акт міндеттері
Медиасфера
IT
Мобильді қосымша
Ескі нұсқаны P_old, жаңа P_new деп белгілейік. "Сценарий" деп қосымшаға кіретін e,, e₂, ... оқиғаларының (тачи, push хабарландырулары, желінің өзгеруі және т.б.) ақырғы немесе шексіз тізбегін түсінеміз. Ресми түрде бұл x кіріс ағыны. RegDiff(P_old, P_new) алгоритмі қажет, егер X болса, шындықты қайтарады, мысалы, p_old(X) және P_new(X) бақыланатын мінез‑құлқы алдын-ала анықталған инварианттардың кез-келгенімен ерекшеленеді; және егер бірде-бір X үшін ешқандай айырмашылық болмаса, жалған. Тапсырма екі бағдарламаның қоршаған ортамен өзара әрекеттесуін ескере отырып, олардың эквиваленттілігін тексерумен бірдей. Жалпы типтегі бағдарламалардың эквиваленттілігі шешілмейтін міндет болып табылады, бұл әмбебап RegDiff құруды мүмкін емес етеді
Қосымшаның екі нұсқасы бойынша кем дегенде бір проблемалық сценарий бар-жоғына қатаң жауап бере алатын "регрессия оракулы" идеясы жалпы жағдайда орындалмайды. Ішінара шешімдер жасауға болады: * модельге негізделген сценарийлерді құру (модель-негізді тестілеу); * fuzzing UI-және оқиғалар; * жеке модульдерді property-based тестілеу. Бірақ ерікті бағдарламалар мен сценарийлер үшін қатаң кепілдіктері бар әмбебап RegDiff теориялық тұрғыдан алгоритмдік шешімі жоқ мәселенің тағы бір мысалы болып табылады.
Сергеев И. А.
Тапсырманың (жобаның) мақсаты мен сипаттамасы
Тапсырыс беруші жалпы бизнес‑логика коды бар бірнеше мобильді қосымшаларды қолдайды (Kotlin multiplatform + go-backend). Әр шығарылымнан кейін QA командасы регрессиялық тестілеуге бірнеше апта жұмсайды. Сұраққа бірнеше нұсқада (ескі және жаңа) автоматты түрде жауап беретін құралды әзірлеу ұсынылды: "Жаңа нұсқасы декларацияланған инварианттар бөлігінде ескіге қарағанда басқаша әрекет ететін кем дегенде бір пайдалану сценарийі (пайдаланушы әрекеттерінің реттілігі, фондық оқиғалар, желінің кешігуі және т. б.) бар ма?» Маңызды: құрал **қатаң** жауап беруі керек (иә/жоқ), ықтималдық болжамдары жоқ.
Whatsapp
