Sciweavers

1112 search results - page 62 / 223
» Executing Abstract Test Cases
Sort
View
ISSRE
2008
IEEE
15 years 9 months ago
A Framework for Testing Peer-to-Peer Systems
Developing peer-to-peer (P2P) systems is hard because they must be deployed on a high number of nodes, which can be autonomous, refusing to answer to some requests or even unexpec...
Eduardo Cunha de Almeida, Gerson Sunyé, Yve...
ASPDAC
2006
ACM
133views Hardware» more  ASPDAC 2006»
15 years 9 months ago
An SPU reference model for simulation, random test generation and verification
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
Yukio Watanabe, Balazs Sallay, Brad W. Michael, Da...
FPL
2003
Springer
113views Hardware» more  FPL 2003»
15 years 8 months ago
Data Dependent Circuit Design: A Case Study
Abstract. Data dependent circuits are logic circuits specialized to specific input data. They are smaller and faster than the original circuits, although they are not reusable and...
Shoji Yamamoto, Shuichi Ichikawa, Hiroshi Yamamoto
TOOLS
2009
IEEE
15 years 9 months ago
Reusing and Composing Tests with Traits
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
Stéphane Ducasse, Damien Pollet, Alexandre ...
ICST
2009
IEEE
15 years 22 days ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...