Sciweavers

3547 search results - page 249 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
SIAMCOMP
2010
83views more  SIAMCOMP 2010»
15 years 5 months ago
Reaching and Distinguishing States of Distributed Systems
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
Robert M. Hierons
FPT
2005
IEEE
133views Hardware» more  FPT 2005»
16 years 27 days ago
FPGA-Based Conformance Testing and System Prototyping of an MPEG-4 SA-DCT Hardware Accelerator
Two FPGA implementations of a Shape Adaptive Discrete Cosine Transform (SA-DCT) accelerator are presented in this paper: one PCI-based and the other AMBA-based. The former is used...
Andrew Kinane, Alan Casey, Valentin Muresan, Noel ...
ISSRE
2005
IEEE
16 years 26 days ago
Testing Web Services by XML Perturbation
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...
Wuzhi Xu, Jeff Offutt, Juan Luo
ARCS
2004
Springer
16 years 21 days ago
Finite-State Modeling, Analysis and Testing of System Vulnerabilities
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
FATES
2004
Springer
16 years 20 days ago
Using Model Checking for Reducing the Cost of Test Generation
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
Hyoung Seok Hong, Hasan Ural