Klávesové zkratky na tomto webu - základní­
Přeskočit hlavičku portálu


Revoluce pro programátory, nebo otravná funkce? Facebook ukázal SapFix

  13:26aktualizováno  13:26
Facebook představil nástroj, který využívá prvky strojového učení k tomu, aby usnadnil práci programátorům. Konkrétně jim SapFix umožní odhalit chyby ve zdrojovém kódu a dokonce navrhne, jak je opravit.

Facebook (ilustrační foto) | foto: Fotomontáž Tomáš Hegedüš

Podobně jako při psaní textu na mobilu využívá řada lidí prediktivní klávesnici, využívá řada programátorů editory (tzv. IDE), které jim umožňují automatické doplňování psaného kódu, například výběrem ze seznamu dostupných funkcí nebo již existujících proměnných. Většina programátorů má podobné pomůcky ráda, ale konkrétní nastavení a míra využití bývají celkem idividuální.

Ale nový nástroj od Facebooku, prezentovaný pod názvem SapFix, jde mnohem dále. Ve spolupráci s vývojářským testovacím nástrojem Sapienz (který FB představil již v květnu) umí SapFix detekovat místa v kódu, která způsobují pády programu či jiné problémy. Následně SapFix hledá, zda byla tato chyba způsobená nějakou nedávnou záplatou, a pokud ano, zda by částečné odstranění této záplaty fungovalo.

Jak funguje SapFix: odhalení bugu, automatická tvorba záplaty, různé možnosti...

Jak funguje SapFix: odhalení bugu, automatická tvorba záplaty, různé možnosti opravy, ověření funkčnosti opravy

Plně automatický debugging a lidské schválení

SapFix pak vygeneruje několik možných záplat a rovnou otestuje, zda tyto záplaty fungují. Projde záplata kompilátorem? Spraví tuto chybu? Nezpůsobí nové chyby? Záplatu pak ještě musí schválit člověk, který má však údajně od SapFixu prakticky vše připraveno k „podpisu“.

Tento nástroj již Facebook používá interně. „Pokud víme, je to poprvé, co strojově vytvořená záplata, včetně automatického testování a implementace, byla uplatněna na tak velkém projektu, jakým je Facebook,“ uvedli vývojáři SapFix. Nástroj je zatím ve fázi testování, ale Facebook slibuje, že bude k dispozici pod open-source licencí.

Autor:


Nejčtenější

Vyřešil jsem nejslavnější záhadu, tvrdí devadesátiletý britský matematik

Britský matematik Michael Atiyah (2018)

Britsko-libanonský matematik Michael Atiyah tvrdí, že našel důkaz jednoho z nejslavnějších nevyřešených matematických...

Zelená Sahara, o hodinu delší den a rozpad Afriky. Co čeká naši planetu?

Budoucnost

Na základě současných poznatků dokážou vědci odhadnout, co se stane v daleké budoucnosti. Připravili jsme pro vás výběr...



Lákavá návnada. Jak se ruská agentka přibližovala k Trumpovi

Marija Butinová (19. 7. 2018)

Vyšetřování vlivu Moskvy na poslední americké volby se dostalo k zajímavému odhalení. Ruská agentka se podle něj...

Pohozeni v jednom hrobě. Po 400 letech vracíme dívce a chlapci tvář

Odhalení podoby dvou chlapců a devčete

Na začátku byla náhoda. Stavba rodinného bazénu u domku v Táboře odhalila kosterní pozůstatky tří lidí. V těchto dnech,...

Po 50 letech se poletí k Měsíci, vesmírným turistou bude japonský miliardář

Prvním vesmírným turistou, který se vydá na oběžnou dráhu kolem Měsíce, bude...

Prvním vesmírným turistou, který se vydá na oběžnou dráhu kolem Měsíce, bude japonský miliardář Júsaku Maezawa....

Další z rubriky

Komu byste měli dát svůj hlas? Poradí redaktoři Technet.cz

Fotky z roku 2013 (kdy jsme dostali Křišťálovou lupu za Stratocaching) už...

Také letos se nás imaginární čtenáři ptají, komu dát hlas v anketě Křišťálová lupa v kategorii Zájmové weby. Pokusíme...

Dodávky nejrychlejší Nvidie RTX 2080 Ti naberou zpoždění

Nová grafická karta Quadro RTX s jádrem Turing od Nvidie.

Zájemci o nejrychlejší a zároveň historicky nejdražší herní kartu od Nvidie asi budou muset patrně počkat o týden déle...

Český rozhlas slaví úspěch s první hrou živě vysílanou odrazem přes Měsíc

První živě vysílaná hra odrazem přes Měsíc. Ze Země na Měsíc od Julese Verna...

Stanice Český rozhlas Dvojka v neděli poprvé v historii vysílala odrazem o měsíční povrch. Rozhlasovou hru na motivy...

Rozdáváme 32 lahví z nové řady Canpol Babies. Přihlaste se o tu svoji
Rozdáváme 32 lahví z nové řady Canpol Babies. Přihlaste se o tu svoji

Soutěžte o dětskou lahvičku Canpol Babies. Je to snadné!

Najdete na iDNES.cz