![]() ![]() Ĭartaxo E, Neto F, Machado P (2007) Test case generation by means of UML sequence diagrams and labeled transition systems. In: Proceedings of the 10th SIGPLAN symposium principles and practice of parallel programming, pp 206–212. Van Nostrand Reinhold Co., New Yorkīron A, Farchi E, Magid Y, Nir Y, Ur S (2005) Applications of synchronization coverage. Int J Comput Appl 975:8887īeizer B (1990) Software testing techniques, 2nd edn. J Softw Test Verif Reliab 13:95–127Īnsari GA (2017) Use of firefly algorithm in optimization and prioritization of test paths generated from UML sequence diagram. Cambridge University Press, New YorkĪndrews A, France R, Ghosh S, Craig G (2003) Test adequacy criteria for UML design models. SpringerĪmmann P, Offutt J (2008) Introduction to software testing, 1st edn. In: Proceedings of the 3rd international conference on unified modeling language: advancing the standard, pp 383–395. The empirical results show that the proposed scheme provides a good trade-off between cost and defect exposing capability of the concurrent design modeled by UML sequence diagrams.Ībdurazik A, Offutt J (2000) Using UML collaboration diagrams for static checking and test generation. We define new coverage criteria, namely interleaving message path coverage, synchronization coverage, and essential concurrent message path coverage. The proposed MCFG facilitates defining new coverage criteria for message interleaving inside concurrency constructs, like parallel and critical region combined fragments and general ordering. This paper proposes a message control flow graph (MCFG), a richer form of a control flow graph, as an intermediate representation for UML sequence diagrams. This research explores relevant concurrency coverage criteria for UML sequence diagrams and their definitions to work in real-life usages. ![]() Hence, there is a necessity for appropriate concurrency coverage criteria to work with a finite number of test scenarios. Concurrent system testing is exponential due to the execution of parallel constructs and interleavings of messages inside parallel constructs. Therefore, test case generation and coverage criterion definitions are challenging for a concurrent system using UML designs. Concurrent systems are non-deterministic in nature. UML designs represent sequential and concurrent behaviors of the systems in terms of activity, sequence, and state machine diagrams. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |