Description |
1 online resource |
|
text txt rdacontent |
|
computer c rdamedia |
|
online resource cr rdacarrier |
Bibliography |
Includes bibliographical references and index. |
Note |
Print version record. |
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 |
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 |
Subject |
Graphical user interfaces (Computer systems)
|
|
System analysis.
|
|
Systems Analysis |
|
Interfaces graphiques (Informatique)
|
|
Analyse de systèmes.
|
|
systems analysis.
|
|
COMPUTERS -- Software Development & Engineering -- General.
|
|
COMPUTERS -- Software Development & Engineering -- Systems Analysis & Design.
|
|
Graphical user interfaces (Computer systems)
|
|
System analysis
|
Added Author |
Hurson, A. R.
|
Other Form: |
Print version: Advances in computers. Volume 89 9780124080942 (OCoLC)827266708 |
ISBN |
9780124081147 (electronic bk.) |
|
0124081142 (electronic bk.) |
|
9780124080942 |
|
0124080944 |
Standard No. |
AU@ 000055884696 |
|
DEBSZ 405347847 |
|
DEBSZ 431383766 |
|