Sciweavers

QSIC
2005
IEEE
14 years 1 months ago
Software Testing Education and Training in Hong Kong
While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in s...
F. T. Chan, W. H. Tang, T. Y. Chen
QSIC
2005
IEEE
14 years 1 months ago
Fault-Based Testing of Database Application Programs with Conceptual Data Model
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
W. K. Chan, S. C. Cheung, T. H. Tse
QSIC
2005
IEEE
14 years 1 months ago
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
W. K. Chan, S. C. Cheung, Karl R. P. H. Leung
QSIC
2005
IEEE
14 years 1 months ago
Systematic Incremental Development of Agent Systems, using Prometheus
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
Mikhail Perepletchikov, Lin Padgham
QSIC
2005
IEEE
14 years 1 months ago
Interactive Visualisation and Testing of Jini Services
Dynamic service-oriented architectures aim to provide more flexible and robust systems that are able to handle change over time. Their dynamic nature however, provides extra chall...
Bruce Quig, Michael Kölling, John Rosenberg, ...
QSIC
2005
IEEE
14 years 1 months ago
Tool Support for Agent Development using the Prometheus Methodology
We believe that tool support is very important for any methodology. In this paper we describe PDT (Prometheus Design Tool) which supports the design of an intelligent agent system...
Lin Padgham, John Thangarajah, Michael Winikoff
QSIC
2005
IEEE
14 years 1 months ago
A System to Mark Programs Automatically
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
Ken Ngo-Pham, John Bigham, Julian Rodaway, Lauriss...
QSIC
2005
IEEE
14 years 1 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
QSIC
2005
IEEE
14 years 1 months ago
Replication for Adaptive Responsiveness in Service-Oriented Systems
A major advantage of Service-Oriented Architecture (SOA) is the ability to enable rapid formation of large-scale distributed systems. A dominant factor for the success of service-...
Stephen S. Yau, Gaurav Goyal, Yisheng Yao