Auflistung nach Autor:in "Pietschker, Andrej"
1 - 10 von 11
Treffer pro Seite
Sortieroptionen
- Zeitschriftenartikel32. Treffen der GI-Fachgruppe — Test, Analyse & Verifikation von Software (TAV 32)(Softwaretechnik-Trends: Vol. 32, No. 1, 2012) Pietschker, Andrej
- Zeitschriftenartikel34. Treffen der GI-Fachgruppe(Softwaretechnik-Trends: Vol. 33, No. 2, 2013) Pietschker, Andrej
- Zeitschriftenartikel38. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 38) 15. und 16. Oktober 2015, s-Lab, Paderborn(Softwaretechnik-Trends Band 35, Heft 3, 2015) Pietschker, Andrej
- ZeitschriftenartikelBericht und Beitäge vom 35. Treffen der Fachgruppe am 21. und 22. November 2013 in Ingolstadt(Softwaretechnik-Trends: Vol. 33, No. 4, 2013) Pietschker, Andrej
- KonferenzbeitragBericht vom 42. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 42)(Softwaretechnik-Trends Band 39, Heft 3, 2019) Pietschker, AndrejDas 42. Treffen der GI-Fachgruppe TAV am Donnerstag und Freitag, den 14. und 15. Juni 2017 bei der IBM Deutschland GmbH in München stand unter dem Motto Testen von IoT. Das Treffen wurde von über 60 Teilnehmenden aus Industrie, öffentlicher Verwaltung und Hochschulen besucht.
- ZeitschriftenartikelBericht: 37. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 37) 5. und 6. Februar 2015, Duale Hochschule Baden-Württemberg Ravensburg, Friedrichshafen(Softwaretechnik-Trends Band 35, Heft 1, 2015) Pietschker, Andrej
- ZeitschriftenartikelBericht: 41. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 41)(Softwaretechnik-Trends Band 38, Heft 1, 2018) Pietschker, Andrej
- ZeitschriftenartikelDrei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich(Softwaretechnik-Trends Band 36, Heft 3, 2015) Brandes, Christian; Eberhardinger, Benedikt; Faragó, David; Friske, Mario; Güldali, Baris; Pietschker, Andrej
- Konferenz-AbstractFG TAV: Bericht vom Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV 43)(Softwaretechnik-Trends Band 40, Heft 3, 2020) Pietschker, AndrejDas 43. Treffen der GI-Fachgruppe TAV am Donnerstag und Freitag, den 21. und 22. Februar 2019 bei der Hochschule Bremerhaven fand zusammen mit dem 16. "Software Engineering im Unterricht der Hochschulen" (SEUH)-Workshop statt und stand unter dem Motto Software Qualität in der Ausbildung.
- ZeitschriftenartikelUsing Colored Petri Nets for System Specifications and as a System Under Test Prototype(Softwaretechnik-Trends Band 30, Heft 3, 2010) Schnattinger, Thomas; Pietschker, AndrejAutomated testing is an essential part in the software development process. It requires, however, the system under test (SUT) to be at least partially implemented. Also the practical verification of the test cases themselves cannot start before the SUT is available. Based on the usage of Colored Petri Nets (CPNs) as a specification tool and their integration with TTCN-3, we present an approach allowing test case application and validation already before the start of the implementation phase. As an additional benefit, the well-defined semantics of CPNs enforces a more complete, explicit, and consistent system specification. Since CPNs also provide an intuitive visual representation of the model, they facilitate communication of the system specifications among various stakeholders throughout the development process. To gain more confidence in the correctness of the specification as well as the test implementation, the new idea was to apply identical TTCN-3 tests already in the system specification phase against the formal, executable CPN model and again later against the implemented system. The implementation of the described approach is based on the development of the machine control software for banknote processing systems.