Search For:

Displaying 1-15 out of 15 total
Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Raquel Blanco,Javier Tuya,Rubén V. Seco
Issue Date:April 2012
pp. 71-80
Testing a database application is a challenging process where both the database and the user interaction have to be considered in the design of test cases. This paper describes a specification-based approach to guide the design of test inputs (both the tes...
 
An Abstract Transaction Model for Testing the Web Services Transactions
Found in: Web Services, IEEE International Conference on
By Rubén Casado,Javier Tuya,Muhammad Younas
Issue Date:July 2011
pp. 730-731
Transactions are a fundamental technology for building efficient and reliable web service based applications. Various models and protocols have been developed by academic and industrial research community in order to effectively manage web services transac...
 
A Framework to Test Advanced Web Services Transactions
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Rubén Casado, Javier Tuya, Muhammad Younas
Issue Date:March 2011
pp. 443-446
Transactions are a key issue in the reliability of distributed applications because they ensure all the participants achieve a mutually agreed outcome. However, current research has given little attention to testing transactions in web services. This paper...
 
A Proactive Approach to Test Service Level Agreements
Found in: Software Engineering Advances, International Conference on
By Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva
Issue Date:August 2010
pp. 453-458
Service Oriented Architectures (SOA) have emerged as a promising solution to develop interoperable and highly dynamic applications. In the domain of SOA, Service Level Agreements (SLAs) are used to specify the stipulated terms between the service provider ...
 
Testing Long-Lived Web Services Transactions Using a Risk-Based Approach
Found in: Quality Software, International Conference on
By Ruben Casado, Javier Tuya, Muhammad Younas
Issue Date:July 2010
pp. 337-340
Transactions are crucial to ensuring the quality (such as recovery and reliability) of web services applications by constraining them to a mutually agreed outcome. This paper addresses the issue of testing the long-lived web services transactions which has...
 
A Partial Test Oracle for XML Query Testing
Found in: Practice And Research Techniques, Testing: Academic & Industrial Conference on
By Dae S. Kim-Park, Claudio de la Riva, Javier Tuya
Issue Date:September 2009
pp. 13-20
A partial test oracle is proposed to verify the actual outputs in access testing on XML data. The considered software under test is a query program which receives as input an XML document obtained from an XML repository of any kind, and produces XML data a...
 
A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search
Found in: Software Testing Verification and Validation Workshop, IEEE International Conference on
By Raquel Blanco, José García-Fanjul, Javier Tuya
Issue Date:April 2009
pp. 131-140
A challenging part of Software Testing entails the generation of test cases, which cost can be reduced by means of the use of techniques for automating this task. In this paper we present an approach based on the metaheuristic technique Scatter Search for ...
 
SQLMutation: A tool to generate mutants of SQL database queries
Found in: Mutation Analysis, Workshop on
By Javier Tuya, Ma Jose Suarez-Cabal, Claudio de la Riva
Issue Date:November 2006
pp. 1
We present a tool to automatically generate mutants of SQL database queries. The SQLMutation tool is available on the Web and it can be accessed using two different interfaces: A Web application to interactively generate the mutants and a Web service that ...
 
A Partition-Based Approach for XPath Testing
Found in: Software Engineering Advances, International Conference on
By Claudio de la Riva, Jose Garcia-Fanjul, Javier Tuya
Issue Date:November 2006
pp. 17
The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be accessed efficiently using the standard XPath as query language. However, the s...
 
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Found in: Practice And Research Techniques, Testing: Academic & Industrial Conference on
By José García-Fanjul, Claudio de la Riva, Javier Tuya
Issue Date:August 2006
pp. 127-130
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing method for compositions of web services. A formal verification tool (the SPIN m...
 
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search
Found in: Automated Software Engineering, International Conference on
By Eugenia Díaz, Javier Tuya, Raquel Blanco
Issue Date:October 2003
pp. 310
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic generation of tests use metaheuristic search techniques, i.e. Genetic Algorith...
 
A Modular Tool for Automated Coverage in Software Testing
Found in: Software Technology and Engineering Practice, International Workshop on
By Eugenia Diaz, Javier Tuya, Raquel Blanco
Issue Date:September 2003
pp. 241-246
Software testing is an expensive and difficult process which need much time. For this reason, the existence of tools that allow to decrease this effort is very important. Our tool automatically generates test cases in order to obtain branch coverage in sof...
 
Improvement of Test Data by Measuring SQL Statement Coverage
Found in: Software Technology and Engineering Practice, International Workshop on
By María José Suárez-Cabal, Javier Tuya
Issue Date:September 2003
pp. 234-240
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this information is generally handled through SQL queries embedded in the application ...
 
Coverage-based testing for Service Level Agreements
Found in: IEEE Transactions on Services Computing
By Marcos Palacios,Jose Garcia-Fanjul,Javier Tuya,George Spanoudakis
Issue Date:February 2014
pp. 1
Service Level Agreements (SLAs) are typically used to specify rules regarding the consumption of services that are agreed between the providers of the Service-Based Applications (SBAs) and their consumers. An SLA includes a list of terms that contain the g...
 
An automated test oracle for XML processing programs
Found in: Proceedings of the First International Workshop on Software Test Output Validation (STOV '10)
By Claudio de la Riva, Dae S. Kim-Park, Javier Tuya
Issue Date:July 2010
pp. 5-12
XML processing programs play an important role in the achievement of XML data querying, manipulation, and construction operations to compose XML data structures for very diverse purposes regarding information representation, storing and exchange on XML-bas...
     
 1