Abstract— This paper presents an automated test case generation method from UML sequence diagrams for concurrent applications. This method avoids the number of test cases explosion by selecting switch point in concurrent threads. Therefore, it can uncover errors (such as synchronization, deadlocks and more) in concurrent applications. Moreover, the method also proposes concurrent coverage criteria in order to test cases generation according to the criteria. By the experimental results, the test cases are generated by our algorithm are superior as compared to breadth-first search and depth-first search algorithms.
|
Tài liệu tham khảo [1]. Mark Utting and Bruno Legeard, “Practical Model-Based Testing: A Tools Approach”. Morgan Kaufmann Publishers Inc.,San Francisco, CA, USA, 2006. [2]. Bao-Lin Li, Zhi-shu Li, Li Qing, and Yan-Hong Chen, “Test Case Automate Generation from UML Sequence Diagram and OCL Expression. In “Proceedings of the 2007 International Conference on Computational Intelligence and Security” (CIS'07). IEEE Computer Society, Washington, DC, USA, pp. 1048-1052, 2007. [3]. Khandai, M.; Acharya, A.A.; Mohapatra, “D.P. A novel approach of test case generation for concurrent systems using UML Sequence Diagram”. Electronics Computer Technology (ICECT), 3rd International Conference”, vol. 1, pp. 157-161, 2011. [4]. M. Dhineshkumar and Galeebathullah, “An Approach to Generate Test Cases from Sequence Diagram. In Proceedings of the 2014 International Conference on Intelligent Computing Applications (ICICA '14)”. IEEE Computer Society, Washington, DC, USA, pp. 345-349, 2014. [5]. V. Garousi, L. Briand, and Y. Labiche, Control Flow Analysis of UML 2.0 Sequence Diagrams. In A. Hartman and D. Kreische, editors, “Model Driven Architecture -Foundations and Applications, volume 3748 of LNCS”, pp. 160-174. Springer, 2005. [6]. A. Nayak and D. Samanta, “Automatic Test Data Synthesis using UML Sequence Diagrams”. Journal of Object Technology, vol. 9, no. 2, pp. 115-144, 2010. [7]. A. Rountev, O. Volgin, and M. Reddoch. “Static Control-Flow Analysis for Reverse Engineering of UML Sequence Diagrams”. SIGSOFT Software Engineeing Notes, pp. 96-102, September 2005. [8]. E. Cartaxo, F. Neto, and P. Machado, “Test Case Generation by means of UML Sequence Diagrams and Labeled Transition Systems”. In IEEE International Conference on Systems, Man and Cybernetics, ISIC, pp. 1292-1297, 2007. [9]. OMG, “UML 2.0 Superstructure Specification”, OMG Adopted Specification. [10]. C. Eichner, H. Fleischhack, U. Schrimpf, and C. Stehno. “Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets”. In 12th Int. SDL Forum of LNCS, vol. 3530, pp. 133-148. Springer, 2005. [11]. Sun C-A, Wang G, Cai K-Y, Chen TY, “Distribution-aware mutation analysis”. Proceedings of 9th IEEE International Workshop on Software Cybernetics (IWSC 2012) , IEEE Computer Society, Izmir, Turkey, pp. 170-175, 2012. |
Vũ Thị Đào, Phạm Ngọc Hùng, Nguyễn Việt Hà
15:00 | 30/08/2016
15:00 | 06/09/2016
10:00 | 15/09/2016
18:00 | 07/08/2021
07:00 | 29/08/2024
Ngày 29/8/2012, Thủ tướng Chính phủ ký Quyết định về kế hoạch thực hiện Luật Cơ yếu nhằm xác định trách nhiệm và phân công nhiệm vụ cụ thể cho các Bộ, ngành, địa phương có liên quan đến hoạt động cơ yếu, đảm bảo cho việc triển khai thực hiện Luật được đồng bộ, đạt hiệu quả thiết thực
15:00 | 05/08/2024
Một cán bộ, nhân viên ngành Cơ yếu không những cần phải có bản lĩnh chính trị vững vàng, tuyệt đối trung thành với Đảng, Tổ quốc, với chế độ xã hội chủ nghĩa mà còn phải thành thạo về chuyên môn nghiệp vụ, có khả năng làm chủ khoa học, công nghệ mật mã, bảo đảm bí mật, an toàn, chính xác, kịp thời thông tin phục vụ sự lãnh đạo, chỉ đạo của Đảng, quản lý của Nhà nước, chỉ đạo, chỉ huy của lực lượng vũ trang nhân dân trong mọi tình huống.
08:00 | 12/07/2024
Ngay từ những ngày đầu hoạt động của Ban mật mã, tiêu chuẩn lựa chọn cán bộ làm công tác mật mã lúc bấy giờ là: "Người tốt, mình quen biết và tin cậy, sẵn sàng ra đi, xa lìa gia đình, tận tụy với công việc, một mình mình biết, một mình mình hay", phần lớn những cán bộ làm mật mã khi ấy đều là nam. Tuy nhiên, đến năm 1947, các đồng chí nữ mã dịch khóa Việt Bắc lại đóng vai trò quan trọng trong công tác mã dịch của Phòng Mật mã Bộ Tổng chỉ huy.
10:00 | 05/05/2024
Trong những ngày đầu thành lập Ban mật mã, tinh thần sôi nổi học tập, trao đổi, nghiên cứu đã đặt ra những nền móng đầu tiên về một ngành khoa học kỹ thuật cơ mật đặc biệt.
08:00 | 11/01/2024 | Chính sách - Chiến lược
09:00 | 10/01/2024 | Giải pháp khác
09:00 | 05/01/2024|Chính sách - Chiến lược
09:00 | 05/01/2024|An ninh – Quốc Phòng
Có rất nhiều khái niệm về Zero Trust nhưng bạn đã thực sự hiểu về nó? Bài báo này sẽ đưa ra khái niệm dễ hiểu sự hình thành của thuật ngữ Zero Trust, các tác nhân, khu vực cần triển khai Zero Trust...
13:00 | 13/08/2024
Hiện nay, chuyển đổi số đã và đang làm thay đổi nền kinh tế, bùng nổ các ứng dụng công nghệ thông tin, nổi bật là các ứng dụng di động giúp nâng cao hiệu quả trong hoạt động công tác tại các tổ chức và doanh nghiệp. Tuy nhiên, việc sử dụng các ứng dụng di động, đặc biệt là các ứng dụng sử dụng trong mạng chuyên dùng cũng đi kèm với các thách thức liên quan đến bảo mật an toàn thông tin, an ninh mạng. Bài báo này trình bày những thách thức, yêu cầu đặt ra và một số giải pháp di động hóa ứng dụng sử dụng trong mạng chuyên dùng có yếu tố bảo mật.
11:00 | 03/09/2024
