Performance data were collected for students taking the computer-assisted instruction course in logic at Stanford University. The fit of the data to the Suppes, Zanotti, and Fletcher trajectory model was found to be good, though a systematic deviation from the model suggested some changes in the curriculum. A quantitative approach was used to pinpoint areas for curriculum revision. In addition, the model was evaluated for use as the basis of a predictive control mechanism.
We describe an approach to software analysis and test generation that combines several technologies: object-oriented databases and parsers for capturing and representing software; pattern languages for writing program templates and querying and analyzing a database of software; and transformation rules for automatically generating test cases based on the analysis results, and for automatically creating program "mutants" to determine adequacy of coverage of the test cases. We present a program transformation system, REFINE~~~, that incorporates these technologies in an open environment for software analysis and test generation. Next we present concrete examples of how our approach is being applied to analysis and test generation for C software.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.