Advances in computers. Volume 99 /

Advances in Computers, the latest volume in the series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and b...

Full description

Saved in:
Bibliographic Details
Other Authors Memon, Atif M. (Editor)
Format Electronic eBook
LanguageEnglish
Published Waltham, MA : Academic Press, 2015.
SeriesAdvances in computers, Volume 99
Subjects
Computer science.
Software engineering.
Electronic data processing.
elektronické knihy
electronic books
Online AccessFull text
ISBN0128021314
9780128021316
9780128023396
0128023392
ISSN0065-2458 ;
Physical Description1 online resource.

Cover

LEADER 00000cam a2200000 i 4500
001 kn-ocn919265034
003 OCoLC
005 20240717213016.0
006 m o d
007 cr cn|||||||||
008 150827s2015 mau o 001 0 eng d
040 |a OPELS  |b eng  |e rda  |e pn  |c OPELS  |d UMI  |d KNOVL  |d DEBBG  |d DEBSZ  |d OPELS  |d IDEBK  |d UIU  |d CDN  |d OCLCQ  |d COO  |d D6H  |d CEF  |d AU@  |d WYU  |d OCLCO  |d OCL  |d OCLCQ  |d OCLCO  |d OCLCL  |d OCLCQ 
020 |z 0128021314 
020 |z 9780128021316 
020 |a 9780128023396 
020 |a 0128023392 
035 |a (OCoLC)919265034  |z (OCoLC)922640784  |z (OCoLC)1044350036  |z (OCoLC)1056520214  |z (OCoLC)1058978298  |z (OCoLC)1060906395  |z (OCoLC)1073073237 
245 0 0 |a Advances in computers.  |n Volume 99 /  |c edited by Atif M. Memon. 
264 1 |a Waltham, MA :  |b Academic Press,  |c 2015. 
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 
490 0 |a Advances in computers,  |x 0065-2458 ;  |v Volume 99 
504 |a Includes bibliographical references and index. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty 
520 |a Advances in Computers, the latest volume in the series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. In addition, it provides 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 significant, lasting value in this rapidly expanding field. 
505 0 |a Front Cover; Advances in Computers; Copyright; Contents; Preface; Chapter One: Combinatorial Testing: Theory and Practice; 1. Introduction; 1.1. Empirical Data on Failures; 1.2. Implications for Testing; 2. Covering Arrays; 2.1. History of DoE; 2.2. From DoE to CAs; 2.3. Combinatorial Coverage; 2.3.1. Measures of Combinatorial Coverage; 2.3.2. Using Combinatorial Coverage; 3. Algorithms for CT; 3.1. Categories of Algorithms; 3.2. Algorithms for Higher Strength Combinatorial Test Suites; 3.3. Example Tools; 3.4. ACTS/CCM; 4. Input Partitioning and Representation. 
505 8 |a 4.1. Combinatorial Issues in Input Model Development4.2. Size Considerations with CAs; 4.3. Modeling Environment Conditions and State; 4.4. Types of Constraints for Input Parameter Model; 4.4.1. Environment Constraints Versus System Constraints; 4.4.2. First-Order Constraints Versus Higher-Order Constraints; 4.4.3. Temporal Constraints Versus Nontemporal Constraints; 5. Constraints Handling in CA Algorithms; 5.1. Representations of Constraints; 5.2. Major Approaches to Constraint Handling; 5.2.1. The Abstract Parameters Approach; 5.2.2. The Submodels Approach; 5.2.3. The Avoid Approach. 
505 8 |a 5.2.4. The Replace Approach5.3. Validity Checking for the Avoid Approach; 5.3.1. Constraint Solving-Based Validity Checking; 5.3.2. Forbidden Tuples-Based Validity Checking; 6. Case Studies; 6.1. Document Object Model; 6.2. Lockheed Martin; 7. Advanced Topics in CT; 7.1. Test Suite Prioritization; 7.1.1. Generation of Prioritized Test Suites by Combinatorial-Based Coverage; 7.1.2. Prioritization of Existing Test Suites by Combinatorial-Based Coverage; 7.2. Sequence Covering Arrays; 7.2.1. Example; 7.2.2. Generating Sequence Covering Arrays; 7.3. Fault Localization. 
505 8 |a 7.3.1. Identifying Failure-Inducing Combinations7.3.2. Identifying Faults in the Source Code; 7.4. Relationship Between CT and Structural Coverage; 7.4.1. Basic Structural Coverage; 7.4.2. Effects of Input Model; 7.5. Testing Very Large Systems; 8. Future Directions; 8.1. Algorithms; 8.2. Input Modeling; 8.3. Harder Problems; Conclusions; References; About the Authors; Chapter Two: Constraint-Based Testing: An Emerging Trend in Software Testing; 1. Introduction; 1.1. Software Testing; 1.2. Constraint-Based Testing; 1.3. Constraint-Based Test Input Generation; 1.4. Organization of the Chapter. 
505 8 |a 2. A Motivating Example3. Bibliographic Notes; 4. Foundations; 4.1. Constraint Generation; 4.1.1. Assignment; 4.1.2. Conditional; 4.1.3. Iteration; 4.2. Constraint Solving and Optimization; 4.3. Linear Programming for Test Data Generation; 4.4. SAT and SMT Solving for Test Input Generation; 4.5. Constraint Programming Approaches for Test Data Generation; 4.6. User-Defined Constraints; 4.7. The w Constraint for Handling Loops; 4.8. Illustrative Example; 5. Extensions; 5.1. Constraint Solving for Floating-Point Computations; 5.2. Test Input Generation for Object-Oriented Code; 6. Perspectives. 
590 |a Knovel  |b Knovel (All titles) 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Electronic data processing. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Memon, Atif M.,  |e editor. 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://app.knovel.com/hotlink/toc/id:kpACV00015/advances-in-computers?kpromoter=marc  |y Full text 

Similar Items