Sciweavers

12745 search results - page 210 / 2549
» Automating test automation
Sort
View
LOPSTR
2009
Springer
16 years 24 days ago
Using Rewrite Strategies for Testing BUpL Agents
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
Lacramioara Astefanoaei, Frank S. de Boer, M. Birn...
AOSE
2008
Springer
15 years 8 months ago
Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
Cu D. Nguyen, Anna Perini, Paolo Tonella
DSRT
2008
IEEE
15 years 8 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
CORR
2010
Springer
171views Education» more  CORR 2010»
15 years 6 months ago
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
Lilly Raamesh, G. V. Uma
ICCD
2006
IEEE
116views Hardware» more  ICCD 2006»
16 years 3 months ago
RTL Scan Design for Skewed-Load At-speed Test under Power Constraints
This paper discusses an automated method to build scan chains at the register-transfer level (RTL) for powerconstrained at-speed testing. By analyzing a circuit at the RTL, where ...
Ho Fai Ko, Nicola Nicolici