|
|
|
|
LEADER |
00000cam a2200000Ii 4500 |
001 |
KNOVEL_ocn919265034 |
003 |
OCoLC |
005 |
20231027140348.0 |
006 |
m o d |
007 |
cr cnu---unuuu |
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
|
019 |
|
|
|a 922640784
|a 1044350036
|a 1056520214
|a 1058978298
|a 1060906395
|a 1073073237
|
020 |
|
|
|z 0128021314
|
020 |
|
|
|z 9780128021316
|
020 |
|
|
|a 9780128023396
|
020 |
|
|
|a 0128023392
|
029 |
1 |
|
|a DEBBG
|b BV043020414
|
029 |
1 |
|
|a DEBSZ
|b 455699879
|
029 |
1 |
|
|a GBVCP
|b 870365967
|
029 |
1 |
|
|a GBVCP
|b 882847465
|
029 |
1 |
|
|a GBVCP
|b 879385189
|
029 |
1 |
|
|a AU@
|b 000059396063
|
035 |
|
|
|a (OCoLC)919265034
|z (OCoLC)922640784
|z (OCoLC)1044350036
|z (OCoLC)1056520214
|z (OCoLC)1058978298
|z (OCoLC)1060906395
|z (OCoLC)1073073237
|
037 |
|
|
|a CL0500000651
|b Safari Books Online
|
050 |
|
4 |
|a QA76
|b .A3 2015eb
|
082 |
0 |
4 |
|a 004
|2 23
|
049 |
|
|
|a UAMI
|
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.
|
588 |
0 |
|
|a Online resource; title from PDF title page (ScienceDirect, viewed August 27, 2015).
|
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 O'Reilly
|b O'Reilly Online Learning: Academic/Public Library Edition
|
590 |
|
|
|a Knovel
|b ACADEMIC - Computer Hardware Engineering
|
650 |
|
0 |
|a Computer science.
|
650 |
|
0 |
|a Software engineering.
|
650 |
|
0 |
|a Electronic data processing.
|
650 |
|
6 |
|a Informatique.
|
650 |
|
6 |
|a Génie logiciel.
|
650 |
|
7 |
|a computer science.
|2 aat
|
650 |
|
7 |
|a data processing.
|2 aat
|
650 |
|
7 |
|a COMPUTERS / Software Development & Engineering / General
|2 bisacsh
|
650 |
|
7 |
|a Electronic data processing.
|2 fast
|0 (OCoLC)fst00906956
|
650 |
|
7 |
|a Computer science.
|2 fast
|0 (OCoLC)fst00872451
|
650 |
|
7 |
|a Software engineering.
|2 fast
|0 (OCoLC)fst01124185
|
700 |
1 |
|
|a Memon, Atif M.,
|e editor.
|
856 |
4 |
0 |
|u https://appknovel.uam.elogim.com/kn/resources/kpACV00015/toc
|z Texto completo
|
938 |
|
|
|a ProQuest MyiLibrary Digital eBook Collection
|b IDEB
|n cis35644136
|
994 |
|
|
|a 92
|b IZTAP
|