Beschreibung
This book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the automatic generation of test data. It describes the most commonly used approaches in this area - including algebraic construction, greedy methods, evolutionary computation, constraint solving and optimization - and explains major algorithms with examples. In addition, the book lists a number of test generation tools, as well as benchmarks and applications. Addressing a multidisciplinary topic, it will be of particular interest to researchers and professionals in the areas of software testing, combinatorics, constraint solving and evolutionary computation.
Autorenportrait
Jian Zhang is a research professor in the Institute of Software, Chinese Academy of Sciences (ISCAS). He got his BS degree from the University of Science and Technology of China (USTC) in 1988 and his Ph.D. degree from ISCAS in 1994. He has served as a deputy director and the director of the (State) Key Laboratory of Computer Science. His research interests include automated reasoning, constraint solving, static analysis, software testing and formal methods. He has served on the program committee of about 60 international conferences; and also on the editorial boards of several journals (including the Journal of Computer Science and Technology, Frontiers of Computer Science). His research work has been supported by the National Science Fund for Distinguished Young Scholars. He is a senior member of ACM and IEEE.
Zhiqiang Zhang is a Ph.D. candidate in the Institute of Software, Chinese Academy of Sciences (ISCAS). He is interested in software testing and fault localization, especially those related to combinatorial testing. He has been awarded the National Scholarship for Graduate Students.
Feifei Ma is an associate research professor in the Institute of Software, Chinese Academy of Sciences (ISCAS). She got her Ph.D. degree (with honors) from ISCAS in 2010. She has obtained the Chu Yuet Wah Award for Outstanding graduate students. Her research interests include automated reasoning and constraint solving.
Inhalt
Introduction to Combinatorial Testing.- Mathematical Construction Methods.- One Test at a Time.- The IPO Family.- Evolutionary Computation and Metaheuristics.- Evolutionary Computation and Metaheuristics.- Tools and Benchmarks.- Other Related Topics.
Informationen zu E-Books
„E-Book“ steht für digitales Buch. Um diese Art von Büchern lesen zu können wird entweder eine spezielle Software für Computer, Tablets und Smartphones oder ein E-Book Reader benötigt. Da viele verschiedene Formate (Dateien) für E-Books existieren, gilt es dabei, einiges zu beachten.
Von uns werden digitale Bücher in drei Formaten ausgeliefert:
Die Formate sind EPUB mit DRM (Digital Rights Management), EPUB ohne DRM und PDF. Bei den Formaten PDF und EPUB ohne DRM müssen Sie lediglich prüfen, ob Ihr E-Book Reader kompatibel ist. Wenn ein Format mit DRM genutzt wird, besteht zusätzlich die Notwendigkeit, dass Sie einen kostenlosen Adobe® Digital Editions Account besitzen. Wenn Sie ein E-Book, das Adobe® Digital Editions benötigt herunterladen, erhalten Sie eine ASCM-Datei, die zu Digital Editions hinzugefügt und mit Ihrem Account verknüpft werden muss. Einige E-Book Reader (zum Beispiel PocketBook Touch) unterstützen auch das direkte Eingeben der Login-Daten des Adobe Accounts – somit können diese ASCM-Dateien direkt auf das betreffende Gerät kopiert werden.
Da E-Books nur für eine begrenzte Zeit – in der Regel 6 Monate – herunterladbar sind, sollten Sie stets eine Sicherheitskopie auf einem Dauerspeicher (Festplatte, USB-Stick oder CD) vorsehen. Auch ist die Menge der Downloads auf maximal 5 begrenzt.
