Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- KonferenzbeitragTesting of interorganizational workflows(Informatik 2005 – Informatik Live! Band 2, 2005) Lechner, AlexanderThis paper presents FLOWTEST a concept on testing interorganizational workflows on model-level. FLOWTEST focuses on building up test-models, deriving test-cases and executing tests on predefined workflows consisting of atomic web-services. The main goal of FLOWTEST is the realization of a test-suite to drive round-trip testing from code to model back to code level.
- KonferenzbeitragOptimising Test Execution Times in Test Suite Generation(Informatik 2005 – Informatik Live! Band 2, 2005) Mücke, Tilo; Huhn, MichaelaIn the last decade, enormous progress has been made in generating test cases for coverage criteria automatically via model checking. However, many approaches suffer from generating large test suites with long test execution times. In recent work, we developed a method to generate test suites from state-based design models with the shortest test execution time satisfying a given set of coverage criteria. We were able to show that valuable improvements can be achieved. But space complexity of generating the fastest test suite turned out to be too high; thus our approach was limited to small models. Alternatively, a model checker can be called several times, each run generating a single test case. Thereby, the space complexity problem is solved. To build a test suite with minimised execution time, optimisations have to be applied afterwards. Here we present and compare several such algorithms to optimise test suites with respect to execution time.
- KonferenzbeitragEinsatz automatischer Testvektorgenerierung im modellbasierten Test(Informatik 2005 – Informatik Live! Band 2, 2005) Sadeghipour, Sadegh; Lim, MeikeIn der Welt der modellbasierten Softwareentwicklung hat die automatische Testvektorgenerierung die Forschungsphase bereits durchschritten. Dementsprechend sind einige Tools für die Generierung von Testvektoren auf dem Markt der modellbasierten CASE Tools verfügbar. Dieser Beitrag beschreibt verschiedene Anwendungsszenarien für die automatische Generierung von Testvektoren auf Modellebene.
- KonferenzbeitragAutomatische Testvektorgenerierung in der modellbasierten Softwareentwicklung(Informatik 2005 – Informatik Live! Band 2, 2005) Hermes, Thomas; Schultze, Axel; Predelli, OliverBei der IAV GmbH wurde ein modellbasierter Testfallgenerator entwickelt, mit dem es möglich ist, aus verifizierten MATLAB/Simulink-Modellen automatisch Whitebox-Testfälle in Form von Testvektoren bzw. Folgen solcher Testvektoren (Testsequenzen) zu erzeugen. Mit Hilfe dieser Testsequenzen ist es dann möglich, die Übereinstimmung des Codes in einem zeitdiskreten Zielsystem mit dem zugrundeliegenden Modell zu überprüfen. Die Testsequenzen werden auf der Basis vorgegebener Äquivalenzklassen für die einzelnen im Modell verwendeten Blocktypen erzeugt, die durch den Testvektorgenerator in Testsequenzen für das gesamte zu testende System konvertiert werden. Darüberhinaus werden redundante Testsequenzen zusammengefasst, und die Sollwerte werden unabhängig von den zur Modellierung oder Code-Generierung verwendeten Tools berechnet.
- KonferenzbeitragService Classification versus Configuration(Informatik 2005 – Informatik Live! Band 2, 2005) Baida, Ziv; Akkermans, Hans; Gordijn, JaapWe briefly review service classification schemes, originating especially from marketing research work, and analyze to what extent they are useful for ontology-based service configuration over the Web.
- KonferenzbeitragToward a reuse of product related concepts for service data management – An ontology approach(Informatik 2005 – Informatik Live! Band 2, 2005) Schermann, Michael; Böhmann, Tilo; Krcmar, HelmutWith a growing customization, automation and standardisation of IT services a systematic management of data on IT services becomes a pressing issue for researchers and practitioners alike. We propose Service Data Management as a cross-functional data view on services and their delivery. To this end we develop a first draft of an ontological model of common concepts of IT services. For simple IT services, established standards from the world of physical products may be surprisingly useful in the domain of service management.
- KonferenzbeitragFacing the product reclassification challenge(Informatik 2005 – Informatik Live! Band 2, 2005) Abels, Sven; Hahn, AxelClassification systems are often used in the e-Business domain to arrange products into different categories (classes). Within this field, the reclassification deals with the challenges that occur whenever two or more product catalogs are based on different classification systems. In this situation, it is necessary to re-arrange the product into another class--structure in order to enable a semantic exchange of data. This paper introduces the reclassification challenge and it outlines an idea for performing a semi-automatic reclassification of products.
- KonferenzbeitragAlignment of product master data(Informatik 2005 – Informatik Live! Band 2, 2005) Kirsche, Thomas; Baumann, Gerhard; Schanzenberger, AnjaMarket research draws a coherent picture of the market based on extensive observations of sales acts from numerous data sources. As the data sources refer to the products sold all over the world in different formats and with different keys, the data needs to be aligned to a common product master. The subtle strategies for a large-scale product data alignment, as well as the key structure of comprehensive product master database are explained.
- KonferenzbeitragIQ principles in software development(Informatik 2005 – Informatik Live! Band 2, 2005) Mielke, MichaelThis paper shows how we developed a 7-Steps-Method to determine, measure and improve DQ in our team. Based on an actual business process description, we worked out the critical process points. Then we interviewed all Team Members to get a basic idea of how our Information Customers rate Data Quality at all and within the sub-processes looking at the critical points. After we collect all that data we could set up a system that allows us to measure DQ in a Customers focus. This System is the basis for all our further work. Currently we are somewhere between Step 4 and 5, this paper will show consolidated and anonymous data till Step 3. We plan to continue publishing our results when further steps are taken
- KonferenzbeitragNetworking among product ontologies: The standard ISO 13584 – PLIB and related developments(Informatik 2005 – Informatik Live! Band 2, 2005) Wilkes, WolfgangThis paper gives an overview about PLIB (ISO 13584), a meta model for the building of product ontologies. Product ontologies provide a way to describe the meaning of product data in shared data bases or e-business exchange protocols. A number of product ontologies have been or are currently under development. Some activities are discussed which are meant to ensure their compatibility to allow the use of different product ontologies in applications.