Author : Alexandre Petrenko
Publisher : Springer Science & Business Media
Page : 389 pages
File Size : 15,54 MB
Release : 2007-06-12
Category : Business & Economics
ISBN : 3540730656
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia. It covers all current issues in testing communicating systems and formal approaches in testing of software, from classical telecommunication issues to general software testing.
Author : Kenji Suzuki
Publisher : Springer Science & Business Media
Page : 313 pages
File Size : 42,17 MB
Release : 2008-05-26
Category : Computers
ISBN : 3540685146
This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.
Author : Manuel Nunez
Publisher : Springer Science & Business Media
Page : 257 pages
File Size : 20,16 MB
Release : 2009-10-16
Category : Computers
ISBN : 3642050301
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.
Author : M. Nakamura
Publisher : IOS Press
Page : 264 pages
File Size : 45,21 MB
Release : 2009-05-29
Category : Computers
ISBN : 1607504359
The International Conference on Feature Interactions in Software and Communication Systems (ICFI) has evolved out of the Feature Interaction Workshop (FIW), which started in 1992 as the leading forum for discussion and reporting on research on feature interactions in telecommunications systems. It is now concerned with feature interaction in all types of software systems. Participation includes practitioners, researchers and educators. The proceedings have been published by IOS Press since 1994.
Author :
Publisher :
Page : 824 pages
File Size : 42,53 MB
Release : 1993
Category : Armed Forces
ISBN :
Author :
Publisher :
Page : 634 pages
File Size : 29,25 MB
Release : 1985
Category : Computer networks
ISBN :
Author : Ernest Heau
Publisher :
Page : 200 pages
File Size : 30,28 MB
Release : 1968
Category : Data transmission systems
ISBN :
Author :
Publisher :
Page : 378 pages
File Size : 33,58 MB
Release : 1988
Category : Communications, Military
ISBN :
Author : Cem Kaner
Publisher : John Wiley & Sons
Page : 326 pages
File Size : 19,18 MB
Release : 2011-08-02
Category : Computers
ISBN : 1118080556
Softwaretests stellen eine kritische Phase in der Softwareentwicklung dar. Jetzt zeigt sich, ob das Programm die entsprechenden Anforderungen erfüllt und sich auch keine Programmierungsfehler eingeschlichen haben. Doch wie bei allen Phasen im Software-Entwicklungsprozess gibt es auch hier eine Reihe möglicher Fallstricke, die die Entdeckung von Programmfehlern vereiteln können. Deshalb brauchen Softwaretester ein Handbuch, das alle Tipps, Tricks und die häufigsten Fehlerquellen genau auflistet und erläutert, damit mögliche Testfehler von vornherein vermieden werden können. Ein solches Handbuch ersetzt gut und gerne jahr(zehnt)elange Erfahrung und erspart dem Tester frustrierende und langwierige Trial-und-Error-Prozeduren. Chem Kaner und James Bach sind zwei der international führenden Experten auf dem Gebiet des Software Testing. Sie schöpfen hier aus ihrer insgesamt 30-jährigen Erfahrung. Die einzelnen Lektionen sind nach Themenbereichen gegliedert, wie z.B. Testdesign, Test Management, Teststrategien und Fehleranalyse. Jede Lektion enthält eine Behauptung und eine Erklärung sowie ein Beispiel des entsprechenden Testproblems. "Lessons Learned in Software Testing" ist ein unverzichtbarer Begleiter für jeden Software Tester.
Author : Robert M. Hierons
Publisher : Springer Science & Business Media
Page : 378 pages
File Size : 42,70 MB
Release : 2008-04-08
Category : Computers
ISBN : 3540789162
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).
