Sciweavers

378 search results - page 11 / 76
» Traceability-Driven Model Refinement for Test Case Generatio...
Sort
View
MTV
2006
IEEE
98views Hardware» more  MTV 2006»
14 years 1 months ago
Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
Heon-Mo Koo, Prabhat Mishra, Jayanta Bhadra, Magdy...
ICSE
2007
IEEE-ACM
14 years 7 months ago
Using GUI Run-Time State as Feedback to Generate Test Cases
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
Xun Yuan, Atif M. Memon
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
14 years 25 days ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...
SNPD
2008
13 years 9 months ago
A Comparative Evaluation of Tests Generated from Different UML Diagrams
This paper presents a single project experiment on the fault revealing capabilities of model-based test sets. The tests are generated from UML statecharts and UML sequence diagram...
Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik,...
IICAI
2007
13 years 9 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss