| Title |
Automatinio paskirstytų sistemų testavimo metodo naudojančio UML modelius sudarymas ir tyrimas / |
| Translation of Title |
Formation and research of an automated distributed system test method using UML models. |
| Authors |
Prapuolenis, Jonas |
| Full Text |
|
| Pages |
46 |
| Keywords [eng] |
testing ; distributed systems ; model checker |
| Abstract [eng] |
Most applications today communicate with other processes over a network. Testing and verification of such systems is complex. In many cases testing is an essential, but time and resource consuming activity in the software development process. Automated test methods are used to make testing of such distributed systems easier. In this document an automated distributed system test method using UML models is presented. It uses a couple of clients communicating with server and is able to detect resource racing related failures. The first section describes a research of distributed system testing issues, concurrency and resource racing error detection, and ways of using model checker for testing distributed systems as well as the use of UML models for test purposes. The second section presents a testing method used for the tool. Tool is described in the third section. It is based on Java and uses Java PathFinder model checker for simulating two clients. Server is run outside of model checker. UML class diagrams are used for defining server test parameters by applying certain stereotypes on methods being tested. The investigation section describes a performed experiment with created tool. Two simple distributed systems are presented for mutation test purposes. Mutation testing is performed with defined mutation operators and results are analyzed. Additionally results are compared to basic JUnit tests. |
| Type |
Master thesis |
| Language |
Lithuanian |
| Publication date |
2013 |
