Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results

Testability is defined as the probability that a program will fail a test, conditional on the program containing some fault. In this paper, we show that statements about the testability of a program can be more simply described in terms of assumptions on the probability distribution of the failure intensity of the program. We can thus state general acceptance conditions in clear mathematical terms using Bayesian inference. We develop two scenarios, one for software for which the reliability requirements are that the software must be completely fault-free, and another for requirements stated as an upper bound on the acceptable failure probability

The Rise and Fall of Fuzzy Fidelity in Europe

Two issues have been especially contentious in debates over religious change in Europe: the unity or diversity of the trends observed across the continent, and the significance of the large subpopulation that is neither religious nor completely unreligious. This article addresses these problems. An analysis of the first wave of the European Social Survey (ESS) shows that each generation in every country surveyed is less religious than the last. Although there are some minor differences in the speed of the decline (the most religious countries are changing more quickly than the least religious), the magnitude of the fall in religiosity during the last century has been remarkably constant across the continent. Despite these shifts in the prevalence of conventional Christian belief, practice and self-identification, residual involvement is considerable. Many people are neither regular churchgoers nor self-consciously non-religious. The term ‘fuzzy fidelity’ describes this casual loyalty to tradition. Religion usually plays only a minor role in the lives of such people. Religious change in European countries follows a common trajectory whereby fuzzy fidelity rises and then falls over a very extended period. The starting points are different across the continent, but the forces at work may be much the same

Intentionality, Numerical Growth and the Rural Church

A recent report on church growth argued that there are no strong connections between numerical growth and worship style or theological tradition. Instead, what seems crucial is that congregations engage in reflection: choices should be made intentionally, rather than by default. This article summarises the evidence for that claim and considers the implications for rural churches. To the extent that congregations are inward-looking, follow inherited practice and are resistant to change, it may be difficult to avoid stagnation and decline. The revitalisation of tradition is a challenge for rural clergy and congregations

Is the secularization research programme progressing? Debate on Jörg Stolz’s article on Secularization theories in the 21st century: ideas, evidence, and problems

The methodology of scientific research programmes, developed by Imre Lakatos, can help us to identify which theories are strong or weak. Applying this approach suggests that the secularization research programme is progressing, as Stolz argues. Some of the recent advances have been more successful than others, however. In particular, we have done better at understanding how secularization happens than why it happens

The Dawkins effect? Celebrity scientists, (non)religious publics and changed attitudes to evolution

The role of science popularization remains relatively under-explored in research on contemporary public acceptance of evolution. In this study, we analyse national survey data to interrogate the role Britain's best-known celebrity scientists David Attenborough, Brian Cox, Richard Dawkins and Stephen Hawking may have played in changing public views of evolution, as well as the role of two creationists: Ken Ham and Harun Yahya. We investigate how well known these public figures are, what their views of religion are perceived to be and, drawing on social identity theory, whether they exert different effects on attitudinal change to evolution among different religious and non-religious publics. Binary logistic regression analysis shows that among Muslim and Pentecostal Christian publics, those familiar with Dawkins as both a scientist and as someone who holds negative views of religion are more likely to have become less accepting of evolution. Conversely, among non-religious publics, Dawkins was the only celebrity scientist associated with higher odds of becoming more accepting of evolution. We suggest that engaging certain religious audiences with the science of evolutionary biology may be more effective when their religious identities are not threatened

A Study of Equivalent and Stubborn Mutation Operators using Human Analysis of Equivalence

Though mutation testing has been widely studied for more than thirty years, the prevalence and properties of equivalent mutants remain largely unknown. We report on the causes and prevalence of equivalent mutants and their relationship to stubborn mutants (those that remain undetected by a high quality test suite, yet are non-equivalent). Our results, based on manual analysis of 1,230 mutants from 18 programs, reveal a highly uneven distribution of equivalence and stubbornness. For example, the ABS class and half UOI class generate many equivalent and almost no stubborn mutants, while the LCR class generates many stubborn and few equivalent mutants. We conclude that previous test effectiveness studies based on fault seeding could be skewed, while developers of mutation testing tools should prioritise those operators that we found generate disproportionately many stubborn (and few equivalent) mutants

Primordialists and Constructionists: a typology of theories of religion

This article adopts categories from nationalism theory to classify theories of religion. Primordialist explanations are grounded in evolutionary psychology and emphasize the innate human demand for religion. Primordialists predict that religion does not decline in the modern era but will endure in perpetuity. Constructionist theories argue that religious demand is a human construct. Modernity initially energizes religion, but subsequently undermines it. Unpacking these ideal types is necessary in order to describe actual theorists of religion. Three distinctions within primordialism and constructionism are relevant. Namely those distinguishing: a) materialist from symbolist forms of constructionism; b) theories of origins from those pertaining to the reproduction of religion; and c) within reproduction, between theories of religious persistence and secularization. This typology helps to make sense of theories of religion by classifying them on the basis of their causal mechanisms, chronology and effects. In so doing, it opens up new sightlines for theory and research

Developing an Individual-level Geodemographic Classification

Geodemographics is a spatially explicit classification of socio-economic data, which can be used to describe and analyse individuals by where they live. Geodemographic information is used by the public sector for planning and resource allocation but it also has considerable use within commercial sector applications. Early geodemographic systems, such as the UK’s ACORN (A Classification of Residential Neighbourhoods), used only area-based census data, but more recent systems have added supplementary layers of information, e.g. credit details and survey data, to provide better discrimination between classes. Although much more data has now become available, geodemographic systems are still fundamentally built from area-based census information. This is partly because privacy laws require release of census data at an aggregate level but mostly because much of the research remains proprietary. Household level classifications do exist but they are often based on regressions between area and household data sets. This paper presents a different approach for creating a geodemographic classification at the individual level using only census data. A generic framework is presented, which classifies data from the UK Census Small Area Microdata and then allocates the resulting clusters to a synthetic population created via microsimulation. The framework is then applied to the creation of an individual-based system for the city of Leeds, demonstrated using data from the 2001 census, and is further validated using individual and household survey data from the British Household Panel Survey

Sacred Canopies or Religious Markets? The Effect of County-Level Religious Diversity on Later Changes in Religious Involvement

Secularization theories, such as Berger's Sacred Canopy argument , hold that religious diversity leads to a decline in religious participation. Religious market models (e.g., Finke and Stark) argue the opposite. Voas, Olson, and Crockett found that nearly all of the vast research exploring this important question prior to 2002 was flawed due to a previously unrecognized noncausal statistical relationship between measures of religious diversity and measures of religious participation. Since 2002, this methodological issue has largely stymied research on this important topic. We first describe how, following Voas et al.’s recommendations, longitudinal models can overcome these problems. We then apply these methods to data measuring the religious composition of all U.S. counties found in the Religious Congregations and Membership Studies from 1980, 1990, 2000, and 2010. Using multilevel longitudinal regression models, we find that greater county‐level religious diversity is followed by later declines in county‐level religious participation rates. The negative effect size of religious diversity is large and robust to changes in the control variables and different methods of measuring religious diversity