Sciweavers

1112 search results - page 3 / 223
» Executing Abstract Test Cases
Sort
View
GI
2009
Springer
14 years 7 months ago
A Generic Approach for Modeling Test Case Priorities with Applications for Test Development and Execution
: This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority e...
Andreas Hoffmann, Axel Rennoch, Ina Schieferdecker...
ATAL
2008
Springer
14 years 12 months ago
eCAT: a tool for automating test cases generation and execution in testing multi-agent systems
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
SE
2010
14 years 11 months ago
Multi-Level Test Models for Embedded Systems
Abstract: Test methodologies for large embedded systems fail to reflect the test process as a whole. Instead, the test process is divided into independent test levels feaifferences...
Abel Marrero Pérez, Stefan Kaiser
DAC
2004
ACM
15 years 11 months ago
Abstraction of assembler programs for symbolic worst case execution time analysis
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
Klaus Schneider, Tobias Schüle
ICSEA
2007
IEEE
15 years 4 months ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa