Thesis (M Distance Ed) -- University of South Australia, 1993

Thesis (Ed. (i.e. Ph.) D.)--Virginia Polytechnic Institute and State University, 1993. / Vita. Abstract. Includes bibliographical references (leaves 369-375). Also available via the Internet.

Thesis (Ph. D.)--Leland Stanford junior University, 1912. / Biography. "Published as no. 87 of the Psychological monographs." Bibliography: p. [243]-255.

Thesis (M.S.)--University of Wisconsin--Madison, 1973. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.

Thesis (Ph. D.)--University of Illinois, 1915. / Vita. "Selected bibliography": p. 117-120.

Thesis (M.Phil.)--Hong Kong University of Science and Technology, 2006. / Includes bibliographical references (leaves 49-50). Also available in electronic version.

Test data sets have been automatically generated for both numerical and string data types to test the functionality of simple procedures and a good sized UNIX filing system from their Z specifications. Different structured properties of software systems are covered, such as arithmetic expressions, existential and universal quantifiers, set comprehension, union, intersection and difference, etc. A CASE tool ZTEST has been implemented to automatically generate test data sets. Test cases can be derived from the functionality of the Z specifications automatically. The test data sets generated from the test cases check the behaviour of the software systems for both valid and invalid inputs. Test cases are generated for the four boundary values and an intermediate value of the input search domain. For integer input variables, high quality test data sets can be generated on the search domain boundary and on each side of the boundary for both valid and invalid tests. Adaptive methods such as Genetic Algorithms and Simulated Annealing are used to generate test data sets from the test cases. GA is chosen as the default test data generator of ZTEST. Direct assignment is used if it is possible to make ZTEST system more efficient. Z is a formal language that can be used to precisely describe the functionality of computer systems. Therefore, the test data generation method can be used widely for test data generation of software systems. It will be very useful to the systems developed from Z specifications.

Esta dissertação se apresenta por três movimentos básicos. Crítico: os resquícios do militante, ainda insistente em vociferar contra a escola e contra as aberrações da internação compulsória da ensinagem. Poético: um descabimento encantado, ainda meio romântico, que beira o sem sentido. Mas que encontra suas potências justamente no não saber, no mistério e na dúvida. Caósmico: imersão na criação suja, porca, fecal, destrutiva, shivaísta de mundos. Ao mesmo tempo experimentação potência, em êxtase, gozo intenso, vibrante de soltura. Através de fragmentos compostados a pesquisa se mistura com as decomposições institucionais. Percebe pequenos restos, descreve breves abandonos. E olha enquanto vive, para a vasta compostagem acontecendo nos conceitos educativos. / Three basic movements present this dissertation Critic: the militant remmants, still loudly yelling against school and against compulsory teaching aberrations. Poetic: a delighted disregard, still romantic, in the nonsense edge. That find your powers in don't knowing, in the mystery and in doubt. Caosmic: worlds dirty creation immersion, hog, faecal, destructive, shivaish. At the same time powerful experimentation, in bliss, intense joy, vibrant release. Trough composted fragments the research is mixed with the institutional decompositions. Look at small scraps, describes brief neglects. And looks while living, to the large education concepts composting.

No description available.

Esta dissertação se apresenta por três movimentos básicos. Crítico: os resquícios do militante, ainda insistente em vociferar contra a escola e contra as aberrações da internação compulsória da ensinagem. Poético: um descabimento encantado, ainda meio romântico, que beira o sem sentido. Mas que encontra suas potências justamente no não saber, no mistério e na dúvida. Caósmico: imersão na criação suja, porca, fecal, destrutiva, shivaísta de mundos. Ao mesmo tempo experimentação potência, em êxtase, gozo intenso, vibrante de soltura. Através de fragmentos compostados a pesquisa se mistura com as decomposições institucionais. Percebe pequenos restos, descreve breves abandonos. E olha enquanto vive, para a vasta compostagem acontecendo nos conceitos educativos. / Three basic movements present this dissertation Critic: the militant remmants, still loudly yelling against school and against compulsory teaching aberrations. Poetic: a delighted disregard, still romantic, in the nonsense edge. That find your powers in don't knowing, in the mystery and in doubt. Caosmic: worlds dirty creation immersion, hog, faecal, destructive, shivaish. At the same time powerful experimentation, in bliss, intense joy, vibrant release. Trough composted fragments the research is mixed with the institutional decompositions. Look at small scraps, describes brief neglects. And looks while living, to the large education concepts composting.