Fail-Safe Testing of Web Applications

This dissertation introduces an approach to generate tests to test fail-safe behavior for web applications. We apply the approach to a commercial web application. We build models for both behavioral and mitigation requirements. We create mitigation tests from an existing functional black box test suite by determining failure type and points of failure in the test suite and weaving required mitigation based on weaving rules to generate a test suite that tests proper mitigation of failures. A genetic algorithm (GA) is used to determine points of failure and type of failure that needs to be tested. Mitigation test paths are woven into the behavioral test at the point of failure based on failure specific weaving rules. A simulator was developed to evaluate choice of parameters for the genetic algorithm. We showed how to tune the fitness function and performed tuning experiments for GA to determine what values to use for exploration weight and prospecting weight. We found that higher defect densities make prospecting and mining more successful, while lower mitigation defect densities need more exploration. We compare efficiency and effectiveness of the approach. First, the GA approach is compared to random selection. The results show that the GA performance was better than random selection and that the approach was robust when the search space increased. Second, we compare the GA against four coverage criteria. The results of comparison show that test requirements generated by a genetic algorithm (GA) are more efficient than three of the four coverage criteria for large search spaces. They are equally effective. For small search spaces, the genetic algorithm is less effective than three of the four coverage criteria. The fourth coverage criteria is too weak and unable to find all defects in almost all cases. We also present a large case study of a mortgage system at one of our industrial partners and show how we formalize the approach. We evaluate the use of a GA to create test requirements. The evaluation includes choice of initial population, multiplicity of runs and a discussion of the cost of evaluating fitness. Finally, we build a selective regression testing approach based on types of changes (add, delete, or modify) that could occur in the behavioral model, the fault model, the mitigation models, the weaving rules, and the state-event matrix. We provide a systematic method by showing the formalization steps for each type of change to the various models.

Everything in di Dark Muss Come to Light: A Postcolonial Investigation of the Practice of Extra Lessons at the Secondary Level in Jamaica's Education System

Despite the vast research examining the evolution of Caribbean education systems, little is chronologically tied to the postcolonial theoretical perspectives of specific island-state systems, such as the Jamaican education system and its relationship with the underground shadow education system. This dissertation study sought to address the gaps in the literature by critically positioning postcolonial theories in education to examine the macro- and micro-level impacts of extra lessons on secondary education in Jamaica. The following postcolonial theoretical (PCT) tenets in education were contextualized from a review of the literature: (a) PCT in education uses colonial discourse analysis to critically deconstruct and decolonize imperialistic and colonial representations of knowledge throughout history; (b) PCT in education uses an anti-colonial discursive framework to re-position indigenous knowledge in schools, colleges, and universities to challenge hegemonic knowledge; (c) PCT in education involves the "unlearning" of dominant, normative ideologies, the use of self-reflexivity, and deconstruction; and (d) PCT in education calls for critical pedagogical approaches that reject the banking concept of education and introduces inclusive pedagogy to facilitate "the passage from naïve to critical transitivity" (Freire, 1973, p. 32). Specifically, using a transformative mixed-methods design, grounded and informed by a postcolonial theoretical lens, I quantitatively uncovered and then qualitatively highlighted how if at all extra lessons can improve educational outcomes for students at the secondary level in Jamaica. Accordingly, the quantitative data was used to test the hypotheses that the practice of extra lessons in schools is related to student academic achievement and the practice of critical-inclusive pedagogy in extra lessons is related to academic achievement. The two-level hierarchical linear model analysis revealed that hours spent in extra lessons, average household monthly income, and critical-inclusive pedagogical tents were the best predictors for academic achievement. Alternatively, the holistic multi-case study explored how extra-lessons produces increased academic achievement. The data revealed new ways of knowledge construction and critical pedagogical approaches to galvanize systemic change in secondary education. Furthermore, the data showed that extra lessons can improve educational outcomes for students at the secondary level if the conditions for learning are met. This study sets the stage for new forms of knowledge construction and implications for policy change.