Indus

"Indo yra pastanga pateikti kolekciją programa analizuoja ir įgyvendinti Java transformacijos pritaikyti ir prisitaikyti" Java "programas. Indo skirtas tarnauti kaip už skėtis:
* Statinio analizės metodai, tokie kaip taškai, analizės, pabėgti analizę ir priklausomybė analizes,
* transformacijos, pavyzdžiui, programos pjaustymas ir programos specializacijos ištraukos vertinimo ir
* Bet programinės įrangos modulis, kuris užtikrina analizių / transformacijas į tam tikrą programą, pavyzdžiui, Bandera ar platforma, pavyzdžiui, "Eclipse".
Šiuo metu yra 3 moduliai, kurie yra dalis Indus. Daugiau moduliai yra tikimasi, kad būti pridėta per laikui bėgant. Mes užtikrina tos kiekvieno modulio, kad yra prieinami, šiuo metu ketinimų apžvalga.
Indo yra modulis, namų įgyvendinimą, susijusią su algoritmų ir duomenų struktūrų, bendros analizės ir transformacijų, kurios yra arba planuojama, kad dalis Indus. Šis modulis yra sąsaja apibrėžimas bendri daugumai analizių ir transformacijų numatyti sistemą, kurioje įvairių diegimas analizių / transformacijos gali būti jungiamas siekiant suformuoti sistemas be vargo. Vadinasi, šis modulis yra atnaujinamas, kai naujos rūšies analizės / transformacijos yra įgyvendinama kaip Indo modulį. Tačiau naujasis įgyvendinimas analizės / transformacijos nepaveiks šį modulį, kaip ji įgyvendins esamą sąsaja.
StaticAnalyses modulis yra skirtas būti statinis kolekcija analizės metodai, tokie kaip objektas srautų analizę, pabėgti analizę ir priklausomybė analizes. Šio modulio analizė naudotis bendrus sąsajos ir diegimo iš Indo ir gali apibrėžti / suteikti naujų sąsajų / Specialiosios naujų analizių vykdymas. Esami tyrimai yra nurodyti žemiau.
* Objekto srauto analizė (OFA) yra taškų, iki analizė Java. Kiekvienas paskirstymo svetainė nagrinėjamą sistemą traktuojamas kaip abstraktų objektą ir jo srautas per sistemą yra stebimi daryti išvadą dėl galimo tipai žinutę imtuvą skambučių svetainėje, kad būtų galima tiksliai skambučių diagramoje statybą. Analizės tikslumas gali būti keičiamas atsižvelgiant į srauto jautrumo už metodas vietinių kintamųjų ir Object-jautrumo Pavyzdžiui srityse.
* Pabėgti analizė yra pratęsto ​​įgyvendinimo evakuavimo pasiūlytą Ruf dėl genėjimo trukdžių ir paruoštų priklausomybės kraštų tikslu analize. Plėtiniai yra besiūlių to vertės ekvivalentiškumo į analizės forma pagerinti prieštaringa srityje aptikimo skaito / rašo, atsiradusius skirtingais siūlais nei tik naudojant tipas lygybę iš prieigos išraiškos pirminių. Analizė taip pat naudoja objektinės srautų informacija statmenai toliau gerinti tikslumą.
* Priklausomybės analizė yra priklausomybės kolekcija analizes: įrašas pagrįstas valdymas, išeiti pagrįstas kontrolės, tapatumo pagrindu duomenis, pagalbos pagrindu duomenų, interferencija, įrengtas, sinchronizacija, ir išsiskyrimo, kurių reikalaujama pagal analizių / transformacijų tokia programa pjaustymo ir dalinį vertinimą , Trukdžiai ir paruoštas priklausomybė analizuoja priklausyti nuo ankstesnių pabėgti analizės, o pagalbos pagrindu duomenis ir sinchronizavimas priklausomybė analizuoja priklauso nuo objekto srautų informacijos ir apskaičiuoto skambučių grafinės informacijos. Kai kurie tyrimai turi įvairaus tikslumo lygių, kuris gali būti keičiamas per gerai apibrėžtos sąsają.
* Šalutinis poveikis analizė suteikia metodas lygio šalutinis poveikis informaciją. Vartotojas gali užklausti jei kuri nors iš argumentų / parametrų į kvietimą-svetainė / metodas bus paveikti tiesiogiai (iš karto prisijungę) arba netiesiogiai (rekursyviai pasiekiami nariai). Be to, vartotojas gali pateikti duomenų prieigos kelią įsišaknijusi ne argumentai / parametrų į kvietimą-svetainė / metodą ir užklausą, jei galutinis taškas prieigos prie duomenų keliu įtakoja skambučių / metodas.
* Monitorius Anlaysis yra paprastas analizė, kuri suteikia monitorius / lock grafinę informaciją tikroje sistemoje.
* Saugus užraktas analizė yra analizės, kad konservatyviai atranda jei spyna (monitoriai) nebus laikomi neribotą laiką. Ši informacija yra naudojama kartu su laikini priklauso- steming už Object.wait () ir Object.notify () / Object.notifyAll (), kaip tai daroma paruoštas priklausomybės.
* Nedalomumo analizė suteikia informacijos apie nedalomumo į tikrą sistemą. Dabartinis įgyvendinimas priklauso nuo pabėgimo analizės numatyti, ar teiginys gali būti vykdomas atominių. Ši informacija yra naudojama aptikti atominis regioną kodus. Ši informacija yra naudinga programų, tokių kaip modelio tikrinimo sumažinti valstybinės vietos dydį, vadinasi, gerinti darbo rezultatus.
Kai kurie tyrimai gali būti pakankamai didelis, sudaryti modulį dėl jų pačių ir tokios analizės bus surengtas kaip skirtingus modulius Indo, o ne suvartotas Šiame modulyje.
"Java" programa peilis modulis yra šerdies įgyvendinimo Java programos peilis kartu su adapteriais, kurios duoda peilis kitose programose, pavyzdžiui, Bandera ir Eclipse. Įgyvendinimas architected kaip bibliotekoje, o ne kaip prašymas palengvinti Tai poskyriuose naudojimą. Šerdis yra nepriklausoma nuo taikymo; Kiekviena paraiška yra reikalavimas gabaliuką galima patenkinti kodavimo iki realizacijomis po perdirbimo sąsajų ir nedėkite šių realizavimo suformuoti individualų peilis.
Šis modulis labai priklauso nuo teikiamos priklausomybės informaciją analizuoja ir pateiktą ofa per gerai apibrėžtų sąsajų, kad įgalina išorės diegimo būti naudojamos pjaustymas skambučių grafiką.
Šis peilis įgyvendinimas yra pateikta Eclipse su intuityvi vartotojo sąsaja per Kaveri įskiepiai.
Savybės: o
Pirmyn ir atgal gabalas karta. Pilnas skiltelės sąjungos (atgal ir į priekį
griežinėliai, pradedant nuo pačių gabalas kriterijus) gali būti sukurtas.
* Parama residualize (reikia) griežinėliais į vykdomąjį klasės failus.
* Parama kontekstinį pjaustymas per kontekstinį turtingas gabalas kriterijus specifikaciją.
* Palaikymas apriboti gabalas į tam tikrą sistemos dalies taikymo sritis, specifikacijas.
* Parama serialize gabalas kriterijus, SLICER konfigūracijas ir griežinėliais.
Visi Indo projekto darbus Jimple, tarpinės atstovavimo Java moduliai, teikiamos suodžių priemonių rinkinį iš Sable grupės McGill universitete. Kiekvienas projekto modulis bus veikiami kaip vienas ar daugiau Eclipse įskiepių, jei pateikta informacija yra naudinga vartotojui ir gali būti keliamas paduodant vartotojo Vartotojas vartojimo per grafinę vartotojo sąsają.
Programinė įranga Filosofija
Kiekvienas šiame projekte modulis suteiks tik reikiamą funkcionalumą per gerai apibrėžtų sąsajų, kurios gali būti įgyvendintos, siekiant surinkti individualų sistema su tinkamų plėtinių, kurie atitinka konkretų reikalavimą. Kaip sąsaja yra aiškiai atskirta nuo įgyvendinimo, bet išorės įgyvendinimas, kuri suteikia reikiamą sąsają galima vientisai naudojamas su moduliais iš šio projekto.
Fonas
Dauguma analizių vykdymas lėmė Java programos peilis reikalavimus, kurių reikalaujama pagal Bandera. Tačiau, kaip programa peilis gali būti naudojamas ne Bandera ir analizė gali būti naudojama kad kiti transformacijas, pavyzdžiui, programos specializacijos per dalinis įvertinimas, mes persikėlė analizes ir transformacijas į naują projektą, pavadintą Indo.