Cargando…
Advances in computers. Volume 89 /
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: |
Amsterdam ; Boston :
Academic Press,
�2013.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn839556820 | ||
| 003 | OCoLC | ||
| 005 | 20231117044848.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130416s2013 ne ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OPELS |d YDXCP |d OCLCF |d DEBSZ |d CDX |d OCLCQ |d DEBBG |d GILDS |d D6H |d OCLCA |d LEAUB |d OL$ |d HS0 |d OCLCQ |d S2H |d OCLCO |d INARC |d OCLCO |d OCLCQ | ||
| 019 | |a 843402455 | ||
| 020 | |a 9780124081147 |q (electronic bk.) | ||
| 020 | |a 0124081142 |q (electronic bk.) | ||
| 020 | |z 9780124080942 | ||
| 020 | |z 0124080944 | ||
| 035 | |a (OCoLC)839556820 |z (OCoLC)843402455 | ||
| 050 | 4 | |a QA76.9.U83 | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 072 | 7 | |a COM |x 051240 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.12 |2 23 |
| 245 | 0 | 0 | |a Advances in computers. |n Volume 89 / |c edited by Ali Hurson. |
| 260 | |a Amsterdam ; |a Boston : |b Academic Press, |c �2013. | ||
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 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 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 650 | 0 | |a Graphical user interfaces (Computer systems) | |
| 650 | 0 | |a System analysis. | |
| 650 | 2 | |a Systems Analysis |0 (DNLM)D013597 | |
| 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 COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Systems Analysis & Design. |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 Hurson, A. R. | |
| 776 | 0 | 8 | |i Print version: |t Advances in computers. Volume 89 |z 9780124080942 |w (OCoLC)827266708 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780124080942 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/00652458/89 |z Texto completo |