Muutke küpsiste eelistusi

E-raamat: Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 8763
  • Ilmumisaeg: 15-Sep-2014
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783662448571
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 8763
  • Ilmumisaeg: 15-Sep-2014
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783662448571

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11 revised full papers presented together with 6 short papers were carefully selected from 36 submissions. The scope of the conference was on following topics: testing methodologies, tools and frameworks, and industrial experiences.

Testing Methodologies.- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions.- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints.- Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences.- Plan It! Automated Security Testing Based on Planning.- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria.- Tools and Frameworks.- An Approach to Derive Usage Models Variants for Model-Based Testing.- AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems.- Well-Defined Coverage Metrics for the Glass Box Test.- Industrial Experiences.- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment.- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study.- What Characterizes a Good Software Tester? A Survey in Four Norwegian Companies.- Short Contributions.- A Customizable Monitoring Infrastructure for Hardware/Software Em

bedded Systems.- Towards Testing Self-organizing, Adaptive Systems.- Design of Prioritized N-Wise Testing.- Change Detection System for the Maintenance of Automated Testing.- On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment.- Search-Based Testing for Embedded Telecom Software with Complex Input Structures.
Testing Methodologies
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions
1(16)
Antonia Estero-Botaro
Antonio Garcia-Dominguez
Juan Jose Dominguez-Jimenez
Francisco Palomo-Lozano
Inmaculada Medina-Bulo
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints
17(15)
Shaukat Ali
Tao Yue
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences
32(16)
Uraz Cengiz Turker
Tonguc Unluyurt
Husnu Yenigun
Plan It! Automated Security Testing Based on Planning
48(15)
Franz Wotawa
Josip Bozic
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria
63(17)
Anurag Dwarakanath
Aruna Jankiti
Tools and Frameworks
An Approach to Derive Usage Models Variants for Model-Based Testing
80(17)
Hamza Samih
Helene Le Guen
Ralf Bogusch
Mathieu Acher
Benoit Baudry
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems
97(16)
Mariem Abdelmoula
Daniel Gaffe
Michel Auguin
Well-Defined Coverage Metrics for the Glass Box Test
113(16)
Rainer Schmidberger
Industrial Experiences
Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment
129(16)
Manuel Palmieri
Antonio Cicchetti
Anders Oberg
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study
145(16)
Morten Mossige
Arnaud Gotlieb
Hein Meling
What Characterizes a Good Software Tester? -- A Survey in Four Norwegian Companies
161(12)
Anca Deak
Short Contributions
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems
173(7)
Martial Chabot
Laurence Pierre
Towards Testing Self-organizing, Adaptive Systems
180(6)
Benedikt Eberhardinger
Hella Seebach
Alexander Knapp
Wolfgang Reif
Design of Prioritized N-Wise Testing
186(6)
Eun-Hye Choi
Takashi Kitamura
Cyrille Artho
Yutaka Oiwa
Change Detection System for the Maintenance of Automated Testing
192(6)
Miroslav Bures
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment
198(7)
Khaled El-Fakih
Tariq Salameh
Nina Yevtushenko
Search-Based Testing for Embedded Telecom Software with Complex Input Structures
205(6)
Kivanc Doganay
Sigrid Eldh
Wasif Afzal
Markus Bohlin
Author Index 211