317,358 Hits in 3.1 sec

Automatic Test Case Generation for Interacting Services [chapter]

Kathrin Kaschner, Niels Lohmann
2009 Lecture Notes in Computer Science  
Based on the specification of a service, we introduce an approach to automatically generate test cases for black-box testing to check for conformance between the specification and the implementation of  ...  Service-oriented architectures propose loosely coupled interacting services as building blocks for distributed applications.  ...  Niels Lohmann is funded by the DFG project "Operating Guidelines for Services" (WO 1466/8-1).  ... 
doi:10.1007/978-3-642-01247-1_7 fatcat:tbfr6mkd75bkxpqko64lyqp27q

Survey on Testing of BPEL Processes

Gurpreet Kaur, Mrs. Gaganpreet Kaur
Software testing is very important phase in any development Life Cycle. The test Case generation is critical task in any type of testing.  ...  The automation of test case generation is necessary to reduce cost and effort incurred in the testing of large software.  ...  [14] applied an ACO based approach for automatic test Case generation in the state base software testing.  ... 
doi:10.24297/ijct.v13i7.2502 fatcat:wr2wfgx3kfhh7olbcx52w3gz2m

Generation of Integration Tests for Self-Testing Components [chapter]

Leonardo Mariani, Mauro Pezzè, David Willmor
2004 Lecture Notes in Computer Science  
Current techniques for integration testing are based upon the component developer providing test specifications or suites with their components.  ...  Often this results in conditions being placed upon a components use, however, what is required is a method for allowing test suites to be adapted for new situations.  ...  These Invariants provide the information for generating test cases that can be automatically executed when components are reused in new systems.  ... 
doi:10.1007/978-3-540-30233-9_25 fatcat:h5ishuhp3jcbrjxsyw3ez2sucm

A Technique for Verifying Component-Based Software

Leonardo Mariani, Mauro Pezzè
2005 Electronical Notes in Theoretical Computer Science  
Component-based software systems raise new problems for the testing community: the reuse of components suggests the possibility of reducing testing costs by reusing information about the quality of the  ...  The computed invariants are used to monitor the behavior of new components, and to reveal unexpected interactions.  ...  We first computed the invariants for version A by running a set of randomly generated test cases.  ... 
doi:10.1016/j.entcs.2004.02.089 fatcat:7o44jwfqmfb4vaiq4zbv27eyua

Exploratory test agents for stateful software systems

Stefan Karlsson
2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019  
The adequate testing of stateful software systems is a hard and costly activity.  ...  Failures that result from complex stateful interactions can be of high impact, and it can be hard to replicate failures resulting from erroneous stateful interactions.  ...  In the domain of micro-service based REST-API:s, EvoMaster introduces an approach of automatic test case generation.  ... 
doi:10.1145/3338906.3341458 dblp:conf/sigsoft/Karlsson19 fatcat:wzq7rszyenfyriwaqqmkzsslzi

A Model Driven Architecture approach to fault tolerance in Service Oriented Architectures, a performance study

Mohammed Alodib, Behzad Bordbar
2008 2008 12th Enterprise Distributed Object Computing Conference Workshops  
Another option is to implement the Diagnoser as a separate service which interacts with the existing services.  ...  Moreover, the interaction between the Diagnoser and the services can be either Orchestration or Choreography.  ...  To automatically generate the Protocol Service, Diag2BPEL produces a BPEL service involving a Switch activity with multiple Cases.  ... 
doi:10.1109/edocw.2008.8 dblp:conf/edoc/AlodibB08 fatcat:a5xe3noqkbctjbkzcftj6cftuu

Automated Integration of Service-Oriented Software Systems [chapter]

Marco Autili, Paola Inverardi, Massimo Tivoli
2015 Lecture Notes in Computer Science  
The general problem is therefore directed to the ability of interacting with the artefacts to the extent the goal is reached.  ...  The second deals with compositional theories and techniques to automatically synthesize appropriate integration means to compose the services together in order to realize a service choreography that satisfies  ...  the Italian MIUR, prot. 2012E47TM2 (project IDEAS -Integrated Design and Evolution of Adaptive Systems), and by the EC FP7 under grant agreement n. 257178 (project CHOReOS -Large Scale Choreographies for  ... 
doi:10.1007/978-3-319-24644-4_2 fatcat:tcqm7zgnk5d5ffy44qeomxc564

Generating an Automated Test Suite by Variable Strength Combinatorial Testing for Web Services

Yin Li, Zhi-an Sun, Jian-Yong Fang
2016 Journal of Computing and Information Technology  
Due to lacking of graphic interface and source code, Web services need an automated testing method, which is an important part in efficiently designing and generating test suite.  ...  At last test cases are minimized according to constraint rules.  ...  There is a workflow mentioned above for generating the test cases for Web services based on combinatorial approaches.  ... 
doi:10.20532/cit.2016.1002727 fatcat:wdvi7pge4bcxpmc2u5gxab3e6y

Test Case Generation From Web Usage Information

Jorge Esparteiro Garcia, Ana C.R. Paiva, Anca-Maria Bizoi
2021 Procedia Computer Science  
Furthermore, the extension presented in this paper is able to generate test cases in a regression testing context.  ...  In the context of SaaS (Software as a Service) where software has to be up and running 7 days a week and 24 hours a day, keeping the requirements specification and related test cases up to date can be  ...  Another, not so common, way to generate test cases that may fit better for software services in continuous adaptation is to generate test cases from web usage data.  ... 
doi:10.1016/j.procs.2021.01.247 fatcat:kz6ahr3idfdltlve3xzvur2lrq

Architecting specifications for test case generation

R. Sinnott
2003 First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings.  
A rule based SDL specification style is then presented that facilitates the automatic generation of tests.  ...  This paper, elaborates on the different tool supported approaches that can be taken for test case generation and highlights their advantages and disadvantages.  ...  Default failure test case tables are also generated automatically.  ... 
doi:10.1109/sefm.2003.1236204 dblp:conf/sefm/Sinnott03 fatcat:7xuacy3mp5e45k5dujy4nclw5u

Automated testing of Web Services system based on OWL-S

Shawkat Hasan Shafin, Li Zhang, Xi Xu
2012 2012 World Congress on Information and Communication Technologies  
In this paper we propose a series of applicable automated testing algorithms and implement an automatic testing prototype system for Web Services system based on OWL-S (Web Language for Services).  ...  First, deduce abstract test cases from interaction requirement properties of Web Services system. The properties are included in OWL-S Requirement Model extended by our research group.  ...  Abstract Test Case Generation Testing for Web Services system is driven automatically by test cases.  ... 
doi:10.1109/wict.2012.6409240 fatcat:xyzlbnk54behhb67npvalgjata

Automatic Conformance Testing of Web Services [chapter]

Reiko Heckel, Leonardo Mariani
2005 Lecture Notes in Computer Science  
First, the discovery service automatically generates conformance test cases from the provided service description, then runs the test cases on the target Web Service, and only if the test is successfully  ...  In this paper, we propose the idea of high-quality service discovery incorporating automatic testing for validating Web Services before allowing their registration.  ...  Then we generated test cases for single operations by sampling two values from each domain. The Weather -Temperature Web Service has been covered with 4 test cases and passed the test.  ... 
doi:10.1007/978-3-540-31984-9_4 fatcat:63fulia4mnf4jcf7seciyo275e

TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks [chapter]

Zhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu, Shijian Liu, Song Gao, Li Zhou, Peng Li
2009 Lecture Notes in Computer Science  
In this methodology and testing tool, we present a semi-automatic XML test data generation method of TTCN-3 test suite and use HMSC model to help the design of test suite.  ...  In this methodology and testing tool, we present a semi-automatic XML test data generation method of TTCN-3 test suite and use HMSC (High-Level Message Sequence Charts) [24, 25] model to help the design  ...  For the design framework of MBBMS conformance test suite, we present a semi-automatic XML test data generation method of TTCN-3 test suite and use HMSC model to help the design of test suite.  ... 
doi:10.1007/978-3-642-05031-2_11 fatcat:zidjcie4xzd6jnljo5lyiyz7sa

Interoperability testing of Web Services for e-learning

A. Polini
2005 e & i Elektrotechnik und Informationstechnik  
This paper discusses current approaches standardise Web Service specification and implementation and outlines an approach to conformance verification of services through testing, aiming at reducing the  ...  However an agreed standard specification per se is not sufficient, rather methodologies for validating conformance against it must also be released.  ...  of test cases for conformance verification.  ... 
doi:10.1007/bf03054387 fatcat:qmfom2woybhf3nytajl3k3wc2q

Automatic generation of test-beds for pre-deployment QoS evaluation of web services

Antonia Bertolino, Guglielmo De Angelis, Andrea Polini
2007 Proceedings of the 6th international workshop on Software and performance - WOSP '07  
This paper proposes Puppet (Pick UP Performance Evaluation Test-bed), an approach for the automatic generation of testbeds to empirically evaluate different QoS features of a Web Service under development  ...  In last years both industry and academia have shown a great interest on issues concerning consistent cooperation for business-critical services.  ...  In this perspective the test-bed will be automatically generated and the service tested before its registration.  ... 
doi:10.1145/1216993.1217017 dblp:conf/wosp/BertolinoAP07 fatcat:7il3qjne4rbrvcshxuib26mjwe
« Previous Showing results 1 — 15 out of 317,358 results