A new framework for testing real-time software

Author

Lin, Jin-Cherng ; Ho, Ian

Author_Institution

Dept. of Comput. Sci. & Eng., Tatung Univ., Taipei, Taiwan

fYear

2000

fDate

2000

Firstpage

337

Lastpage

342

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

Keywords

formal specification; parallel programming; program testing; program verification; real-time systems; temporal logic; descriptive formalism; design phases; dual-language approach; executability; formal testing strategy; formal verifiability; operational formalism; real time applications; real time software testing; software requirement; testing activities; Application software; Computer science; Logic testing; Petri nets; Real time systems; Safety; Software design; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International

Conference_Location

Taipei

ISSN

0730-3157

Print_ISBN

0-7695-0792-1

Type

conf

DOI

10.1109/CMPSAC.2000.884744

Filename

884744