Sciweavers

1951 search results - page 58 / 391
» UML-Based integration testing
Sort
View
DATE
2006
IEEE
85views Hardware» more  DATE 2006»
15 years 9 months ago
Test set enrichment using a probabilistic fault model and the theory of output deviations
— We present a probabilistic fault model that allows any number of gates in an integrated circuit to fail probabilistically. Tests for this fault model, determined using the theo...
Zhanglei Wang, Krishnendu Chakrabarty, Michael G&o...
128
Voted
QSIC
2003
IEEE
15 years 8 months ago
A Note on Test Oracles and Semantics of Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
Hong Zhu
112
Voted
ATAL
2008
Springer
15 years 5 months ago
Ontology-based test generation for multiagent systems
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
104
Voted
CORR
2008
Springer
88views Education» more  CORR 2008»
15 years 3 months ago
Online Sensor Testing through Superposition of Encoded Stimulus
Online monitoring remains an important requirement for a range of microsystems. The solution based on the injection of an actuating test stimulus into the bias structure of active...
Norbert Dumas, Zhou Xu, Kostas Georgopoulos, R. Jo...
109
Voted
DATE
2003
IEEE
105views Hardware» more  DATE 2003»
15 years 8 months ago
Optimizing Stresses for Testing DRAM Cell Defects Using Electrical Simulation
: Stresses are considered an integral part of any modern industrial DRAM test. This paper describes a novel method to optimize stresses for memory testing, using defect injection a...
Zaid Al-Ars, A. J. van de Goor, Jens Braun, Detlev...