Sikeres MOGENTES szakértői ellenőrzés

Dr. Pataricza András képviselte a csoportot a teszteléssel foglalkozó MOGENTES EU FP7 projekt szakértői ellenőrzésén. Bemutatta a BME fő tevékenységének eredményeit: a teszteléssel foglalkozó projekt szolgáltatás alapú integrációs környezetét, az ontológia alapú modellszintaxis ellenőrzést, a modell alapú tesztelést támogató absztrakciós technikát, valamint az UPPAAL modellen ellenőrző eszköz köré épített tesztgenerálási környezetet.

Az egyes elemekkel kapcsolatos szakmai vélemény pozitív volt. A szakértők azt ajánlották, hogy ezeket az elemeket a MOGENTES végső keretrendszerébe be kell integrálni. Ennek érdekében megkezdtük az ontológia alapú ellenőrzésmetodika kibővítését kvantitatív tesztelhetőség becslés irányába, valamint a kvalitatív hibamodellezésen alapuló módszer integrálási lehetőségének vizsgálatát a tesztelési folyamat vezérlésére.