Sciweavers

3544 search results - page 169 / 709
» Software Testing
Sort
View
117
Voted
APSEC
2006
IEEE
15 years 8 months ago
Testing of Timer Function Blocks in FBD
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung De...
135
Voted
TASE
2009
IEEE
15 years 9 months ago
Fault-Based Test Case Generation for Component Connectors
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
Bernhard K. Aichernig, Farhad Arbab, Lacramioara A...
139
Voted
ITC
1996
IEEE
98views Hardware» more  ITC 1996»
15 years 6 months ago
Mixed-Mode BIST Using Embedded Processors
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...
Sybille Hellebrand, Hans-Joachim Wunderlich, Andre...
135
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
Check 'n' crash: combining static checking and testing
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
Christoph Csallner, Yannis Smaragdakis
120
Voted
HICSS
2007
IEEE
176views Biometrics» more  HICSS 2007»
15 years 8 months ago
Automated Testing of Generic Computational Science Libraries
The design and maintenance of large computational science systems can be aided greatly by the use of generic computational science libraries. The objectoriented design of software...
Kirk Sayre, Jesse H. Poore