Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Computer Engineering
Scaling Up An Infrastructure For Controlled Experimentation With Testing Techniques, Wayne D. Motycka
Scaling Up An Infrastructure For Controlled Experimentation With Testing Techniques, Wayne D. Motycka
Department of Computer Science and Engineering: Dissertations, Theses, and Student Research
Software testing research often involves reproducing previous experimental results. Previous work created a repository infrastructure for containment and dissemination of testable research subjects using a private centralized storage mechanism for hosting these test subject archives. While this is a good way to store these subjects it can be inefficient when the size of subjects increases or the number of versions of the subject’s source code is large. The delivery of these large subjects from a centralized repository can be quite large and on occasion may not succeed requiring the user to repeat the download request. Coupled with the limited resources …
A Unifying Approach To Behavioral Coverage, Elena Sherman
A Unifying Approach To Behavioral Coverage, Elena Sherman
Department of Computer Science and Engineering: Dissertations, Theses, and Student Research
Developing methods for validating that a program works as intended is one of the key research areas in software engineering. Ideally a program P must exhibit its expected be- havior, or property, φ on all of its inputs, i.e., P |= φ. The software engineering community has developed various program analysis approaches to assess whether P |= φ. In general, these approaches can be partitioned into dynamic and static program analysis. The former execute P on a particular input and checks that the execution conforms to φ. The latter in- terprets the code of P and check that on all …
Designing Software Product Lines For Testability, Isis Cabral
Designing Software Product Lines For Testability, Isis Cabral
Department of Computer Science and Engineering: Dissertations, Theses, and Student Research
Software product line (SPL) engineering offers several advantages in the development of families of software products such as reduced costs, high quality and a short time to market. A software product line is a set of software intensive systems, each of which shares a common core set of functionalities, but also differs from the other products through customization tailored to fit the needs of individual groups of customers. The differences between products within the family are well-understood and organized into a feature model that represents the variability of the SPL. Products can then be built by generating and composing features …