Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Oracles for checking temporal properties of concurrent systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
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 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 phrases.