Sciweavers

3544 search results - page 222 / 709
» Software Testing
Sort
View
PTS
1993
91views Hardware» more  PTS 1993»
15 years 7 months ago
Generating Tests for Control Portion of SDL Specifications
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
Gang Luo, Anindya Das, Gregor von Bochmann
CASCON
1997
132views Education» more  CASCON 1997»
15 years 7 months ago
Augmenting data flow criteria for class testing
A class is widely considered the basic unit of testing in object-oriented software. Although there has been much recent research on class testing, little attention has been paid t...
Pei Hsia, Xiaolin Li, David Chenho Kung
IOLTS
2003
IEEE
124views Hardware» more  IOLTS 2003»
15 years 11 months ago
Designing FPGA based Self-Testing Checkers for m-out-of-n Codes
The paper describes a specific method for designing selfchecking checkers for m-out-of-n codes. The method is oriented to the Field Programmable Gate Arrays technology and is base...
A. Matrosova, Vladimir Ostrovsky, Ilya Levin, K. N...
COMPUTER
2002
75views more  COMPUTER 2002»
15 years 6 months ago
GUI Testing: Pitfalls and Process
ion, so mapping between GUI events and the underlying code is not straightforward. Code-based coverage criteria do not necessarily address problematic interactions between the GUI&...
Atif M. Memon
ARITH
1999
IEEE
15 years 10 months ago
Moduli for Testing Implementations of the RSA Cryptosystem
Comprehensive testing of any implementation of the RSA cryptosystem requires the use of a number of moduli with specific properties. It is shown how to generate a sufficient varie...
Colin D. Walter