Testability of Object-Oriented Systems: a Metrics-Based Approach

Total Page:16

File Type:pdf, Size:1020Kb

Testability of Object-Oriented Systems: a Metrics-Based Approach Testability of Object-Oriented Systems: a Metrics-based Approach Magiel Bruntink ii °c 2003 Magiel Bruntink Cover image `Uzumaki' °c 2003 Akiyoshi Kitaoka, used with permission. `U' means rabbits, `zu' means ¯gure, `maki' means rotation, and `Uzumaki' means spirals or swirls. Yellow represents the color of the moon in Japan and it is imagined (though not seriously) that rabbits live in the moon and make mochi (food made from rice). Akiyoshi Kitaoka describing the meaning of `Uzumaki' on his web site. The drawing appeared in his Japanese book Trick Eyes 2, and quickly became popular on the Internet. This work has been typeset using Leslie Lamport's LATEX, in Donald Knuth's Computer Modern Roman font, 11 pt. Testability of Object-Oriented Systems: a Metrics-based Approach Magiel Bruntink September 2003 Master's Thesis Universiteit van Amsterdam Faculteit der Natuurwetenschappen, Wiskunde en Informatica Sectie: Programmatuur Afstudeerdocent: Prof. dr. Paul Klint Begeleiders: Dr. Arie van Deursen & Dr. Tobias Kuipers ii Preface When I ¯rst saw the `Uzumaki' drawing, it struck me how well it captured my state of mind at the beginning of the work on this thesis. The topic I had chosen to explore appeared to be huge and very di±cult, and many things of interest were scattered throughout it. I was unsure where to focus my attention. One cannot help but feel the same way when looking at `Uzu- maki'; wherever one looks, there is always something going on in another part of the drawing. Hence I decided to put `Uzumaki' on the cover of my thesis. However, the analogy does not stop there. If one can resist the urge to keep looking at the moving wheels of `Uzumaki', and focus on only one, all the wheels will eventually stop moving. This thesis is the result of focusing on one particular aspect of the topic, testability. I thank my coaches, Tobias Kuipers and Arie van Deursen, for supporting me in resisting the urge to keep looking at the moving wheels. The topic of this thesis was conceived by Arie, who is never short of in- teresting ideas or new perspectives. Together with Tobias and Paul Klint, it was decided that the project would be performed at the Software Improve- ment Group. I was amazed how readily Tobias agreed to be my coach, and allowed me to work at the SIG. Arie, Paul and Tobias, thanks a lot for your feedback and support. Working at the SIG has been an excellent experience, for which I'd like to thank my colleagues. In particular, I am grateful to Alex van den Bergh, Gerard Kok, Gerjon de Vries, Joost Visser, Patrick Duin and Peter van Helden for allowing me a glimpse of the real world of software engineering. A great advantage of working at a company is the possibility to explore the industry. In my case, I visited a number of people of other companies and interviewed them about their testing e®orts. I'd like to thank Joris Alkema, Rutger Buckmann and Vincent van Moppes all of Epictoid, Ren¶e Clerc of Tryllian and Sylvia Verschueren of ABN-AMRO for their patience and time to answer my questions. Finally, I am grateful to my friends and family for their support and keeping me in touch with the world outside of research. In particular, Adam Booij was a great help with statistics and Steven de Rooij was brave enough to read early versions of this work. However, none of this would have been possible without the support of my parents, Hiljan and Roel, to whom I dedicate this thesis. iv Contents Contents v List of Figures vii List of Tables ix 1 Introduction 1 1.1 Problem Statement . 1 1.2 Software Testing . 1 1.3 Testability . 4 1.4 Assessing Testability Using Metrics . 6 1.5 Overview . 7 2 Testability 9 2.1 The Fish-bone In More Detail . 9 2.2 A Model Of Testability . 12 2.2.1 Test Case Generation Factors . 13 2.2.2 Test Case Construction Factors . 16 3 Related Work 19 3.1 Fault Sensitivity . 19 3.2 Information Loss . 21 3.3 Visibility . 24 3.4 Observability And Controllability . 28 3.5 Test-critical Dependencies . 31 3.6 Conclusion . 33 4 Metrics 35 4.1 Source-based Metrics . 35 4.1.1 Notation . 35 4.1.2 Depth Of Inheritance Tree (DIT) . 37 4.1.3 Fan Out (FOUT) . 37 4.1.4 Lack Of Cohesion Of Methods (LCOM) . 37 4.1.5 Lines Of Code Per Class (LOCC) . 38 vi CONTENTS 4.1.6 Number Of Children (NOC) . 38 4.1.7 Number Of Fields (NOF) . 38 4.1.8 Number Of Methods (NOM) . 38 4.1.9 Response For Class (RFC) . 38 4.1.10 Weighted Methods Per Class (WMC) . 38 4.2 Setting Up The Experiments . 38 4.3 Methods . 40 4.4 Implementation . 43 5 Case Studies 45 5.1 DocGen . 45 5.2 Apache Ant . 47 5.3 Results . 48 5.4 Discussion . 50 5.5 Conclusion . 57 6 Conclusions 59 6.1 Contributions . 59 6.2 Limitations . 61 6.3 Future Directions . 61 A Results Of The Case Studies 63 B Report On The Interviews 75 B.1 Introduction . 75 B.2 Results . 75 B.3 Discussion . 81 B.4 Conclusion . 82 Bibliography 83 List of Figures 1.1 The testability ¯sh-bone. 5 2.1 The sign method. 13 2.2 Control-flow graph of method sign. 14 2.3 Signature of the integerAdd method. 15 2.4 Possible implementation of the integerAdd method. 16 2.5 Alternate implementation of the sign method. 17 3.1 Example of a component speci¯cation. 21 3.2 Plot of the function (m ¡ 1)n=(mn ¡ 1). 23 3.3 Overview of the inputs and outputs of a method. 26 3.4 Example of a non-observable method. 29 3.5 Example of an observable method . 29 3.6 Example of a non-controllable method . 30 3.7 Example of a controllable method . 30 4.1 Methods overview. 40 A.1 DocGen: DIT . 64 A.2 DocGen: FOUT . 64 A.3 DocGen: LCOM . 65 A.4 DocGen: LOCC . 65 A.5 DocGen: NOC . 66 A.6 DocGen: NOF . 66 A.7 DocGen: NOM . 67 A.8 DocGen: RFC . 67 A.9 DocGen: WMC . 68 A.10 Ant: DIT . 68 A.11 Ant: FOUT . 69 A.12 Ant: LCOM . 69 A.13 Ant: LOCC . 70 A.14 Ant: NOC . 70 A.15 Ant: NOF . 71 A.16 Ant: NOM . 71 viii LIST OF FIGURES A.17 Ant: RFC . 72 A.18 Ant: WMC . 72 List of Tables 5.1 Measurement results for DocGen. 48 5.2 Measurement results for Ant. 49 5.3 Hotelling's t values for the source-based metrics versus LOCC. 51 A.1 Spearman correlations between the metrics. 73 x LIST OF TABLES Chapter 1 Introduction 1.1 Problem Statement In this thesis we investigate factors of the testability of object-oriented soft- ware systems. The starting point is given by a study of the literature to obtain an initial model of testability, and related software metrics. Subseq- uently, the metrics are evaluated by means of two case studies of large Java systems. The goal of this thesis is to de¯ne and evaluate a set of metrics that can be used to assess the testability of the classes of a Java system. 1.2 Software Testing Programmers are human beings. Human beings are prone to make errors during most of their activities, and software development is no exception. Thus the need arises for veri¯cation of the (half-) products of software de- velopment. Software testing is the practice of running a piece of software in order to verify that it works as expected. The errors made by programmers have the potential of introducing faults in the program. Typically faults are con¯ned to a single program statement, but more complex and distributed faults can occur too. Faults in a program have the capability of causing the program to fail. Failure happens when the program produces an output that is di®erent from the expected output. In short, programmers make errors and introduce faults in their programs, which become prone to failure. The terms we use here are de¯ned more thoroughly by the IEEE in [12]. Software testing occurs (or should occur!) during multiple phases of the construction of a software system. Typically the software development methodology determines both the kind of testing, and the phase(s) during which testing is done. Since methodology is not our focus here, we will su±ce by briefly describing the di®erent kinds of testing that are common in practice. It is useful to consider the several aspects of testing separately. The 2 Introduction following overview of software testing is based on the Software Engineering Body of Knowledge (SWEBOK) [2]. First, we look at the level at which testing can take place. ² Unit testing is concerned with verifying the behavior of the smallest isolated components of the system. Typically, this kind of testing is performed by developers or maintainers and involves using knowledge of the code itself. In practice, it is often hard to test components in isolation. Components often tend to rely on others to perform their function. ² Integration testing is focused at the veri¯cation of the interactions between the components of the system. The components are typically subjected to unit testing before integration testing starts. A strategy that determines the order in which components should be combined usually follows from the architecture of the system.
Recommended publications
  • Utilitarianism & the Afterlife
    Utilitarianism & the Afterlife The paradox of a pleasant hereafter Betsy McCall The goal of Utilitarianism is to lay out a moral philosophy to provide us a way of living, and a way of making difficult moral choices correctly(Mill, 2001) in circumstances which are uncommon enough that experience has not, or cannot, prepare us for the solution. But in doing so, Utilitarianism must confront the same moral challenges confronted by all moral philosophies, including the consequences of belief in the afterlife(Hasker, 2005). The afterlife has provided a complex moral challenge for many moral philosophical frameworks throughout the ages, from Buddhism to Christianity. Buddhism posits that life is suffering, and that the ultimate goal of living is really to escape living altogether by achieving nirvana, or at least, a better life in the next reincarnation(Becker, 1993). Christianity similarly puts this life into a comparison with another better alternative, in this case, the possibility of an infinitely better afterlife in heaven with god and the angels(Pohle, 1920). In both cases, the philosophical frameworks have been forced to incorporate specific prohibitions against suicide in order to avoid the apparently logical conclusion that death is preferable to life, and we would do well to get ourselves there as quickly as possible. Mill, in arguing for Utilitarianism, does not specifically address this question, perhaps because Mill himself gave the afterlife little personal credence(Wilson, 2009). However, writing to a largely Christian Western audience, like Christianity, and a deep-seated historical affinity for belief in reincarnation(Haraldsson, 2005), Mill and his followers must be prepared to address this potential concern.
    [Show full text]
  • Foundations of Nursing Science 9781284041347 CH01.Indd Page 2 10/23/13 10:44 AM Ff-446 /207/JB00090/Work/Indd
    9781284041347_CH01.indd Page 1 10/23/13 10:44 AM ff-446 /207/JB00090/work/indd © Jones & Bartlett Learning, LLC. NOT FOR SALE OR DISTRIBUTION PART 1 Foundations of Nursing Science 9781284041347_CH01.indd Page 2 10/23/13 10:44 AM ff-446 /207/JB00090/work/indd © Jones & Bartlett Learning, LLC. NOT FOR SALE OR DISTRIBUTION 9781284041347_CH01.indd Page 3 10/23/13 10:44 AM ff-446 /207/JB00090/work/indd © Jones & Bartlett Learning, LLC. NOT FOR SALE OR DISTRIBUTION CHAPTER Philosophy of Science: An Introduction 1 E. Carol Polifroni Introduction A philosophy of science is a perspective—a lens, a way one views the world, and, in the case of advanced practice nurses, the viewpoint the nurse acts from in every encounter with a patient, family, or group. A person’s philosophy of science cre- ates the frame on a picture—a message that becomes a paradigm and a point of reference. Each individual’s philosophy of science will permit some things to be seen and cause others to be blocked. It allows people to be open to some thoughts and potentially keeps them closed to others. A philosophy will deem some ideas correct, others inconsistent, and some simply wrong. While philosophy of sci- ence is not meant to be viewed as a black or white proposition, it does provide perspectives that include some ideas and thoughts and, therefore, it must neces- sarily exclude others. The important key is to ensure that the ideas and thoughts within a given philosophy remain consistent with one another, rather than being in opposition.
    [Show full text]
  • The Synchronicity of Hope and Enhanced Quality of Life in Terminal Cancer
    University of Central Florida STARS Honors Undergraduate Theses UCF Theses and Dissertations 2016 The Synchronicity of Hope and Enhanced Quality of Life in Terminal Cancer Brianna M. Terry University of Central Florida Part of the Nursing Commons Find similar works at: https://stars.library.ucf.edu/honorstheses University of Central Florida Libraries http://library.ucf.edu This Open Access is brought to you for free and open access by the UCF Theses and Dissertations at STARS. It has been accepted for inclusion in Honors Undergraduate Theses by an authorized administrator of STARS. For more information, please contact [email protected]. Recommended Citation Terry, Brianna M., "The Synchronicity of Hope and Enhanced Quality of Life in Terminal Cancer" (2016). Honors Undergraduate Theses. 75. https://stars.library.ucf.edu/honorstheses/75 THE SYNCHRONICITY OF HOPE AND ENHANCED QUALITY OF LIFE IN TERMINAL CANCER by BRIANNA TERRY A thesis submitted in partial fulfillment of the requirements for the Honors in the Major Program in Nursing in the College of Nursing and in the Burnett Honors College at the University of Central Florida Orlando, Florida Summer Term, 2016 Thesis Chair: Dr. Susan Chase Abstract Cancer is the second leading cause of death in the United States and a leading cause of death worldwide. The rate of mortality is currently approximately 171.2 out of every 100,000 individuals with a terminal cancer diagnosis annually. Individuals with terminal cancer diagnoses facing probable mortality utilize various coping mechanisms or internal resources in an attempt to maintain an internal sense of well-being, commonly referred to as quality of life (QOL).
    [Show full text]
  • 1 Bringing Real Realism Back Home: a Perspectival Slant Michela Massimi
    Bringing real realism back home: a perspectival slant Michela Massimi School of Philosophy, Psychology, and Language Sciences University of Edinburgh [email protected] 1. Introduction When it comes to debates on realism in science, Philip Kitcher’s Real Realism: The Galilean Strategy (henceforth abbreviated as RR) occupies its well-deserved place among my top five must-read articles published in the past forty years or so on the topic (alongside Putnam’s What is realism?; Boyd’s Realism, anti-foundationalism and the enthusiasm for Natural Kinds; Laudan’s A refutation of convergent realism; and Psillos’ The present state of the scientific realism debate). Personal as this top-five list may be, there is no doubt that Real Realism has ushered in a silent revolution. Without much fanfare, it has shown how realism is hard to resist because it “begins at home” and “it never ventures into the metaphysical never-never- lands to which antirealists are so keen to banish their opponents” (RR, p. 191). Kitcher has taught us how realism began with homely considerations such as those used by Galileo to persuade the Venetians about the reliability of his telescope to spot ships approaching the harbor. The following step from ‘being a reliable naval instrument’ to ‘being a reliable instrument, in general’—capable of revealing the craters of the Moon, the satellites of Jupiter, and the phases of Venus—was a short one. The Galilean strategy that Kitcher has so admirably defended in Real Realism against both empiricism and constructivism (in their respective semantic and epistemic forms) entice us to a “homely line of thought”, and warns us against any “Grand Metaphysical Conclusions”.
    [Show full text]
  • Developing the Researchable Problem
    © Jones & Bartlett Learning, LLC © Jones & Bartlett Learning, LLC NOT FOR SALE OR DISTRIBUTION NOT FOR SALE OR DISTRIBUTION © Jones & Bartlett Learning, LLC © Jones & Bartlett Learning, LLC NOT FOR SALE OR DISTRIBUTION NOT FOR SALE OR DISTRIBUTION CHAPTER © Jones & Bartlett Learning, LLC © Jones & Bartlett2 Learning, LLC NOT FOR SALE OR DISTRIBUTION NOT FOR SALE OR DISTRIBUTION Developing the © Jones & Bartlett Learning, LLC © Jones & Bartlett Learning, LLC NOT FOR SALE OR DISTRIBUTIONResearchableNOT Problem FOR SALE OR DISTRIBUTION © echo3005/ShutterStock, Inc. © echo3005/ShutterStock, © Jones & Bartlett Learning, LLC © Jones & Bartlett Learning, LLC NOT FOR SALE OR DISTRIBUTION NOT FOR SALE OR DISTRIBUTION Objectives © Jones & BartlettUpon completion Learning, of thisLLC chapter, the reader should© Jonesbe prepared & Bartlett to: Learning, LLC NOT FOR SALE 1.OR Discuss DISTRIBUTION the elements needed to formulateNOT aFOR research SALE ques- OR DISTRIBUTION tion, specifi cally discussing the PICOT process of developing a research question. 2. Utilize sample scenarios to formulate suitable research questions. © Jones & Bartlett Learning, 3.LLC Discuss the development© of Jones a testable & hypothesis.Bartlett Learning, LLC NOT FOR SALE OR DISTRIBUTION4. Describe the diff erent categoriesNOT FOR of hypotheses:SALE OR research DISTRIBUTION vs. sta- tistical, directional vs. nondirectional. 5. Determine when it would be most appropriate to utilize a research question and when it would be most appropriate to uti- © Joneslize a& hypothesis. Bartlett Learning, LLC © Jones & Bartlett Learning, LLC NOT6. FORDiscuss SALE the diff OR erence DISTRIBUTION between a directional hypothesisNOT and FORa SALE OR DISTRIBUTION nondirectional hypothesis. 7. Discuss the diff erence between a research hypothesis and a sta- tistical hypothesis. © Jones & Bartlett8.
    [Show full text]
  • Philosophy of Science Association
    Philosophy of Science Association Testability and Meaning--Continued Author(s): Rudolf Carnap Source: Philosophy of Science, Vol. 4, No. 1 (Jan., 1937), pp. 1-40 Published by: The University of Chicago Press on behalf of the Philosophy of Science Association Stable URL: http://www.jstor.org/stable/184580 Accessed: 22/09/2008 10:53 Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=ucpress. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected]. Philosophy of Science Association and The University of Chicago Press are collaborating with JSTOR to digitize, preserve and extend access to Philosophy of Science.
    [Show full text]
  • Levitt Sample.Qxd
    CHAPTER 1 Psychological Research The Whys and Hows of the Scientific Method CONSIDER THE FOLLOWING QUESTIONS AS YOU READ CHAPTER 1 • Why do psychologists use the scientific method? • How do psychologists use the scientific method? • What are the canons of the scientific method? • What is the difference between basic and applied research? • How do basic and applied research interact to increase our knowledge about behavior? As an instructor of an introductory psychology course for psychology majors, I ask my first-semester freshman students the question “What is a psychologist?” At the beginning of the semester, students typically say that a psychologist listens to other people’s problems to help them live happier lives. By the end of the semester and their first college course in psychology, these same students will respond that a psychologist studies behavior through research. These students have learned that psychology is a science that investigates behav - ior, mental processes, and their causes. That is what this book is about: how psychologists use the scientific method to observe and understand behavior and mental processes. The goal of this text is to give you a step-by-step approach to designing research in psy - chology, from the purpose of research (discussed in this chapter) and the types of questions psychologists ask about behavior, to the methods psychologists use to observe and under - stand behavior and describe their findings to others in the field. WHY PSYCHOLOGISTS CONDUCT RESEARCH Think about how you know the things you know. How do you know the earth is round? How do you know it is September? How do you know that there is a poverty crisis in some parts of Africa? There are probably many ways that you know these things.
    [Show full text]
  • The Alienation of Reason a HISTORY of POSITIVIST THOUGHT .,....O by Leszek Kolakowski
    The Alienation of Reason A HISTORY OF POSITIVIST THOUGHT .,....o by Leszek Kolakowski Translated by Norbert Guterman DOUBLEOAY a COMPANY, INC. GARDEN CITY, NEW YORK 1968 Contents Preface V ONE. An Over-all View of Positivism TWO. Positivism Down to David Hume II THREE. Auguste Comte: Positivism in the Romantic Age 47 FOUR. Positivism Triumphant 73 FIVE. Positivism at the Turn of the Ccntury 104 SIX. Conventionalism-Destruction of the Concept of Fact 134 SEVEN. Pragmatism and Positivism 154 EIGHT. Logical Empiricism: A Scientistic Defense of Threatened Gvilization 174 Conclusion 207 Index 221 8 nIE ALIENATION Oll' REASON sense, i.e„ to the cxtent that they teil us what opcrations arc or arc not effcctive in achicving a desircd end. Examplcs of such tcchnical judgmcnts would bc a statement to thc cff cct that we should administer pcnicillin in a case of pncumonia or one to the cffect that children ought not be threatened with a bcating if they won't cat. Such statements can, clearly, be justificd, if thcir mcaning is respectivcly that pcnicillin is an cffectivc rem­ cdy against pncumonia, and that thrcatcning children with pun­ ishmcnt to makc them cat causes charactcrological handicaps. And if wc assume tacitly that, as a rulc, it is a good thing to eure the sick and a bad thing to inflict psychic dcformation upon childrcn, the above-mcntioncd statements can be justi.fied, even though thcy do havc thc form of normative judgmcnts. But we are not to assume that any valuc assertion that we rccognizc as truc ''in itsclf," rathcr than in rclation to something eise, can bc justificd by expericnce.
    [Show full text]
  • Improving the Testability of Object-Oriented Software During Testing and Debugging Processes
    International Journal of Computer Applications (0975 – 8887) Volume 35– No.11, December 2011 Improving the Testability of Object-oriented Software during Testing and Debugging Processes Sujata Khatri R.S. Chhillar V.B.Singh DDU College DCSA, M.D.U Delhi College of Arts & University of Delhi, Delhi Rohtak, Haryana Commerce India India University of Delhi, Delhi India ABSTRACT procedural and object oriented software system. Software reliability growth models which is used for finding failure Testability is the probability whether tests will detect a fault, distribution and fault complexity of software is described in given that a fault in the program exists. How efficiently the section 2. Section 3 describes Data Sets along with sample of faults will be uncovered depends upon the testability of the software. Various researchers have proposed qualitative and bug reported data. failure . The impact of value of parameter quantitative techniques to improve and measure the testability of reliability growth models on improving testability is of software. In literature, a plethora of reliability growth described in section 4. Conclusion of the paper and future models have been used to assess and measure the quantitative research direction is given in section 5. quality assessment of software during testing and operational phase. The knowledge about failure distribution and their 1.1 Testability of Software complexity can improve the testability of software. Testing effort allocation can be made easy by knowing the failure The IEEE Standard Glossary of Software Engineering distribution and complexity of faults, and this will ease the Terminology‟ defines testability as“(1) the degree to which a process of revealing faults from the software.
    [Show full text]
  • Testability and Meaning Author(S): Rudolf Carnap Reviewed Work(S): Source: Philosophy of Science, Vol
    Testability and Meaning Author(s): Rudolf Carnap Reviewed work(s): Source: Philosophy of Science, Vol. 3, No. 4 (Oct., 1936), pp. 419-471 Published by: The University of Chicago Press on behalf of the Philosophy of Science Association Stable URL: http://www.jstor.org/stable/184400 . Accessed: 04/08/2012 12:19 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. The University of Chicago Press and Philosophy of Science Association are collaborating with JSTOR to digitize, preserve and extend access to Philosophy of Science. http://www.jstor.org philosophiof Science VOL. 3 October, 1936 NO. 4 Testability and Meaning BY RUDOLF CARNAP I. INTRODUCTION I. Our Problem: Confirmation,Testing and Meaning.......... 420 2. The Older Requirement of Verifiability ..................... 42I 3. Confirmation instead of Verification ........................ 425 4. The Material and the Formal Idioms........ ............... 427 II. LOGICAL ANALYSIS OF CONFIRMATION AND TESTING 5. Some Terms and Symbols of Logic ......................... 43I 6. Reducibility of Confirmation .............................. 434 7. D efinitions.............................................. 439 8. Reduction Sentences ..................................... 441 9. Introductive Chains...................................... 444 10. Reduction and Definition................................. 448 III. EMPIRICAL ANALYSIS OF CONFIRMATION AND TESTING I I. Observable and Realizable Predicates ...................... 454 12. Confirmability ..................................... .... 456 I3.
    [Show full text]
  • Four Examples of Pseudoscience
    Four Examples of Pseudoscience Marcos Villavicencio Tenerife, Canarias, Spain E-mail address: [email protected] ORCID iD: 0000-0001-6700-4872 January 2020 Abstract A relevant issue in the philosophy of science is the demarcation problem: how to distinguish science from nonscience, and, more specifically, science from pseudoscience. Sometimes, the demarcation problem is debated from a very general perspective, proposing demarcation criteria to separate science from pseudoscience, but without discussing any specific field in detail. This article aims to focus the demarcation problem on particular disciplines or theories. After considering a set of demarcation criteria, four pseudosciences are examined: psychoanalysis, speculative evolutionary psychology, universal grammar, and string theory. It is concluded that these theoretical frameworks do not meet the requirements to be considered genuinely scientific. Keywords Demarcation Problem · Pseudoscience · Psychoanalysis · Evolutionary psychology · Universal grammar · String theory 1 Introduction The demarcation problem is the issue of how to differentiate science from nonscience in general and pseudoscience in particular. Even though expressions such as “demarcation problem” or “pseudoscience” were still not used, some consider that an early interest for demarcation existed as far back as the time of ancient Greece, when Aristotle separated episteme (scientific knowledge) from mere doxa (opinion), holding that apodictic certainty is the basis of science (Laudan 1983, p. 112). Nowadays, the issue of demarcation continues being discussed. Certainly, demarcating science from pseudoscience is not a topic of exclusive philosophical interest. Scientists and members of skeptical organizations such as the Committee for Scientific Inquiry also deal with this crucial theme. The issue of how to recognize pseudoscience not only affects academia.
    [Show full text]
  • Elliott Sober Source: Proceedings and Addresses of the American Philosophical Association, Vol
    Testability Author(s): Elliott Sober Source: Proceedings and Addresses of the American Philosophical Association, Vol. 73, No. 2 (Nov., 1999), pp. 47-76 Published by: American Philosophical Association Stable URL: http://www.jstor.org/stable/3131087 Accessed: 02/09/2008 14:56 Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=amphilosophical. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected]. http://www.jstor.org TESTABILITY ElliottSober, University of Wisconsin Givenas PresidentialAddress to the CentralDivision of the AmericanPhilosophicalAssociation in New Orleans,May 1999. I Thatsome propositionsare testable,while othersare not, was a funda- mentalidea in the philosophicalprogram known as logicalempiricism.
    [Show full text]