Paper Info
Title
A new framework for testing real-time software
Abstract
The time-dependent and asynchronous nature of many real time applications adds a potentially difficult problem to the testing activities, which needs to be solved. To address this need, we present a formal testing strategy for real time software by using a dual-language approach. This approach offers the advantage that by integrating the executability of operational formalism and the formal verifiability of descriptive formalism, it tackles the problem of testing concurrent and real time software and extends the testing activities to the software requirement and design phases
Year
DOI
Venue
2000
10.1109/CMPSAC.2000.884744
COMPSAC
Keywords
Field
DocType
real-time software,formal verifiability,program testing,software requirement,executability,parallel programming,real time software testing,dual-language approach,descriptive formalism,difficult problem,design phases,temporal logic,formal testing strategy,testing activities,new framework,operational formalism,testing activity,program verification,real-time application,testing real-time software,real-time systems,formal specification,real time applications,computer science,software requirements,real time,software testing,real time systems,software design,application software,petri nets
System integration testing,Programming language,Software engineering,Computer science,System testing,Real-time computing,White-box testing,Software performance testing,Software reliability testing,Software construction,Software verification and validation,Test strategy
Conference
Volume
ISSN
ISBN
24
0730-3157
0-7695-0792-1
Citations 
PageRank 
References 
0
0.34
3
Authors
2
Name
Order
Citations
PageRank
Jin-Cherng Lin113616.88
Ian Ho200.34