Languages for analysis and testing of event sequences (Q2760876)

In computer science there is a natural requirement of ability to describe a computer system action. Natural languages are not a sufficient tool in the most cases. NEWLINENEWLINENEWLINEThe book is devoted to formal languages for analysis and testing of event sequences. The author looks at the construction of formal languages (with a special interest in finding a good semantics) and at their usage. For both tasks a few case studies have been conducted. NEWLINENEWLINENEWLINEThe book is diveded into 8 chapters. The first is an introduction. The next two discuss the subject of testing: Chapter 2 presents Model Checking as a tool for the derivation of test tracing, Chapter 3 introduces LOGAN -- a language developed to replace partly the manual check of test logs. NEWLINENEWLINENEWLINEThe rest of the book is about Message Sequence Charts (MSC) language. Chapter 4 is an introduction of MSC, with its history, features and semantics. In Chapter 5 it is shown how formal language descriptions of a system can be used to determine the properties of that system. Chapter 6 discusses the introduction of data in MSC. The last two Chapters (7 and 8) suggest some extensions that could be added in the future to MSC: the first -- message refinment, the second -- disrupt and interrupt.