36 search results - page 4 / 8 » pts 2007 |
101
click to vote
PTS
2000
15 years 1 months ago
2000
Coverage analysis of programs and specifications is a common approach to measure the quality and the adequacy of a test suite. This paper presents a probe insertion technique for m...
RTAS
2007
IEEE
15 years 6 months ago
2007
IEEE
Using preemption threshold scheduling (PTS) in a multi-threaded real-time embedded system reduces system preemptions and hence reduces run-time overhead while still ensuring real-...
PTS
2004
15 years 1 months ago
2004
In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified inpu...
PTS
1998
15 years 1 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
117
click to vote
PTS
1998
15 years 1 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...