Cargando…
Advances in computers Volume 86 /
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal ar...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford :
Academic Press,
2012.
|
| Colección: | Advances in computers ;
86. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn811400366 | ||
| 003 | OCoLC | ||
| 005 | 20231117044743.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 120430s2012 enka ob 001 0 eng d | ||
| 040 | |a E7B |b eng |e pn |c E7B |d N$T |d OPELS |d YDXCP |d OCLCF |d OCLCQ |d ESU |d D6H |d OCLCA |d LEAUB |d OL$ |d UHL |d UKBTH |d REDDC |d OCLCO |d INARC |d TUHNV |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 1113022873 |a 1113468274 |a 1159634261 |a 1229064450 |a 1243615747 |a 1257386801 | ||
| 020 | |a 9780123965196 |q (electronic bk.) | ||
| 020 | |a 0123965195 |q (electronic bk.) | ||
| 020 | |z 9780123965356 | ||
| 020 | |a 1283550741 | ||
| 020 | |a 9781283550741 | ||
| 020 | |a 9786613863195 | ||
| 020 | |a 661386319X | ||
| 035 | |a (OCoLC)811400366 |z (OCoLC)1113022873 |z (OCoLC)1113468274 |z (OCoLC)1159634261 |z (OCoLC)1229064450 |z (OCoLC)1243615747 |z (OCoLC)1257386801 | ||
| 050 | 4 | |a QA76.9.U83 |b A38 2012eb | |
| 072 | 7 | |a MAT |x 015000 |2 bisacsh | |
| 082 | 0 | 4 | |a 510.78 |2 23 |
| 245 | 0 | 0 | |a Advances in computers |n Volume 86 / |c edited by Atif Memon. |
| 260 | |a Oxford : |b Academic Press, |c 2012. | ||
| 300 | |a 1 online resource (xi, 298 pages :) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Advances in computers ; |v 86 | |
| 504 | |a Includes bibliographical references and indexes. | ||
| 520 | |a Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field. In-depth surveys and tutorials on new computer technologyWell-known authors and researchers in the fieldExtensive bibliographies with most chaptersMany of the volumes are devoted to single themes or subfields of computer science. | ||
| 505 | 0 | |a Advances inCOMPUTERS; Copyright page; Table of Contents; preface; Model-Based Testing: Achievements and Future Challenges; 1. Motivation for Model-Based Testing; 1.1. Software Testing; 1.2. Test Automation 2.0: Model-Based Testing; 1.3. Pros and Cons for MBT; 1.4. Outline; 2. State of the Art in MBT; 2.1. Taxonomy; 2.2. Scenarios; 2.3. Approaches; 2.3.1. Manual Modeling; 2.3.2. Common Model; 2.3.3. Model from Code; 2.3.4. Separate Models; 2.3.5. Models from Test Cases; 2.3.6. Model from Model; 2.4. Effort Comparison; 3. Empirical Evidence and Case Studies; 3.1. Siemens; 3.2. sepp.med | |
| 505 | 8 | |a 3.3. Microsoft3.4. Conformiq; 3.5. Summary; 4. Advantages and Requirements in Model-Based Testing; 4.1. Higher Test Quality; 4.2. Higher Test Efficiency; 4.3. Perfect Match: Automated Test Execution; 4.4. Complete Approach: Model-Centric Testing; 4.5. Requirements for using MBT in a Project; 5. Future Challenges in Model-Based Testing; 5.1. MBT vs. Agility; 5.2. MBT vs. Model Transformations; 5.3. MBT vs. Requirements Engineering; 5.4. Test Models vs. System Models; 5.5. Tool Integration; 6. Conclusion; References; Cloud Computing Uncovered: A Research Landscape; 1. Introduction | |
| 505 | 8 | |a 2. Cloud Computing Principles and Requirements2.1. Cloud Computing Characteristics; 2.2. Cloud Computing Deployment Models; 2.3. Cloud Computing Service Models (Cloud Service Hierarchical View); 2.3.1. The NIST SPI Model; 2.3.2. IBM Service Model; 3. Cloud Computing Reference Models, Architectures, and Frameworks; 3.1. (What) The Definition of Cloud Computing Reference Model, Architecture, and Framework; 3.2. (Who) Cloud Computing Reference Framework Users; 3.3. (Why) The Need for Cloud Computing Reference Frameworks; 3.4. (When and Where) The Status of Cloud Architecture Reference Models | |
| 505 | 8 | |a 3.5. (How) A high-Level Comparison Between Cloud Computing Reference Frameworks4. Cloud Computing's Relationship with Other Computing Paradigms; 4.1. Service-Oriented Architecture; 4.2. Grid Computing; 4.3. Parallel and High-Performance Computing; 4.4. Utility Computing; 4.5. Autonomic Computing; 4.6. Virtualization; 4.6.1. Virtualization Technologies; 4.6.2. Virtualization Techniques; 4.6.3. Virtual Appliances; 4.7. Cloud Computing Relationships Summary; 5. Conclusions and Future Directions; References; Advances in User-Session-Based Testing of Web Applications; 1. Introduction | |
| 505 | 8 | |a 2. Background2.1. Web Applications; 2.2. User-Session-Based Testing; 3. Applications of User-Session-Based Testing; 3.1. Test Suite Reduction; 3.2. Test Case Prioritization; 3.3. Test Case Generation; 3.4. Test Case Repair; 3.5. Frameworks and Tools for User-Session-Based Testing; 4. Conclusions; References; Machine Learning and Event-Based Software Testing: Classifiers for Identifying Infeasible GUI Event Sequences; 1. Introduction; 2. Background and Related Work; 2.1. Graph Model-Based GUI Testing; 2.2. Machine Learning and Software Testing; 2.3. Support Vector Machines | |
| 546 | |a English. | ||
| 650 | 0 | |a Graphical user interfaces (Computer systems) | |
| 650 | 0 | |a System analysis. | |
| 650 | 6 | |a Interfaces graphiques (Informatique) |0 (CaQQLa)201-0247943 | |
| 650 | 6 | |a Analyse de syst�emes. |0 (CaQQLa)201-0007674 | |
| 650 | 7 | |a systems analysis. |2 aat |0 (CStmoGRI)aat300077662 | |
| 650 | 7 | |a MATHEMATICS |x History & Philosophy. |2 bisacsh | |
| 650 | 7 | |a Graphical user interfaces (Computer systems) |2 fast |0 (OCoLC)fst00946660 | |
| 650 | 7 | |a System analysis |2 fast |0 (OCoLC)fst01141385 | |
| 700 | 1 | |a Memon, Atif M. | |
| 776 | |z 0-12-396535-7 | ||
| 830 | 0 | |a Advances in computers ; |v 86. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780123965356 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/00652458/86 |z Texto completo |