软件测试形式方法/会议文集Formal Approaches to Software Testing

出版时间：2005-04-19  出版社：Springer  作者：Grabowski, Jens; Nielsen, Brian;  页数：224  

内容概要

The LNCS series reports state-of-the-art restilts in computer science research, development, and education, at a high lewl and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as wetl as with prestigious organizations andsocieties, LNCS has grown into the most comprehensiye computer science research forum available.    The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range 0f computer science ard information technology including interdisciplinary topics in a vatety of application fields. The type of materia! published traditionatly includes                            -proceedings-(published:in time for the lrespective conference)    -post-proceedings (consisting of thorodghly revised final full papers)    -research monographs (which may be based on outstanding PhD work,research projects, technical reports, etc.)

书籍目录

Symbolic Test Generation  Test Generation Based on Symbolic Specifications  Symbolic Test Case Generation for Primitive Recursive Functions  Preserving Contexts for Soft Conformance RelationTesting Non-functional Properties  Testing of Symbolic-Probabilistic Systems  A Test Generation Framework for quiescent Real-Time Systems  Online Testing of Real-Time Systems Using UPPAAL  Testing Deadlock-Freeness in Real-Time Systems; A Formal Approach  Test Development with Model Checking Techniques  Using Model Checking for Reducing the Cost of Test Generation  Specifying and Generating Test Cases Using Observer Automata  Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang  An Automata-Theoretic Approach for Model-Checking Systems with Unspecified ComponentsTest Optimization  Test Patterns with TTCN-3  High-Level Restructuring of TTCN-3 Test Data  Ordering Mutants to Minimise Test Effort in Mutation Testing  Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical StudyAuthor Index