Description |
1 online resource (xi, 298 pages :) : illustrations |
|
text txt rdacontent |
|
computer c rdamedia |
|
online resource cr rdacarrier |
Series |
Advances in computers ; 86 |
|
Advances in computers ; 86.
|
Bibliography |
Includes bibliographical references and indexes. |
Summary |
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. |
Contents |
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 |
|
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 |
|
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 |
|
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 |
|
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 |
Language |
English. |
Subject |
Graphical user interfaces (Computer systems)
|
|
System analysis.
|
|
Interfaces graphiques (Informatique)
|
|
Analyse de systèmes.
|
|
systems analysis.
|
|
MATHEMATICS -- History & Philosophy.
|
|
Graphical user interfaces (Computer systems)
|
|
System analysis
|
Added Author |
Memon, Atif M.
|
Other Form: |
0-12-396535-7 |
ISBN |
9780123965196 (electronic bk.) |
|
0123965195 (electronic bk.) |
|
9780123965356 |
|
1283550741 |
|
9781283550741 |
|
9786613863195 |
|
661386319X |
Standard No. |
CHBIS 010354677 |
|
CHNEW 000619944 |
|
CHVBK 329754890 |
|
DEBSZ 405344902 |
|