Szoftvergyártás: gyártás- vezérlés kód-figyeléssel Előadó: Banai Miklós és Rakyta Péter.

Slides:



Advertisements
Hasonló előadás
C# nyelvi áttekintő A „Programozás C# nyelven (Illés Zoltán)”
Advertisements

Osztály leszármaztatás
Valós idejű tesztlefedettség- monitorozás JEE környezetben Dr. Ferenc Rudolf, Szegedi Tudományegyetem Bakota Tibor, FrontEndART Szoftver Kft.
C++ programozási nyelv Gyakorlat hét
1 Hernyák Zoltán Programozási Nyelvek II. Eszterházy Károly Főiskola Számítástudományi tsz.
Objective-C Memória kezelés
Adatbányászati technikák (VISZM185)
Öröklődés 2..
© Kozsik Tamás Tömbök, kollekciók és egyéb alaposztályok.
© Kozsik Tamás Beágyazott osztályok A blokkstrukturáltság támogatása –Eddig: egymásba ágyazható blokk utasítások Osztálydefiníciók is egymásba.
Programozás alapjai.
Csala Péter ANDN #4. 2 Tartalom  C# - ban előre definiált típusok  Változók  Változókkal műveletek  Elágazás  Ciklus.
Bevezetés a Java programozásba
6. előadás (2005. április 5.) Struktúrák Úniók Új adattípus definíálása Dinamikus memória foglalás 1.
4. előadás (2005. március 8.) Pointerek Pointer aritmetika
Programozás II. 3. Gyakorlat C++ alapok.
UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Programozás II. 6. Gyakorlat const, static, dinamikus 2D.
Függvények, mutatók Csernoch Mária.
Mutatók, tömbök, függvények
Szoftver bonyolultsági mértékek alkalmazási területei Király Roland 2011.
A Java programozási nyelvSoós Sándor 1/17 Java programozási nyelv 4. rész – Osztályok II. Nyugat-Magyarországi Egyetem Faipari Mérnöki Kar Informatikai.
Java programozási nyelv 3. rész – Osztályok I.
A C++ programozási nyelvSoós Sándor 1/10 C++ programozási nyelv Gyakorlat - 5. hét Nyugat-Magyarországi Egyetem Faipari Mérnöki Kar Informatikai Intézet.
A C++ programozási nyelvSoós Sándor 1/15 C++ programozási nyelv Gyakorlat hét Nyugat-Magyarországi Egyetem Faipari Mérnöki Kar Informatikai Intézet.
Java programozási nyelv 5. rész – Osztályok III.
Krizsán Zoltán.  Ha az algoritmus sokáig dolgozik,  de el akarjuk kerülni a „fagyást”.  Kisebb a költsége, mint az új folyamatnak.  Programozás szempontjából.
C++ Alapok, első óra Elemi típusok Vezérlési szerkezetek
6. előadás Parametrikus polimorfizmus. Generikus programozás. Az Ada sablonok.
A JAVA TECHNOLÓGIA LÉNYEGE Többlépcsős fordítás A JAVA TECHNOLÓGIA LÉNYEGE Platformfüggetlenség.
Ficsor Lajos Template-ek CPP8/ 1 Template-ek. Ficsor Lajos Template-ek CPP8/ 2 A template fogalma Kiindulási probléma: tetszőleges típusokon kellene ugyanolyan.
Ficsor Lajos Miskolci Egyetem Általános Informatikai Tanszék
Bevezetés a C++ programozási nyelvbe
Programozási Nyelvek (C++) Gyakorlat Gyak 02.
Szoftvertechnológia alapjai Java előadások Förhécz András, doktorandusz tárgy honlap:
1 Hernyák Zoltán Programozási Nyelvek II. Eszterházy Károly Főiskola Számítástudományi tsz.
Hernyák Zoltán Programozási Nyelvek II.
1 Hernyák Zoltán Programozási Nyelvek II. Eszterházy Károly Főiskola Számítástudományi tsz.
A D programozási nyelv Angeli Dávid. Nagy vonalakban  C++  
Javascript Microsoft által készített kiegészítése Statikus típusosság Nagy projektek Windows 8 fejlesztésénél WinRT egy részét ebben írták Nyílt forráskódú,
Java programozási nyelv Metódusok
dr. Banai Miklós ügyvezető MultiRáció Kft.
UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Programozás II. 4. Gyakorlat Függvény paraméterek, dinamikus.
Objektum orientált programozás
1 Objektum orientált programozás Öröklődés: többszörös öröklődés, konstruktorok, destruktorok, overloading Nagy Szilvia.
Objektumvezérelt rendszerek tervezése
A Visual Basic nyelvi elemei
HTML ÉS PHP (Nagyon) rövid áttekintés. ADATBÁZISRENDSZEREK MŰKÖDÉSI SÉMÁJA Felh. interakció DB Connector MySQL ? A gyakorlaton:
Függvények a C nyelvben 1 Függvényeket a következő esetekben szokás írni: Ha ugyanazt a tevékenységet többször is el kell végeznünk ugyanolyan típusú,
Ficsor Lajos CPP2 / 1 Származtatási mechanizmus a C++ nyelvben Ficsor Lajos Miskolci Egyetem Általános Informatikai Tanszék.
CUDA C/C++ programozás CUDA C bevezetés A segédanyag készítése a TÁMOP A/ Nemzeti Kiválóság Program című kiemelt projekt keretében.
Ficsor Lajos A C++ programozási nyelv I. CPP1/ 1 Osztály és objektum fogalma.
Típuskonverzió a C++ nyelvben
5. előadás Parametrikus polimorfizmus. Generikus programozás. Az Ada sablonok.
Objektum orientált programozás 4. Mutatók, típusok és struktúrák Nagy Szilvia.
Függvények, mutatók Csernoch Mária. Függvények függvény definíciója az értelmezési tartomány tetszőleges eleméhez hozzárendel egy értéket –függvény helyettesítési.
Függvények, mutatók Csernoch Mária. Függvények függvény definíciója az értelmezési tartomány tetszőleges eleméhez hozzárendel egy értéket –függvény helyettesítési.
TÁMOP /1-2F JAVA programozási nyelv NetBeans fejlesztőkörnyezetben I/13. évfolyam Osztályok, objektumok definiálása és alkalmazása. Saját.
Krizsán Zoltán, iit C# osztályok 2 Adattagok  Osztály hatáskörben definiált változó.  Formája: [attribútum] [módosító] típus azonosító [=kezdő érték][,
UNIVERSITAS SCIENTIARUM SZEGEDIENSIS SZEGEDI TUDOMÁNYEGYETEM S zoftverfejlesztés Tanszék Programrendszerek tanúsítása – szoftverminőség mérése Dr. Gyimóthy.
EuroOffice 2010 sajtótájékoztató Bagoly Zsolt, fejlesztésvezető MultiRáció Kft. EuroOffice 2010 sajtókonferencia Pályázatok: TECH_08-A2/ SZOMIN08;
Script nyelvek előadás
a programegységek között
A C++ programozási nyelv
Hernyák Zoltán Magasszintű Programozási Nyelvek I.
Hernyák Zoltán Magasszintű Programozási Nyelvek I.
JAVA programozási nyelv NetBeans fejlesztőkörnyezetben I/13. évfolyam
Konverziós operátorok
Az objektum-orientáltság
Feladat Készítsünk programot, amely ciklikusan egy egyenest forgat 8 fokonként, mialatt 3 db vektort mozgat és forgat 5, 6 ill 7 fokonként, és kijelzi.
Függvénysablonok használata
Előadás másolata:

Szoftvergyártás: gyártás- vezérlés kód-figyeléssel Előadó: Banai Miklós és Rakyta Péter

Vízió: Szoftvergyártás az EU-ra építve 2004 óta Magyarország tagja az Európai Uniónak Az EU a világ legnagyobb gazdasága EU GDP > USA GDP 27 tagország 500 milliós piac Európai Unió

Közép-Kelet-Európai régió több mint 100 millió lakos relatív elmaradottság ->magasabb növekedési potenciál Piaci anomáliák az IKT területén pl. évi 5 mrd EUR árbevétel, amelynek 2/3-a az adózás előtti eredmény Közép-Kelet Európa

Technológia Kutatási eredmények alkalmazása Kutatás-fejlesztési projektek egyetemi és ipari résztvevőkkel „Fél-automata gyártási eljárás, gyártás- vezérlés” Intelligens szoftverfejlesztési környezet, automatizált tesztelés Magas minőség Minőségbiztosítási eszközök pl. COLUMBUS (FrontEndArt) Columbus rendszer több száz javított hiba folyamatos monitorozás Az ++ projekt

OpenOffice.org kódtisztítása A Szegedi Tudományegyetem által készített hibák jelzése: General Rule Package Checker v3.6 beta 7db modulra (sw, svx, sc, binfilter, vcl, svtools, oox) generált hibák száma A hibák típusaikra való tekintettel sokszínűek, többnyire egyszerű javításokra utalnak. Feladat: a hibák javítását tartalmazó patch fájlok gyártása.

EuroOffice 2010 Kódjavításainkat beépítettük az EuroOffice 2010 irodai programcsomag forráskódjába. Letölthető a oldalról. 7 nyelven telepíthető Az OpenOffice.org kódjára épül.

Egyszerű hibatípusok I Egyszerű hibatípusok eloszlása: 5-6 hibatípus gyakori előfordulással

Egyszerű hibatípusok II GEN1009 the type of the return value should be the same as the return type of the function-53% GEN7023 conditional instructions like 'for' and 'if' should not be in the same line as the dependent instructions – 8.8% GEN1020 data members should be initialized – 9.9% GEN7026 assignment operators should not be used more than once in one instruction – 6.8% GEN7029 empty statements should be used only together with comments %

GEN1009 “the type of the return value should be the same as the return type of the function” Ez a hibatípus 53% gyakorisággal fordul elő. Többnyire azonos típusú csak más nevű változókról van szó. Előfordul azonban különböző osztályokra mutató pointerek konverziója is. Megoldás: az amúgy automatikus konverzió explicit jelölése.

GEN7026,,assignment operators should not be used more than once in one instruction” Ez a hibatípus 6.76% gyakorisággal fordul elő. Megoldás: Megjegyzés: új objektum létrehozásánál ügyelni kell az ugyanarra mutató pointerekre

Egyéb egyszerű hibatípusok GEN1020 data members should be initialized GEN7023 conditional instructions like 'for' and 'if' should not be in the same line as the dependent instructions GEN7025 operators '++' and '- -' should not be used more than once in one instruction GEN7026 assignment operators should not be used more than once in one instruction GEN7029 empty statements should be used only together with comments

Kompatibilitás új verziókkal A javított OpenOffice.org verzója: v3.2 DEV300.52m Az OpenOffice.org v3.2 DEV300.58m verzióján a patch fájlok 97%-a működik Az OpenOffice.org v3.2 DEV300.63m verzióján a patch fájlok 97%-a működik A nem működő patchok többsége egy-egy fájlra korlátozódik ahol változás történt.

Összetett javítások A forráskódot több helyen kell módosítani Nagyobb valószínűséggel kell idomítani a javításokat az újabb verziószámú forrásokhoz. A javítások fejlesztéséhez lényegesen több idő szükséges, mivel meg kell ismerni a forrást a hiba környezetében. A javítások széleskörű tesztelési folyamatokat igényelnek.

GEN7032 „'goto' and C label should not appear because unstructured control flow is dangerous” Megoldás: (a) A funkcionalitás megtartásának érdekében egy inline függvény definiálása a megfelelő címke alatt lévő utasításokkal. (b) A definiált függvény meghívása minden goto utasítás helyett. Az inline definiált függvény csak az érintett fájlban látható. A függvény input változói referencia típusúak, hogy az érintett objektumokkal megfelelően tudjon operálni.

GEN7032

GEN1015 “data members should not be public” Megoldás: az érintett változók tulajdonságának megváltoztatása: public->private ( protected ) Többnyire ezeket a változókat meghívják külső függvények, ezért elérést kell biztosítani számukra. (friend függvények és osztályok deklarálása) Megjegyzés: olykor csak egy másik fájlban látható függvény hívja meg ezeket a változókat.

GEN1015

GEN1001 “the C functions 'malloc' and 'free' should not be used in C++” Lényeges szempont a funkcionalitás megmaradása A new parancs nem hoz létre void* pointert. A C függvények nem hívják meg az osztályok konstruktorát és destruktorát. Megoldás: (a) konstruktor és destruktor definíciók; (b) megfelelő C++ függvények: ::operator new és ::operator delete[ ]

GEN1001–Kiterjedt javítások Adott módon létrehozott objektumot, csak adott módon lehet törölni. A létrehozott objektumok több függvényhíváson keresztül élnek.

GEN1001–Kiterjedt javítások Egész VCL modulra kiterjedő javítás

GEN1001–Kiterjedt javítások Külső memóriakezelést végző függvények alternatívája (pl. strdup függvény) szükséges. static char* my_strdup(const char* ToDuplicate) { int len(0); while ( *ToDuplicate != 0 ) { ToDuplicate++; len++; } ToDuplicate = ToDuplicate - len; char* ret = new (std::nothrow) char [len+1]; assert(ret != 0); while ( *ToDuplicate != 0 ) { *ret = *ToDuplicate; ret++; ToDuplicate++; } ret = ret - len; return ret; }

GEN1001–Kiterjedt javítások Kompatibilitás biztosítása tisztán C-ben írt kódrészekkel. list listNewEmpty(void) { list this = malloc(sizeof(struct _list)); listNewInitializer(this); return this; } void listNewInitializer ( list ptr ) { assert(ptr != 0); ptr->aCount = 0; ptr->eDtor = 0; ptr->head = 0; ptr->tail = 0; ptr->cptr = 0; return; } C++-ben létrehozott objektumok esetében csak a listNewInitializer függvény kerül meghívásra, míg az eredeti funkcionalitás is megmarad.

GEN1001-Kiterjedt javítasok A VCL modul C++ kódrészeiből eltávolítottunk minden C-ben használandó memóriakezelést. Összesen 125 hibajelzés javítása 3 új függvény definiálásával. A javítások az EuroOffice következő verziójában kerülnek alkalmazásra. Az érintett osztályok némelyikében még hiányzik a konstruktor és destruktor definíciója.

Összefoglalás 1500 egyszerű javítást építettünk be az EuroOffice 2010 forráskódjába. A VCL modulban a C++ kódrészleteket mentesítettük a dinamikus memória kezelését végző C függvényektől. A dinamikus memóriakezelés javításait az EuroOffice következő verziójában alkalmazásra kerülnek.