Sciweavers

6014 search results - page 82 / 1203
» Structural Testing with Use Cases
Sort
View
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
14 years 4 months ago
Reconciling Manual and Automated Testing: The AutoTest Experience
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mar...
SAC
2008
ACM
13 years 9 months ago
Test generation and minimization with "basic" statecharts
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
Fevzi Belli, Axel Hollmann
ACSD
2001
IEEE
102views Hardware» more  ACSD 2001»
14 years 1 months ago
Exploration Testing
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
Juhana Helovuo, Sari Leppänen
VTS
2000
IEEE
94views Hardware» more  VTS 2000»
14 years 2 months ago
On Testing the Path Delay Faults of a Microprocessor Using its Instruction Set
1 This paper addresses the problem of testing path delay faults in a microprocessor using instructions. It is observed that a structurally testable path (i.e., a path testable thro...
Wei-Cheng Lai, Angela Krstic, Kwang-Ting Cheng
DATE
1999
IEEE
111views Hardware» more  DATE 1999»
14 years 2 months ago
Sequential Circuit Test Generation Using Decision Diagram Models
A novel approach to testing sequential circuits that uses multi-level decision diagram representations is introduced. The proposed algorithm consists of a combination of scanning ...
Jaan Raik, Raimund Ubar