Managing test suites for services
-
Upload
universitaet-rostock -
Category
Business
-
view
736 -
download
0
description
Transcript of Managing test suites for services
![Page 1: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/1.jpg)
Managing test suites for services
Kathrin Kaschner
![Page 2: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/2.jpg)
208.10.2010 http://service-technology.org
Black Box Testing
specification
test case
serviceimplementation
generate
![Page 3: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/3.jpg)
308.10.2010 http://service-technology.org
Service Oriented Computing
– implements an encapsulated, self-contained functionality
– loosely-coupled– geographic distributed
– communication via message exchange– stateful
Service:
B
D
A
C
![Page 4: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/4.jpg)
408.10.2010 http://service-technology.org
Modeling Communication
specification
BA
login
rejectaccept
cc
bt
cod
ω
![Page 5: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/5.jpg)
508.10.2010 http://service-technology.org
implementation
Modeling Communication
login
rejectaccept
cc
bt
cod
ω
login
rejectaccept
cc
bt
cod
ω
specification
![Page 6: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/6.jpg)
608.10.2010 http://service-technology.org
Modeling Communication
no deadlocks
the model describes the set of all partner services implicitly
login
rejectaccept
cc
bt
cod
ω
specification
![Page 7: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/7.jpg)
708.10.2010 http://service-technology.org
Test Case = Partner Service
a possible partner service
login
rejectaccept
ω
cc
How to find partners
systematically?
✔✔
login
rejectaccept
cc
bt
cod
ω
specification
![Page 8: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/8.jpg)
808.10.2010 http://service-technology.org
Operating Guidelines
–characterizes all partner services
–edges:? = receive message! = send message
–annotated states
![Page 9: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/9.jpg)
908.10.2010 http://service-technology.org
Operating Guidelines
login
rejectaccept
ω
cc
✔✔
![Page 10: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/10.jpg)
1008.10.2010 http://service-technology.org
specification
test case
serviceimplementation
generate
Black Box Testing
![Page 11: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/11.jpg)
1108.10.2010 http://service-technology.org
Black Box Testing
(1)
(2) abstracttest case
specification
formal specificati
on(open net)
operating guideline
test case
implementation
(3) (4)
(5)
![Page 12: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/12.jpg)
1208.10.2010 http://service-technology.org
- new functionalities are not taken into account by the existing test suite- existing test cases can become invalid
login
rejectaccept
cc
bt
cod
ωvoucher
Development of a new version
![Page 13: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/13.jpg)
1308.10.2010 http://service-technology.org
login
rejectaccept
ω
cc
✘✘
login
rejectaccept
cc
bt
cod
ωvoucher
Development of a new version
![Page 14: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/14.jpg)
1408.10.2010 http://service-technology.org
1) Making the test suite conclusive
– invalid test cases are removed from the test suite
matching with the new operating guideline
login
rejectaccept
cc
bt
cod
ωvoucher
Updating the test suite
![Page 15: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/15.jpg)
1508.10.2010 http://service-technology.org
2) Making the test suite complete– add test cases for the new functionalities set operations for operating guidelines
OG OGnew
Updating the test suite
new test cases
![Page 16: Managing test suites for services](https://reader034.fdocuments.net/reader034/viewer/2022051820/55381002550346722e8b473b/html5/thumbnails/16.jpg)
1608.10.2010 http://service-technology.org
Future Work
– OGnew\OG can be only represented as an extended
annotated automaton
test case selection is NP-complete
good heuristics are neededOG OGnew
new test cases