S 6 Semantikkbasert kodesøk; EWSTranslate

Pozrite sa na dizajnové vzory pre programátory, ktoré nájdete v obchode so zelenými farbami pre rôzne aplikácie. Tradisjonelle kodesøkemotorer som Googles kodesøk, Koders eller Krugle gir tilgang til slike repositorier, men forkkler ikke programmererens jobb i å bruke koden. De tar nøkkelord og returnerer potensielt hundrevis av kandatstykker av kode. Programátori sú pripravení pre disertačné práce. De må da se om koden kan være relevantné. Hvis det er, må de les det i detalj for å avgjøre om det er akkurat det de vil ha eller i det minste i nærheten av det. Až kým nebudete mať k dispozícii zadný kryt pre oppfylle deres spesielle krav do navngivning, formationing, feilhåndtering atď.

blir deretter

Viac informácií na webe nájdete v programátoroch na programátoroch a informátoroch pre všetkých, ktorí sú v systéme, a sú informovaní o tom, že systém je v poriadku, ak je k dispozícii pre viac programov, om forvandle koden til å passe inn i målrammen. Ak si chcete pozrieť programátor, kliknite sem, aby ste zistili, do akej miery sa program zobrazuje. Zahŕňa to nový formulár vo forme podpisu, podpisu, testovacieho súboru a dodávateľa (prostredníctvom JML) pre funkčnú špecifikáciu, kompletnú sadu pokynov (pozri pomoc pre modely založené na prostredí Java) a sadu pokynov (v plnej implementácii). I tillegg kan brukeren gi en contexte inn i hvilken koden vil passe. Frontenden forsøker å gjøre disse spesifikasjonene enkle å gi.

Systémový fungerer pre Bruke Søkeordene pre predný a zadný kódový motor (eller en locale kode søkemotor for kode tilgjengelig na Brown), pre kandatfiler. Hver klasse eller metode i disse filene (avhengig av hva brukeren søker etter) regnes som en potensiell løsning. Disse løsningene blir deretter transformerted hjelp av et sett på rundt 30 transformasjerer et et forsøk på å kartlegge koden til näyaktig hva programmereren angav. Premeniť spenner z detskej nádoby (pre eksempel a end navnet na metoden pre a signaturen match) do komplekset (pre eksempel a finne en linje i metoden som beregner en verdi av den returnerte typen og deretter gjøre en bakoverskive do parametertyper). Všetky transformátory pre určité zdroje pre zodpovedajúce podpisy, test blir deretter a pomocné testovacie testovacie zariadenia, tester JML a regulátor JML. Ytterligere transformasjoner can påføres basert på Resultene fra test tilfellene. Løsningene som passerer testene blir formatert i henhold til brukerens spesifiserte stil, sortert etter størrelse, kompleksitet eller ytelse i testene, og presenteres tilbake til brukeren.

Systemet kan prøves ut (det town av tiden - noen ganger er serveren nede) på http://conifer.cs.brown.edu/s6 .

V prípade harfy S6 môžete použiť systémového sprievodcu pre jemnejšie brukergrensesnitt gitt en skisse av brukergrensesnittet og pre finne test tilfeller gitt kode som må testes.

papirer

Semantikkbasert kodesøk, ICSE 2009, máj 2009.

Hunter: Next Generator Code Gjenbruk pre Java a Yuepeng Want, Yu Feng, Ruben Martins, Arati Kaushik, Isil DIllig og Steven Reiss, FSE 2016.

Søker brukergrensesnittet od Stevena Reissa, Yun Miao a Qi Xin, Automated Software Engineering Journal, 2017.