Sciweavers

5439 search results - page 125 / 1088
» Patterns: from system design to software testing
Sort
View
WETICE
2003
IEEE
14 years 2 months ago
Use of Scenario Evaluation in Preparation for Deployment of a Collaborative System for Knowledge Transfer - the Case of KiMERA
This paper presented an approach for the evaluation of a collaborative system, after the completion of system development and software testing but before its deployment. Scenario ...
Lydia M. S. Lau, Craig A. Adams, Peter M. Dew, Chr...
FATES
2004
Springer
14 years 2 months ago
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
Behzad Bordbar, Kozo Okano
ATAL
2008
Springer
13 years 11 months ago
Automated unit testing intelligent agents in PDT
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...
Zhiyong Zhang, John Thangarajah, Lin Padgham
QSIC
2007
IEEE
14 years 3 months ago
Testing against Natural Language Requirements
: Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamil...
Harry M. Sneed
CEJCS
2011
80views more  CEJCS 2011»
12 years 9 months ago
Evaluating distributed real-time and embedded system test correctness using system execution traces
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
James H. Hill, Pooja Varshneya, Douglas C. Schmidt