Kako testirati kod koji koristi funkcionalne leće?

Kôd za testiranje koji koristi funkcionalne leće može biti izazovan, ali nagrađujući nastojanje. Kao dobavljač funkcionalnih sočiva, imao sam priliku duboko uhvatiti u ovu temu i razumjeti nijanse koje su uključene. U ovom blogu podijelit ću neke uvide o efikasnom testičnom kodu koji koristi funkcionalne leće, zajedno sa stvarnim - svjetskim primjerima i najboljim praksama.

Razumijevanje funkcionalnih sočiva

Prije nego što skočimo na testiranje, ključno je imati čvrsto razumijevanje onoga što su funkcionalne leće. Funkcionalne sočive su moćan koncept u funkcionalnom programiranju. Omogućuju način da pristupe i modificiraju dijelove strukture podataka na nepromjenjivi i kompjumni način.

Pogledajmo jednostavan primjer na programskom jeziku poput Haskell-a. Pretpostavimo da imamo strukturu podataka koja predstavlja korisniku:

Korisnik podataka = korisnik {korisničko ime :: string, karakteristike :: int, usedddress :: Adresa} Adresa podataka = Adresa {adresaret :: string, adresa :: string}

Objektiv nam omogućava pristup i ažuriranjeKorisničko imeiliAdresaCityBez da morate pisati eksplicitne funkcije pristupačnika i mutatora za svaki dio strukture podataka. U Haskelu možemo koristitiobjektivBiblioteka za stvaranje sočiva:

Usernamelens :: Objektiv Korisnički string Usernamelens = Objektiv (\ UN -> U {korisnički) = n}) AdresaCitylens :: Objektiv Adresa StringCityLens = adresa sočiva (\ AC -> A {AdresaCity = C})

Te se leće tada mogu koristiti za dobivanje i postavljanje vrijednosti na funkcionalan način.

Zašto je testiranje važno

Kod testiranja koji koristi funkcionalne leće od suštinskog je značaja iz nekoliko razloga. Prvo, funkcionalne leće često se bave složenim strukturama podataka. Mala greška u definiciji objektiva ili upotrebe može dovesti do teških problema - za - ispravljanje pogrešaka. Na primjer, ako je objektiv pogrešno definiran da biste ažurirali polje u strukturi podataka, čini se da u nekim slučajevima može dobro funkcionirati, ali ne uspijevaju u drugima.

Drugo, kao što su funkcionalne leće dizajnirane da budu sačuvane, buba u jednom objektivu može se propagirati kroz više dijelova koda. Ispitivanje pomaže u izolaciji ovih pitanja rano u razvojnom ciklusu.

Funkcionalne leće za ispitivanje jedinice

Testiranje jedinice je prva linija odbrane kada je u pitanju testiranje kodeksa koji koristi funkcionalne leće. Cilj jediničnog testiranja je testiranje pojedinačnih sočiva u izolaciji.

Ispitivanje sočiva

Prvi aspekt za testiranje je objektiv Getter. S obzirom na sočivo, želimo osigurati da pravilno dohvaća vrijednost iz strukture podataka. Evo primjera u JavaScript-u koristećiramBiblioteka koja pruža funkcionalnost sočiva:

Const R = zahtijevati ('Ramda'); Const Korisnik = {Ime: 'John', Starost: 30, Adresa: {Street: '123 Main St', Grad: 'New York'}}; Const Namelens = R.LENSPROP ('Ime'); Const Citylens = R.LENSSPATH (['Adresa', 'Grad']); // testirajte ime naziv Getter Const GetName = R.View (namelens); konzola.Sert (getName (korisnik) === 'John', 'Objektiv imena treba vratiti ispravno ime'); // test Gradski objektiv Getter ConstCity = R.VIEW (Citylens); konzola.Sert (GetCity (korisnik) === 'New York', 'Gradski objektiv treba vratiti ispravan grad');

U ovom primjeru koristimopogledfunkcija odramda biste dobili vrijednost iz objektiva. Zatim koristimokonzola.SertDa biste potvrdili da je dohvaćena vrijednost tačna.

Ispitivanje objektiva

Nakon testiranja Centetera, moramo testirati nastavke objektiva. Setter bi trebao pravilno ažurirati strukturu podataka, zadržavajući nepromjenjivu netaknutu.

Const SetName = R.Set (Namelens, 'Jane'); Const Njuuser = Ime naziv (korisnik); konzola.assert (Njuuser.Name === 'Jane', 'Setter Odu Leces treba ažurirati ime'); konzola.assert (User.Name === 'John', 'originalni korisnički objekt trebao bi ostati nepromijenjen'); Const SetCity = R.Set (Citylens, 'Los Angeles'); Const newnewuser = SetCity (korisnik); konzola.assert (još uvijek nowuser.address.city === 'Los Angeles', 'Gradski set objektiv trebao bi ažurirati grad'); konzola.assert (user.address.city === 'New York', 'originalni korisnički objekt trebao bi ostati nepromijenjen');

Evo, koristimosetfunkcija odramda biste ažurirali vrijednost u strukturi podataka. Zatim potvrđujemo da ažurirani objekt ima novu vrijednost i izvorni objekt ostaje nepromijenjen.

Ispitivanje integracije

Jedinica je izvrsna za testiranje pojedinačnih sočiva, ali u stvarnom - svjetskom scenariju, leće se često koriste u kombinaciji s drugim dijelovima koda. Ispitivanje integracije pomaže u osiguravanju da leće pravilno rade u kontekstu cijele aplikacije.

Ispitivanje sastava sočiva

Jedna od ključnih karakteristika funkcionalnih sočiva je sastav. Možemo kombinirati više sočiva za pristup i modificiranje ugniježđenih dijelova strukture podataka. Na primjer, u Haskelu možemo sastavitiUsernamelensiAdresaCitylensza pristup i modificiranje grada korisničke adrese.

UseraddressCitylens :: Korisnički string korisnika: AdresaCitylens gdje su userAddrerslens = objektiv UsersAddress (\ ua -> u {usedddress = a})

Za testiranje sastava sočiva, moramo osigurati da se sastavljena sočiva ponaša kako se očekuje. Možemo pisati testove integracije koji koriste sastavljenu sočivu za dobivanje i postavljanje vrijednosti u složenu strukturu podataka.

Ispitivanje sa stvarnim - svjetskim podacima

Pored testiranja sastava sočiva, testiranje integracije također bi trebalo uključivati ​​korištenje stvarnih - svjetskih podataka. Na primjer, ako se naša aplikacija bavi korisničkim podacima iz baze podataka, možemo koristiti uzorke podataka iz baze podataka za testiranje sočiva. To pomaže u prepoznavanju bilo kakvih pitanja koja bi mogla nastati zbog stvarnog formata ili vrijednosti podataka.

Ispitivanje sa različitim implementacijama objektiva

Na raspolaganju su više biblioteka za implementaciju funkcionalnih sočiva na različitim programskim jezicima. Kao funkcionalni dobavljač objektiva moramo osigurati da naš kod dobro funkcionira s različitim implementacijama objektiva.

Upoređivanje performansi

Različite implementacije sočiva mogu imati različite karakteristike performansi. Na primjer, neke leće bi mogle biti više memorije - efikasno, dok bi drugi mogli biti brži u smislu izvršenja. Ispitivanja izvedbe možemo napisati kako bismo usporedili različite implementacije objektiva i odabiru onu koja najbolje odgovara zahtjevima naše aplikacije.

Ispitivanje kompatibilnosti

Također trebamo testirati kompatibilnost našeg koda sa različitim implementacijama objektiva. Na primjer, ako imamo pisani kôd pomoću određene biblioteke objektiva na određenom programskom jeziku, trebali bismo testirati ako se isti kôd može lako prenijeti da bi se koristila drugačija biblioteka sočiva.

Alati za testiranje funkcionalnih sočiva

Na raspolaganju je nekoliko alata koji mogu pomoći u testiranju koda koji koristi funkcionalne leće.

Okviri za testiranje

Na većini programskih jezika postoje okviri za testiranje koji se mogu koristiti za pisanje testova jedinice i integracije. Na primjer, u JavaScript-u možemo koristitiJeiliMochaza testiranje. Ovi okviri pružaju karakteristike poput test trkača, biblioteke tvrdnje i organizaciju testiranja.

Alati za uklanjanje pogrešaka

Alati za uklanjanje pogrešaka takođe mogu biti vrlo korisni prilikom testiranja funkcionalnih sočiva. Na primjer, u Haskelu, theGhciDebugger se može koristiti za korak kroz kôd i pregledati vrijednosti varijabli na različitim točkama u izvršavanju.

Real - Svetske aplikacije i naše funkcionalne leće

Kao funkcionalni dobavljač objektiva nudimo širok spektar proizvoda koji se mogu koristiti u raznim stvarnoj - svjetskim aplikacijama. NašProgresivni polu gotov objektivDizajniran je za pružanje bešavne tranzicije između različitih žarišnih duljina, što ga čini idealnim za korisnike koji trebaju prebaciti između blizu i dalekog vida.

NašLentikularna otopina sočivakoristi se u aplikacijama u kojima je potreban 3D efekat ili višestruki uglovi za gledanje. Može se koristiti u reklamnim zaslonima, obrazovnim materijalima i još mnogo toga.

TheRješenje Sports SV objektivaposebno je dizajniran za ljubitelje sporta. Pruža izvrsnu jasnoću i zaštitu, čineći ga pogodnim za razne sportske aktivnosti.

Zaključak i poziv na akciju

Kod testiranja koji koristi funkcionalne leće je multi - faulirani proces koji uključuje testiranje jedinice, testiranje integracije i testiranje s različitim implementacijama objektiva. Slijedeći najbolje prakse prikazane u ovom blogu, možete osigurati da je vaš kod robustan i pouzdan.

Ako ste zainteresirani za učenje više o našim funkcionalnim sočivima ili imate bilo kakvih pitanja u vezi s testirnim kodom koji koristi funkcionalne leće, voljeli bismo čuti od vas. Slobodno posegnuti za nama za više informacija i započeti raspravu o nabavci.

Reference

• Ramda dokumentacija: https://ramdajs.com/docs/
• Haskell Linerska biblioteka dokumentacija: https://hackage.haskell.org/package/lens
• Jest dokumentacija: https://jestjs.io/docs/en/getting - započet
• Mocha dokumentacija: https://mochajs.org/