|
|
Instrumentace programů pro měření pokrytí při testování SW
Kapoun, Petr ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a tvorbou instrumentačního nástroje pro měření pokrytí při softwarovém testování. Nástroj při překladu získá reprezentaci vybraných částí programu v podobě grafu toku řízení a instrumentuje dané části programu vložením zpětných volání funkcí. Pomocí dat generovaných při volání vložených funkcí instrumentovaného programu nástroj vyhodnotí měření kritérií pokrytí. Mezi podporovaná kritéria pokrytí patří pokrytí řádků kódu a vybraná kritéria pokrytí toku řízení a toku dat.
|
|
|
Instrumentace Java programů, kontrakty pro paralelismus
Žárský, Jan ; Křena, Bohuslav (oponent) ; Smrčka, Aleš (vedoucí práce)
Kontrakty pro paralelismus slouží k vyjádření potřebné atomicity sekvencí metod ve vícevláknových programech. Tato práce se zaměřuje na implementaci dynamického analyzátoru, který verifikuje programy napsané v jazyce Java vůči kontraktům. Podporovány jsou parametrické kontrakty se spojlery. Analyzátor je implementován jako rozšíření frameworku RoadRunner. V rámci implementace analyzátoru byla do frameworku RoadRunner přidána podpora pro získávání argumentů metod a jejich návratových hodnot. Analyzátor byl plně implementován a jeho funkčnost byla ověřena na sadě testovacích programů.
|
|
|
Instrumentace C/C++ programů při překladu
Mušková, Kateřina ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a implementací nástroje TforcTool sloužícího k instrumentaci programů napsaných v jazyce C++, a to instrumentaci přístupu do paměti a volání funkcí. Nástroj staví už na existujícím nástroji Tforc poskytující statickou instrumentaci při překladu, jehož funkcionalitu a použitelnost rozšiřuje. Velkou výhodou oproti stávajícím řešením nabízejícím instrumentaci při překladu je možnost použití nástroje bez změny stávajících překladových skriptů (např. Make).
|
|
|
On a possible use of neutron three axis diffractometer for studies of elastic and plastic deformation of polycrystalline materials
Mikula, Pavol ; Ryukhtin, Vasil ; Rogante, M.
Feasibility of using a high-resolution three axis neutron diffractometer performance for elastic and plastic deformation studies of metallic polycrystalline samples is presented. The method consists of unconventional set up employing bent perfect crystal (BPC) monochromator and analyzer with a polycrystalline sample in between. After the realization of focusing conditions in real and momentum space at the neutron wavelength of 0.162 nm, a high angular resolution up to FWHM(d/d)=2x10-3 was achieved on the standard Fe(110) sample (2 mm diameter) which then opened the possibility for the measurements of small lattice parameter changes of samples. The feasibility of the instrument for macro-and microstrain as well as grain size studies is demonstrated on the polycrystalline samples of low carbon shear deformed steel wires and the NiTi plates subjected to heat treatment.
|
|
|
Recent Trends in Charged Particle Optics and Surface Physics Instrumentation. Proceedings of the 16th International Seminar
Mika, Filip ; Pokorná, Zuzana
The origins of the seminar “Recent Trends in Charged Particle Optics and Surface Physics Instrumentation” date back into the eighties, when as a part of the isolated “Eastern Bloc”, we were short of English-language books, papers and conferences. In 1990, at the second Seminar, there were as many as 30 participants from 5 countries. The third Seminar in 1992 was moved to hotel Skalský dvur in the Bohemian-Moravian Highlands where it has been held as a biannual meeting ever since.\nThe Seminar takes place in a secluded lakeside hotel surrounded by beautiful nature and calm forests, so all participants have a great possibility to see each other every day and to discuss their topics of interest in more detail. This is a great advantage compared to the huge bustling conferences with their many parallel sections, which are a lively celebration of science but\nsometimes it is difficult to meet there the person with whom you want to discuss a particular scientific topic in more detail.\nFrom the very beginning, the Seminar has been conceived as a meeting devoted more to asking questions not answered yet, than to reporting results. This spirit is usually less present in the introductory presentations and posters but is dominant in the following discussions.\n
|
|
|
Monitoring Tool for Distributed Java Applications
Háva, Jakub ; Parízek, Pavel (vedoucí práce) ; Hnětynka, Petr (oponent)
Hlavní cíl této diplomové práce je vytvoření monitorovací platformy a kni- hovny pro monitorování distribuovaných aplikací založených na platformě Java. Tato práce je inspirována projektem Google Dapper a sdílí s ním koncept nazývaný "Span". Spany ohraničují lokální část výpočtu a jsou používané pro výměnu stavu mezi členy distribuovaného systému. Aby bylo možné spany zaznamenat bez nutnosti překompilování originalní aplikace, techniky instrumentace jsou hojně používané v této diplomové práci. Monitorovací nástroj nazývaný Distrace se skládá ze dvou částí: nativního agenta a instrumentačního serveru. Od uživatele Distrace se očekává rošíření instrumentačního serveru specifikací bodů v originální aplikaci, kde mají být nové spany vytvořeny a uzavřeny. Pro zajištění vysokého výkonu a také ovlivňování monitorované aplikace co nejméně se používá instru- mentační server, který provádí instrumentaci zdrojového kódu. Distrace nástroj by měl ovlivňovat monitorovanou aplikaci co nejméně, měl by být lehce nasa- ditelný a také transparentní pro cílové aplikace z pohledu koncového uživatele. 1
|
|
| |
|
|
Využití dynamické analýzy kódu při zpětném překladu
Končický, Jaromír ; Zemek, Petr (oponent) ; Ďurfina, Lukáš (vedoucí práce)
V rámci projektu Lissom je vyvíjen rekonfigurovatelný zpětný překladač, jehož cílem je umožnit zpětný překlad programů, určených pro více různých platforem, do několika různých vyšších programovacích jazyků. V době počátku řešení této práce v něm nejsou implementovány techniky využívající informace získané dynamickou analýzou zpětně překládaného programu. Využitím těchto technik je však možné výsledky zpětného překladače výrazně zlepšit. Návrh těchto technik je hlavní náplní této diplomové práce. V rámci tohoto textu je popsáno zpětné inženýrství a zpětný překladač projektu Lissom. Jsou zde obecně popsány existující techniky dynamické analýzy, jako je instrumentace a emulace. Poté jsou zde uvedeny konkrétní informace, které lze získat během dynamické analýzy, a navrženy metody jejich využití ve zpětném překladači.
|
|
|
Pokrytím řízené testování vícevláknových programů
Lietavcová, Zuzana ; Šimková, Hana (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se zabývá problematikou hledání chyb ve vícevláknových programech pomocí techniky pokrytím řízeného testování, jak je chápáno ve studovaném nástroji Maple. Testování se se skládá ze dvou fází. V první fázi se buduje množina pokrytelných chování testovaného programu. Následně se algoritmus snaží dosáhnout těchto chování za pomoci deterministického vykonání testu.Hlavní přínos práce spočívá v uceleném popisu nástroje Maple, včetně technických detailů.Na základě studia jsou identifikovány slabá místa. Některé z nich, konkrétně využívání náhodného rozhodování a prioritizace vynucovaných chování, jsou blíže studovány.Výsledkem je několik úprav nástroje Maple, ze kterých některé vedou k většímu počtu úspěšných dosažení chování a v určitých případech k vyššímu počtu vyvolání chyb, což je experimentálně demonstrováno na sadě vícevláknových programů.
|
|
|
Workshop of Interesting Topics of SEM and ESEM
Neděla, Vilém ; Mašová, Šárka ; Tihlaříková, Eva
The book of abstracts from the Workshop of Interesting Topics of SEM and ESEM includes original English written papers focused on new results of Environmental electron microscopy group from the ISI ASCR in Brno ant scientific and industry partners of this group. This book contain new results from the field of instrumentation, biology, physics and chemistry. The overall objectives of the workshop were to provide space for exchanging news, ideas, advice and experience in the field of Electron Microscopy which can lead to mutual future scientific collaboration. This workshop has been organized as a forum of state-of-the-art discussion in a number of topics which will be covered by several distinguished invited talks and other presentations.
|
host ::
RSS.