Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, proceedings / / Margus Veanes, Jan Tretmans and Wolfgang Grieskamp
| Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, proceedings / / Margus Veanes, Jan Tretmans and Wolfgang Grieskamp |
| Autore | Veanes Margus |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XII, 379 p.) |
| Disciplina | 004.620287 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Telecommunication systems - Testing
Computer software - Testing |
| ISBN | 3-540-73066-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementing Conformiq Qtronic -- New Approach for EFSM-Based Passive Testing of Web Services -- Automation of Avionic Systems Testing -- Automatic Test Generation from Interprocedural Specifications -- A New Method for Interoperability Test Generation -- Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware -- Symbolic Model Based Testing for Component Oriented Systems -- A Compositional Testing Framework Driven by Partial Specifications -- Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols -- Testing and Model-Checking Techniques for Diagnosis -- Model-Based Testing of Service Infrastructure Components -- Testing Input/Output Partial Order Automata -- A Framework for Testing AIS Implementations -- An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones -- Model Based Testing of an Embedded Session and Transport Protocol -- Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites -- A Bounded Incremental Test Generation Algorithm for Finite State Machines -- Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control -- Towards Systematic Signature Testing -- TPLan-A Notation for Expressing Test Purposes -- Testing Nondeterministic Finite State Machines with Respect to the Separability Relation -- Learning and Integration of Parameterized Components Through Testing -- An EFSM-Based Passive Fault Detection Approach -- Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3 -- Model-Based Testing of Optimizing Compilers. |
| Record Nr. | UNISA-996465335803316 |
Veanes Margus
|
||
| Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, proceedings / / Margus Veanes, Jan Tretmans and Wolfgang Grieskamp
| Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, proceedings / / Margus Veanes, Jan Tretmans and Wolfgang Grieskamp |
| Autore | Veanes Margus |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XII, 379 p.) |
| Disciplina | 004.620287 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Telecommunication systems - Testing
Computer software - Testing |
| ISBN | 3-540-73066-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementing Conformiq Qtronic -- New Approach for EFSM-Based Passive Testing of Web Services -- Automation of Avionic Systems Testing -- Automatic Test Generation from Interprocedural Specifications -- A New Method for Interoperability Test Generation -- Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware -- Symbolic Model Based Testing for Component Oriented Systems -- A Compositional Testing Framework Driven by Partial Specifications -- Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols -- Testing and Model-Checking Techniques for Diagnosis -- Model-Based Testing of Service Infrastructure Components -- Testing Input/Output Partial Order Automata -- A Framework for Testing AIS Implementations -- An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones -- Model Based Testing of an Embedded Session and Transport Protocol -- Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites -- A Bounded Incremental Test Generation Algorithm for Finite State Machines -- Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control -- Towards Systematic Signature Testing -- TPLan-A Notation for Expressing Test Purposes -- Testing Nondeterministic Finite State Machines with Respect to the Separability Relation -- Learning and Integration of Parameterized Components Through Testing -- An EFSM-Based Passive Fault Detection Approach -- Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3 -- Model-Based Testing of Optimizing Compilers. |
| Record Nr. | UNINA-9910483895003321 |
|
Veanes Margus
|
||
| Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||