|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 39 gevonden artikelen
| Titel: |
Complete Testing from a Stream X-Machine Specification |
| Auteur: |
Florentin Ipate Mike Holcombe |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 64 (2005) nr. 1-4 pagina's 205-216 |
| Jaar: |
2005-06-27 |
| Inhoud: |
One of the strengths of using a stream X-machine to specify a system is that, under certain well defined conditions, it is possible to produce a test set that is guaranteed to determine the correctness of the implementation. This testing method assumes that the processing functions are correctly implemented, therefore it only tests the integration of the processing functions implementations into the system implementation. This paper uses a case study to illustrate how this method can be extended so that it will no longer require the implementations of the processing functions to be proved correct before the actual system testing can take place. Instead, the testing of the processing functions is performed along with the integration testing. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 39 gevonden artikelen
| << vorige | volgende >> |