Sciweavers

1246 search results - page 11 / 250
» Online testing with model programs
Sort
View
JISE
2008
107views more  JISE 2008»
13 years 7 months ago
A State-Based Testing Approach for Aspect-Oriented Programming
abstract the state-based behavior of AOP program with the consideration of the interactions between the base modules and aspects. Based on the model, test cases can be derived so a...
Chien-Hung Liu, Chuan-Wen Chang
HPCA
2006
IEEE
14 years 8 months ago
Completely verifying memory consistency of test program executions
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
Chaiyasit Manovit, Sudheendra Hangal
SIGCSE
2005
ACM
133views Education» more  SIGCSE 2005»
14 years 1 months ago
Designing, implementing, and analyzing a placement test for introductory CS courses
An introductory CS1 course presents problems for educators and students due to students’ diverse background in programming knowledge and exposure. Students who enroll in CS1 als...
Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen N...
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
13 years 11 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
AMOST
2007
ACM
13 years 11 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz