2527 search results - page 68 / 506 » A UML-Based Approach to System Testing |
145
Voted
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...
167
Voted
IJSEKE
2011
14 years 7 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
136
Voted
PTS
2000
15 years 4 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...
122
Voted
FAC
2008
2008
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
15 years 3 months ago
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
128
Voted
WSC
2004
15 years 4 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...