Advances in computers Volume eighty nine Volume eighty nine /
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...
| Otros Autores: | , |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Oxford :
Elsevier
2013.
Oxford : 2013. |
| Edición: | 1st ed |
| Colección: | Advances in computers,
v. 89 |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009627741706719 |
Tabla de Contenidos:
- Half Title; Title Page; Copyright; Contents; Preface; Testing Android Mobile Applications: Challenges, Strategies, and Approaches; 1 Introduction; 2 Evolution of Mobile Applications; 3 Mobile Application Testing Challenges and Perspectives; 4 Overview on the Android Platform and Android Applications; 4.1 A Running Example; 5 Android Applications Testing; 5.1 Unit Testing; 5.1.1 Activity Testing; 5.1.2 Service Testing; 5.1.3 Content Provider Testing; 5.1.4 Broadcast Receiver Testing; 5.2 Integration Testing; 5.3 System Testing; 5.3.1 Simulation Stage of System Testing
- 5.3.2 Prototyping Stage of System Testing5.3.3 Pre-Production Stage of System Testing; 5.4 Testing the Running Example Application; 5.4.1 Unit Testing; 5.4.2 Integration Testing; 5.4.3 System Testing; 6 Testing Strategies; 6.1 Event-Based Testing Strategies; 6.2 GUI-Based Testing Strategies; 6.3 Random Testing Strategies; 7 Testing the Non-Functional Requirements of Mobile Applications; 7.1 Performance Testing; 7.2 Stress Testing; 7.3 Security Testing; 7.4 Compatibility Testing; 7.5 Usability Testing; 7.6 Accessibility Testing; 8 Tools and Frameworks for Android Testing Automation
- 9 Concluding RemarksReferences; About the Authors; Regression Testing of Evolving Programs; 1 Introduction; 2 Preliminaries; 2.1 Running Example; 2.2 Program Dependence Analysis; 2.3 Program Slicing; 2.4 Symbolic Execution; 3 Change Impact Analysis; 3.1 Static Change Impact Analysis; 3.2 Dynamic Change Impact Analysis; 3.3 Differential Symbolic Execution; 3.4 Change Granularity; 4 Regression Testing; 4.1 Deterministic Program Behavior; 4.2 Oracle Assumption; 4.3 Code Coverage as Approximation of Adequacy; 5 Reduction of Regression Test Suites; 5.1 Selecting Relevant Test Cases
- 5.2 Removing Irrelevant Test Cases6 Augmentation of Regression Test Suites; 6.1 Reaching the Change; 6.2 Incremental Test Generation; 6.3 Propagating a Single Change; 6.4 Propagation of Multiple Changes; 6.5 Semantic Approaches to Change Propagation; 6.6 Random Approaches to Change Propagation; 7 Conclusion; References; About the Authors; Model Inference and Testing; 1 Introduction; 2 Definitions and Notations; 2.1 General Notations; 2.2 Finite State Machines; 2.2.1 Deterministic Finite Automaton; 2.2.2 Mealy Machine; 3 Testing Black Box Systems; 4 Passive Learning
- 4.1 Inferring Models of Software Processes4.2 Generating Software Behavioral Models; 5 Active Learning; 5.1 Angluin Learning Algorithm L; 5.1.1 Observation Table; 5.1.2 The Algorithm L; 5.1.3 Complexity of L; 5.2 DFA Inference of Mealy Models and Possible Optimizations; 5.2.1 Prefix Closure; 5.2.2 Input Determinism; 5.2.3 Independence of Events; 5.3 Mealy Inference; 5.3.1 The Mealy Inference Algorithm LM; 5.3.2 Counterexamples; 5.4 Improved Mealy Inference Algorithm; 5.4.1 Observation Table; 5.4.2 The Algorithm L1; 5.4.3 Example; 5.4.4 Complexity of L1; 5.5 Learning with Dictionaries
- 5.6 Software Model Inference without Using Counterexamples
