2008 január hónap bejegyzései

Meaningful Modeling: What is the Semantics of “Semantics”?

Érdekes cikket találtam arról, hogy miért is fontos egy nyelv megadása során a szemantikát rendesen, precízen megadni. Könnyen olvasható, gördülékeny stílusú, én a metrón olvastam végig. Felsorol egy csomó tévhitet a szemantikával kapcsolatban, a kedvenceim: "Semantics means looking mathematical: When … Bővebben…

Kategória: Research | Megjegyzés hozzáfűzése

Robustness Testing of the Windows DDK

Találtam egy érdekes cikket: http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=4273006 Windows driverek által elérhető operációs rendszerek robusztusságát vizsgálták. Kiválasztottak 20 függvényt, ahhoz meghatároztak hibás értékeket, és generáltak drivereket, amik meghívták az adott függvényt a hibás paraméterrel. Szép táblázatokat gyártottak ebből, hogy mennyi esetén kezelte le … Bővebben…

Kategória: Research | Megjegyzés hozzáfűzése