| Category: Idpt1996 | ||
| |
|
| Created Size Downloads |
2011-10-05 13:34:19 618.24 KB 0 |
|||
| |
|
| Created Size Downloads |
2011-10-05 13:34:20 481.86 KB 0 |
|||
| |
|
| Created Size Downloads |
2011-10-05 13:34:25 404.51 KB 0 |
|||
| |
|
| Created Size Downloads |
2011-10-05 13:34:22 518.97 KB 0 |
|||
| |
|
| Created Size Downloads |
2011-10-05 13:34:22 302.56 KB 0 |
|||
| |
|
| Created Size Downloads |
2011-10-05 13:34:21 340.71 KB 0 |
|||
| |
|
| Created Size Downloads |
2011-10-05 13:34:20 417.1 KB 0 |
|||
| |
|
Software testing has consistently been a large portion of the total software development cost for large scale software systems. In the last decade, a considerable part of investigation within the area of software engineering has dealt with software testing. In particular, much effort has been devoted to the area of automated testing. The Descartes formal executable specification language uses data structuring methods in a tree structure notation called a "Hoare Tree" to describe data. Hoare trees provide a simple notation for describing the input and output of data a specification Given a Descartes specification, the test data can be generated from it. The generated test data must be reasonable in order to be practical. On the other hand, the test data must reveal as many errors as possible to verify the program The developed test data generation method and tool achieve both goals. |
Created Size Downloads |
2011-10-05 13:34:25 566.51 KB 0 |
||
| |
|
This paper presents a survey on distributed multimedia systems and discusses real-time issues. In particular, different subsystems are reviewed that impact on multimedia networking, the networking for multimedia, the networked multimedia systems, and the leading edge research and developments efforts and issues in networking. |
Created Size Downloads |
2011-10-05 13:34:25 706.97 KB 0 |
||

