Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Cambridge :Cambridge University Press,
    UID:
    almahu_9948234393002882
    Format: 1 online resource (xii, 196 pages) : , digital, PDF file(s).
    ISBN: 9780511546990 (ebook)
    Content: This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposing a program from its subprograms. This method enables us to divide and conquer the complexity involved in understanding the computation performed by a program by decomposing it into a set of subprograms and then simplifying them to the furthest extent possible. The resulting simplified subprograms are generally more understandable than the original program as a whole. The method may also be used to simplify a piece of source code by following the path-oriented method of decomposition, simplification, and recomposition. The analysis may be carried out in such a way that the derivation of the analysis result constitutes a correctness proof. The method can be applied to any source code (or portion thereof) that prescribes the computation to be performed in terms of assignment statements, conditional statements, and loop constructs, regardless of the language or paradigm used.
    Note: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.
    Additional Edition: Print version: ISBN 9780521882866
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Amsterdam, Netherlands :Elsevier,
    UID:
    edoccha_BV049335654
    Format: 1 Online-Ressource (xx, 255 Seiten) : , Illustrationen.
    ISBN: 978-0-12-813963-9
    Series Statement: A chemical industry press series
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-0-12-813941-7
    Language: English
    Keywords: Aufsatzsammlung
    URL: Volltext  (URL des Erstveröffentlichers)
    Author information: Huang, Jin
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Hoboken, N.J. :John Wiley & Sons,
    UID:
    almafu_9959327543102883
    Format: 1 online resource (x, 259 pages) : , illustrations
    ISBN: 9780470464076 , 0470464070 , 9780470464052 , 0470464054
    Content: An in-depth review of key techniques in software error detection. Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through Testing and Analysis begins with a thorough discussion of test-case selection and a review of the concepts, notations, and principles used in the book. Next, it covers: Code-based test-case selection methods; Specification-based test-case selection methods; Additional advanced topics in testing; Analysis of symbolic trace; Static analysis; Program instrumentation. Each chapter begins with a clear introduction and ends with exercises for readers to test their understanding of the material. Plus, appendices provide a logico-mathematical background, glossary, and questions for self-assessment. Assuming a basic background in software quality assurance and an ability to write nontrivial programs, the book is free of programming languages and paradigms used to construct the program under test. Software Error Detection through Testing and Analysis is suitable as a professional reference for software testing specialists, software engineers, software developers, and software programmers. It is also appropriate as a textbook for software engineering, software testing, and software quality assurance courses at the advanced undergraduate and graduate levels.
    Note: SOFTWARE ERROR DETECTION THROUGH TESTING AND ANALYSIS; CONTENTS; Preface; 1 Concepts, Notation, and Principles; 2 Code-Based Test-Case Selection Methods; 3 Specification-Based Test-Case Selection Methods; 4 Software Testing Roundup; 5 Analysis of Symbolic Traces; 6 Static Analysis; 7 Program Instrumentation; Appendix A: Logico-Mathematical Background; Appendix B: Glossary; Appendix C: Questions for Self-Assessment; Bibliography; Index.
    Additional Edition: Print version: Huang, J.C., 1935- Software error detection through testing and analysis. Hoboken, N.J. : John Wiley & Sons, ©2009 ISBN 9780470404447
    Additional Edition: ISBN 0470404442
    Language: English
    Keywords: Electronic books. ; Electronic books. ; Electronic books.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    kobvindex_ZLB12221230
    Format: 1289, 48 Seiten
    Edition: 2. Aufl.
    Note: chines. und dt.
    Language: German
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Book
    Book
    Beijing : Center for Chinese Agricultural Policy, Chinese Academy of Sciences
    UID:
    gbv_1460530764
    Format: 40 S. , zahlr. graph. Darst., Tab., Lit.Hinw. S. 40, Lit. S. 37-39
    Edition: 2nd draft
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    gbv_145247880
    Format: 1289, 48 S.
    Edition: 3. [vielmehr 5.] Aufl.
    Language: Chinese
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    gbv_780278178
    Format: xxi, 366 Seiten , Illustrationen , 26 cm
    ISBN: 9788184248241 , 8184248245
    Content: Contributed articles
    Note: Enthält 14 Beiträge , Includes bibliographical references
    Language: English
    Keywords: Agrarproduktion ; Kleinbauernbetrieb ; Südasien ; Südostasien ; China ; Produktion ; Marketing ; Fallstudie ; Fallstudiensammlung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    gbv_1640736557
    ISSN: 0014-7591
    In: Far Eastern economic review, Hongkong : Review Publ. Co. Ltd., 1946, 171(2008), 5, Seite 8-13, 0014-7591
    In: volume:171
    In: year:2008
    In: number:5
    In: pages:8-13
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    gbv_1641947403
    ISSN: 1324-9347
    In: The China journal, Chicago, Ill. : University of Chicago Press, 1995, (2005), 53, Seite 81-114, 1324-9347
    In: year:2005
    In: number:53
    In: pages:81-114
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    gbv_1642751316
    Format: Tab., Lit.Hinw.
    ISSN: 1946-4444
    In: Paul H. Nitze School of Advanced International Studies, SAIS review, Washington, DC : SAIS Review, 1989, 23(2003), 1, Seite 115-131, 1946-4444
    In: volume:23
    In: year:2003
    In: number:1
    In: pages:115-131
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages