A Temporal Logic Based Theory of Test Coverage and Generation

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
Automatic test generation
coverage criteria
model checking
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Hong, Hyoung Seok
Ural, Hasan
Contributor
Abstract

This paper presents a theory of test coverage and generation from specifications written in extended finite state machines (EFSMs). We investigate a family of coverage criteria based on the information of control flow and data flow in EFSMs and characterize them using the temporal logic CTL. We discuss the complexity of minimal cost test generation and describe a simple heuristic which uses the capability of model checkers to construct counterexamples. Our approach extends the range of applications of model checking from automatic verification of finite state systems to automatic test generation from finite state systems.

Advisor
Date of presentation
2002-04-08
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:42:09.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Postprint version. Published in Lecture Notes in Computer Science, Volume 2280, Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, 2002, (TACAS 2002), pages 327-341. Publisher URL: http://springerlink.metapress.com/link.asp?id=105633
Postprint version. Published in Lecture Notes in Computer Science, Volume 2280, Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, 2002, (TACAS 2002), pages 327-341. Publisher URL: http://springerlink.metapress.com/link.asp?id=105633
Recommended citation
Collection