713 search results - page 40 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
103
click to vote
FATES
2004
Springer
15 years 7 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
106
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...
FMCAD
1998
Springer
15 years 6 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
121
click to vote
CAL
2006
15 years 2 months ago
2006
Instruction-level traces are widely used for program and hardware analysis. However, program traces for just a few seconds of execution are enormous, up to several terabytes in siz...
SE
2007
15 years 3 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...