Logo des Repositoriums
 

Softwaretechnik-Trends 28(1) - 2008

Autor*innen mit den meisten Dokumenten  

Auflistung nach:

Neueste Veröffentlichungen

1 - 10 von 32
  • Zeitschriftenartikel
    Requirements Engineering im Customer Relationship Management: Erfahrungen in der Werkzeugauswahl
    (Softwaretechnik-Trends Band 28, Heft 1, 2008) Lorenz, Michael; Bode, Markus; Schmid, Klaus
    Customer Relationship Management (CRM) ist eine komplexe Domäne und erfordert entsprechende IT-Unterstützung. Die arvato direct services GmbH ist europaweit einer der größten Dienstleister in diesem Bereich. Die adäquate IT-Unterstützung wird in der Regel individuell entwickelt, daher ist das Requirements Engineering (RE) entscheidend für den Erfolg in diesen Projekten. Um das RE bei arvato direct services zu stärken, wurde eine systematische Auswahl eines RE-Werkzeugs durchgeführt. Ausgehend von den Herausforderungen eines ITDienstleisters im CRM, wird auf die erhobenen Anforderungen an das gesuchte RE-Werkzeug und die Vorgehensweise bei der Auswahl eingegangen. Anschließend werden sowohl die Erfahrungen bei der Werkzeugauswahl als auch bei der Einführung des Werkzeugs dargestellt. Diese sind zum Teil auch über den Bereich des CRM hinaus übertragbar.
  • Zeitschriftenartikel
    Quantitativer Vergleich von Anforderungsspezifikationen
    (Softwaretechnik-Trends Band 28, Heft 1, 2008) Knauss, Eric
  • Zeitschriftenartikel
    Requirements-Engineering und -Management in Produktmanagement und Produktlinien-Entwicklung
    (Softwaretechnik-Trends Band 28, Heft 1, 2008) Birk, Andreas
    Die Rolle des Produktmanagements (PM) in der industriellen Software-Entwicklung ist im Requirements- Engineering und -Management (REM) lange Zeit nur wenig beachtet worden. Mit dem Trend zu SoftwareProduktlinien (SPL) anstelle einzeln entwickelter Produkte nimmt die Bedeutung des PM zu. Dieser Artikel umreisst die besonderen Herausforderungen, die PM und SPL an den Umgang mit Requirements stellen.
  • Zeitschriftenartikel
    Aktuelle Herausforderungen in verteilten RE-Prozessen
    (Softwaretechnik-Trends Band 28, Heft 1, 2008) Herrmann, Andrea; Illes-Seifert, Timea; Geisser, Michael; Hildenbrand, Tobias
  • Zeitschriftenartikel
    Ableitung von Systemfunktionen aus Zielen und Szenarien
    (Softwaretechnik-Trends Band 28, Heft 1, 2008) Bramsiepe, Nadine; Sikora, Ernst; Pohl, Klaus
  • Zeitschriftenartikel
    AMUSE: Priorisieren von Anforderungen auf der Basis geschätzter Nutzerakzeptanz
    (Softwaretechnik-Trends Band 28, Heft 1, 2008) Kerkow, Daniel; Dörr, Jörg; Landmann, Dennis
  • Zeitschriftenartikel
    30th International Conference on Software Engineering 2008 (ICSE 2008)
    (Softwaretechnik-Trends Band 28, Heft 1, 2008) Schäfer, Wilhelm
  • Zeitschriftenartikel
    Konferenzbericht zur MetriKon 2007
    (Softwaretechnik-Trends Band 28, Heft 1, 2008) Dumke, Reiner
  • Zeitschriftenartikel
    Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten
    (Softwaretechnik-Trends Band 28, Heft 1, 2008) Seifert, Dirk
    Eingebettete Systeme setzen sich aus Hardware- und Softwarekomponenten zusammen, die asynchron miteinander kommunizieren und nichtdeterministisches Verhalten aufweisen können. Dies macht eine umfassende und systematische Prüfung mit manuellen Techniken nahezu unmöglich. Auch automatisierte Prüftechniken können mit Asynchronität und Nichtdeterminismus bislang nur unzureichend umgehen. Der breite Einsatz eingebetteter Systeme im täglichen Leben und das blinde Vertrauen in deren Funktionsfähigkeit erfordern jedoch eine zuverlässige und umfassende Qualitätssicherung. Die Dissertation beschäftigt sich mit dem automatisierten Testen asynchroner nichtdeterministischer Systeme mit Daten. Zur Beschreibung des reaktiven Verhaltens von Komponenten technischer Systeme werden Zustandsmaschinen der Unified Modeling Language in reduzierter Form verwendet. Ausgehend von einer solchen Zustandsmaschine werden automatisiert Testfälle für einen Konformitätstest abgeleitet und gegen das zu testende System ausgeführt. Das korrekte, mögliche Verhalten wird für ausgewählte Eingaben a priori berechnet und in einem Testfall gespeichert. Der Hauptbeitrag der Arbeit liegt einerseits in der vollständigen Formalisierung der reduzierten Zustandsmaschinen, die die wesentlichen syntaktischen Ausdrucksmittel und komplex strukturierte Daten umfassen, und andererseits in der Entwicklung eines praktikablen Ansatzes zum automatisierten Testen reaktiver technischer Systeme, deren Verhalten durch solche Zustandsmaschinen beschrieben werden kann. Das Testen solcher Systeme ist aus zwei Gründen eine besondere Herausforderung. Einerseits ist die Anzahl möglicher Eingabesequenzen und damit die Anzahl der möglichen Testfälle unendlich groß. Andererseits führen die asynchrone Kommunikation und der inhärente Nichtdeterminismus in Zustandsmaschinen für jede einzelne Eingabesequenz zu einem sehr komplexen Verhalten. Die präzise und widerspruchsfreie Interpretation dieses komplexen Verhaltens ist notwendige Voraussetzung für jegliche Art von Automatisierung, erfordert jedoch einen enorm hohen Berechnungsaufwand und ist damit nicht immer praktikabel. Um die Anzahl der Testfälle sinnvoll zu beschränken werden Testspezifikationen verwendet. In Testspezifikationen werden Art und Umfang der betrachteten Eingaben festgelegt und relevante Eingabesequenzen durch Nutzungsprofile beschrieben. Einfache Nutzungsprofile erlauben die probabilistische Auswahl von Eingaben oder die Vorgabe fester Eingabesequenzen. Komplexere Nutzungsprofile beschreiben das Verhalten der Umgebung explizit in Form von Zustandsmaschinen mit probabilistischen Zustandsübergängen und ermöglichen damit eine systematische und automatisierte Auswahl relevanter Eingaben. Die Bestimmung des möglichen korrekten Verhaltens für eine gegebene Eingabesequenz erfolgt in einer schrittweisen Ausführung der Zustandsmaschine. Da der Berechnungsaufwand mit zunehmender Länge der betrachteten Eingaben exponentiell ansteigt und deshalb eine Berechnung für typische Sequenzlängen nicht praktikabel ist, können kürzere Eingabesequenzen mehrerer Testfälle kombiniert werden. Die Einfügung von Beobachtungspunkten nach jeder Eingabesequenz führt zu einer erheblichen Reduzierung des Berechnungsaufwands für die nachfolgenden Eingaben, wobei das mögliche korrekte Verhalten approximiert wird. Der Berechnungsaufwand steigt linear mit der Anzahl der kombinierten Testfälle. Durch eine geeignete Wahl der Anzahl an Teilsequenzen, aus denen eine Eingabesequenz zusammengesetzt wird, kann hinsichtlich des Aufwands für die Testfallerzeugung und der Erkennungsrate der Testfälle ein guter Kompromiss erzielt werden. Praktisches Ergebnis der Arbeit ist die prototypische Werkzeugumgebung Teager. Diese setzt sich auf der einen Seite aus einer Umgebung zur Testfallerzeugung und -ausführung und auf der anderen Seite aus einer Umgebung zur Simulation von Zustandsmaschinen zusammen. Die durchgeführten Untersuchungen zeigen, dass durch die Verhaltensapproximation mit der Komplexität und der Zustandsexplosion innerhalb von Zustandsmaschinen umgegangen, eine akzeptable Erkennungsrate erzielt und die Ablehnung korrekter Systeme vermieden werden kann.