Cargando…
Advances in computers. Volume 107 /
Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Waltham, Mass. :
Academic Press,
2017.
|
| Edición: | First edition. |
| Colección: | Advances in computers ;
volume 107. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_on1002066026 | ||
| 003 | OCoLC | ||
| 005 | 20231120010215.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 170828s2017 mauad ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d IDEBK |d OPELS |d YDX |d OCLCF |d UAB |d UPM |d D6H |d OCLCQ |d ESU |d S2H |d OCLCQ |d OCLCO |d OCLCQ | ||
| 020 | |a 9780128122297 |q (electronic bk.) | ||
| 020 | |a 0128122293 |q (electronic bk.) | ||
| 020 | |z 9780128122280 | ||
| 035 | |a (OCoLC)1002066026 | ||
| 050 | 4 | |a QA76 |b .A38 2017eb | |
| 072 | 7 | |a COM |x 051210 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.12 |2 23 |
| 245 | 0 | 0 | |a Advances in computers. |n Volume 107 / |c edited by Atif M. Memon. |
| 250 | |a First edition. | ||
| 264 | 1 | |a Waltham, Mass. : |b Academic Press, |c 2017. | |
| 300 | |a 1 online resource : |b illustrations (some color) | ||
| 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 volume 107 | |
| 504 | |a Includes bibliographical references and indexes. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. | ||
| 505 | 0 | |a Front Cover; Advances in Computers; Copyright; Contents; Preface; Chapter One: Pitfalls and Countermeasures in Software Quality Measurements and Evaluations; 1. Introduction; 2. Pitfall: Negative Hawthorne Effects; 2.1. Countermeasure: Goal Orientation; 2.2. Countermeasure: Multidimensional Measurements; 3. Pitfall: Organization Misalignment; 3.1. Countermeasure: Visualization of Relationships Among Organizational Goals, Strategies, and Measurements; 3.2. Countermeasure: Exhaustive Identification of Fact-Based Rationales; 4. Pitfall: Uncertain Future. | |
| 505 | 8 | |a 2.2.1. Uncertainty-Wise Modeling2.2.1.1. Belief Test Ready Models; 2.2.1.2. Uncertainty Modeling in General; 2.2.1.3. Modeling Belief Test Ready Models; 2.2.1.4. Modeling Uncertainty in a Life Cycle; 2.2.1.5. Verifying and Evolving Belief Test Ready Models; 2.2.2. Uncertainty-Wise Test Generation; 2.2.2.1. UncerTest and Beyond; 2.3. Tool Support; 2.4. Standardization; 2.4.1. Context; 2.4.2. Relevant Standardization Bodies and Standards; 2.4.3. Conclusion; 3. Uncertainty-Wise Multiobjective Test Optimization; 3.1. Multiobjective Search Problem. | |
| 505 | 8 | |a 3.2. Uncertainty-Wise Multiobjective Search Problem3.3. Uncertainty-Wise Multiobjective Test Optimization; 3.3.1. Cost, Effectiveness, Efficiency, and Uncertainty Attributes; 3.3.2. Cost, Effectiveness, Efficiency, and Uncertainty Attribute Values; 3.3.3. Calculation of Cost, Effectiveness, Efficiency, and Uncertainty Objectives; 3.4. Uncertainty-Wise Multiobjective Test Set Minimization; 3.5. Uncertainty-Wise Multiobjective Test Case Prioritization; 3.6. Examples of UWTM and UWTP; 3.6.1. Example of UWTM; 3.6.2. Example of UWTP; 3.7. Examples of Cost and Effectiveness Measures. | |
| 505 | 8 | |a 3.8. Analyzing Results3.8.1. Fitness Function; 3.8.2. Multiobjective Search Algorithms; 3.8.3. Evaluation Metrics; 3.8.4. Statistical Tests; 4. The State of Art; 4.1. Summary of the Systematic Mapping; 4.2. Multiobjective Test Optimization; 5. Conclusion and Future Research Directions; Acknowledgments; Appendix; References; About the Authors; Chapter Three: Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey; 1. Introduction to Communication Software System Testing; 2. Basic Concepts of Testing; 2.1. Testing Objective; 2.2. Conformance Test Architectures. | |
| 505 | 8 | |a 4.1. Countermeasure: Prediction Incorporating Uncertainty4.2. Countermeasure: Continuous Measurement Program Improvement by Machine Learning; 5. Pitfall: Self-certified Quality; 5.1. Countermeasure: Standard-Based Quality Evaluation; 5.2. Countermeasure: Pattern-Based Quality Evaluation; 6. Conclusion and Future Prospective; Acknowledgments; References; About the Authors; Chapter Two: Uncertainty-Wise Testing of Cyber-Physical Systems; 1. Introduction; 2. Uncertainty-Wise Model-Based Testing; 2.1. Overview of Test Generation; 2.2. Uncertainty-Wise Test Generation. | |
| 650 | 0 | |a Computer software |x Testing. | |
| 650 | 0 | |a Computer networks |x Security measures. | |
| 650 | 0 | |a Electronic data processing. | |
| 650 | 0 | |a Computers. | |
| 650 | 2 | |a Computers |0 (DNLM)D003201 | |
| 650 | 6 | |a R�eseaux d'ordinateurs |x S�ecurit�e |x Mesures. |0 (CaQQLa)201-0263812 | |
| 650 | 6 | |a Ordinateurs. |0 (CaQQLa)201-0003527 | |
| 650 | 7 | |a computers. |2 aat |0 (CStmoGRI)aat300024521 | |
| 650 | 7 | |a COMPUTERS |x Programming |x Object Oriented. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Database Management |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Desktop Applications |x Databases. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x System Administration |x Storage & Retrieval. |2 bisacsh | |
| 650 | 7 | |a Computer networks |x Security measures. |2 fast |0 (OCoLC)fst00872341 | |
| 650 | 7 | |a Computer software |x Testing. |2 fast |0 (OCoLC)fst00872601 | |
| 650 | 7 | |a Computers. |2 fast |0 (OCoLC)fst00872776 | |
| 650 | 7 | |a Electronic data processing. |2 fast |0 (OCoLC)fst00906956 | |
| 700 | 1 | |a Memon, Atif M., |e editor. | |
| 776 | 0 | 8 | |i Print version: |t Advances in computers. Volume 107. |b First edition. |d Waltham, Mass. : Academic Press, 2017 |z 9780128122280 |
| 830 | 0 | |a Advances in computers ; |v volume 107. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/00652458/107 |z Texto completo |