Auflistung nach Autor:in "Budnik, Christof J."
1 - 10 von 12
Treffer pro Seite
Sortieroptionen
- Konferenzbeitrag2. Workshop Testmethoden für Software - Von der Forschung in die Praxis(Software Engineering 2008, 2008) Belli, Fevzi; Budnik, Christof J.; Spillner, Andreas
- Konferenzbeitrag2. Workshop Testmethoden für Software – Von der Forschung in die Praxis(Software Engineering 2008, 2008) Belli, Fevzi; Budnik, Christof J.; Spillner, Andreas
- KonferenzbeitragFinite-state modeling, analysis and testing of system vulnerabilities(ARCS 2004 – Organic and pervasive computing, 2004) Belli, Fevzi; Budnik, Christof J.; Nissanke, NimalMan-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or breaches, of any such property constitutes a system vulnerability, which can lead to a situation that is undesirable from user's point of view. This undesired situation could be triggered by special events in the form of intended, or unintended, attacks from the system's environment. We view the undesirable system features as the sum of the situations, which are, mathematically speaking, complementary to the desirable ones that must be taken into account from the very beginning of the system development to achieve a stable system behavior and a robust operation. This work is about the modeling, analysis and testing of both desirable and undesirable system features which can be viewed as relations between the system and its operation.
- KonferenzbeitragHolistic testing of interactive systems using statecharts(Sicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit, 2006) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel
- KonferenzbeitragModellbasiertes Testen(Informatik 2009 – Im Focus das Leben, 2009) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
- KonferenzbeitragMOTES08 - Modellbasiertes Testen – 3. Workshop im Rahmen der Jahrestagung der Gesellschaft für Informatik am 9. September 2008 in München – Einführung und Übersicht über die angenommenen Beiträge(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Winter, Mario
- KonferenzbeitragMOTES09 - Modellbasiertes Testen – 4. Workshop im Rahmen der Jahrestagung der Gesellschaft für Informatik am 29. September 2009 in Lübeck – Einführung und Übersicht über die angenommenen Beiträge(Informatik 2009 – Im Focus das Leben, 2009) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
- KonferenzbeitragMOTES2010 - Modellbasiertes Testen(INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2, 2010) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
- KonferenzbeitragPeer-to-Peer Comparison of Model-Based Test Tools(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Budnik, Christof J.; Subramanyan, Rajesh; Vieira, MarlonThe aim is to understand the differences between TDE/UML and peer tools available on the market to assess strength and weakness of TDE/UML. Evaluation comparison criteria are modeling, test case generation and extensibility of the model-based testing tools under consideration. The methodology can be adopted using tools other than TDE as a baseline for similar comparisons.
- KonferenzbeitragTest cost reduction for interactive systems(Sicherheit 2005, Sicherheit – Schutz und Zuverlässigkeit, 2005) Belli, Fevzi; Budnik, Christof J.A model-based approach for minimization of test sets for human-computer interactions is introduced. Test cases are efficiently generated and selected to cover the behavioral model of the system under test (SUT) and its fault model that is constructed by complementing the original model. Results known from statebased conformance testing and graph theory are used and extended to construct algorithms for minimizing the test sets, considering structural features of the SUT.