Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Tài liệu HOT
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
0
Trang chủ
Khoa Học Tự Nhiên
Sinh học
An improved genetic algorithm for test data generation for simulink models
TAILIEUCHUNG - An improved genetic algorithm for test data generation for simulink models
This algorithm involves some modifications of genetic operators and the employment of memory mechanism to enhance its effectiveness. The proposed approach is implemented to generate test data for Simulink models. The obtained results indicated that IGA outperformed the conventional genetic algorithm in terms of the quality of test sets, and the execution time. | Journal of Computer Science and Cybernetics, , (2017), 50–69 DOI AN IMPROVED GENETIC ALGORITHM FOR TEST DATA GENERATION FOR SIMULINK MODELS LE THI MY HANH, NGUYEN THANH BINH, KHUAT THANH TUNG The University of Danang - University of Science and Technology, Vietnam ltmhanh@; ntbinh@; thanhtung09t2@ Abstract. Mutation testing is a powerful and effective software testing technique to assess the quality of test suites. Although many research works have been done in the field of search-based testing, automatic test data generation based on the mutation analysis method is not straightforward. In this paper, an Improved Genetic Algorithm (IGA) is proposed to increase the quality of test data based on mutation coverage criterion. This algorithm involves some modifications of genetic operators and the employment of memory mechanism to enhance its effectiveness. The proposed approach is implemented to generate test data for Simulink models. The obtained results indicated that IGA outperformed the conventional genetic algorithm in terms of the quality of test sets, and the execution time. Keywords. Genetic algorithm, mutation testing, simulink, test data generation. 1. INTRODUCTION Software testing is an expensive, tedious, and time-consuming activity but it is a crucial step to improve the quality and the reliability of software. The process of generating test data decides the effectiveness and efficiency of software testing. The quality of test data is normally measured by the adequacy criteria. Adequacy criteria, also referred to as coverage criteria, pose certain requirements that should be fulfilled by test cases. Mutation testing proposed by DeMillo et al. [6] is a powerful and effective testing technique to assess the quality of test suites. The driving principle of mutation testing is the use of faults which mimic mistakes that a competent programmer would make. These faults are introduced into
Trọng Việt
72
20
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Không thể tạo bản xem trước, hãy bấm tải xuống
Tải xuống
TÀI LIỆU LIÊN QUAN
Nonstandard finite difference schemes for solving a modified epidemiological model for computer viruses
15
94
0
Multi-objective evolutionary algorithms: Foundation, development and open issues
20
89
0
Learning interaction measure with relevance feedback in image retrieval
19
87
0
Quality of transmission aware routing in ad hoc networks based on cross layer model combined with the static agent
16
81
0
Algorithm to build fuzzy decision tree for data classification problem based on fuzziness intervals matching
14
91
0
Hedges algebras and fuzzy partition problem for qualitative attributes
16
68
0
Characterizations for several classes of alternative codes
11
71
0
A packet classification algorithm on multi way priority trie
15
91
0
Solving min max capacitated vehicle routing problem by local search
16
132
0
Novel control approach for optimal power flow in hybrid wind photovoltaic diesel generation systems
13
95
0
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461742
55
Giới thiệu :Lập trình mã nguồn mở
14
22075
54
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10740
524
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
9929
445
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9427
104
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8134
1122
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8134
421
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7819
2212
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6502
247
Vật lý hạt cơ bản (1)
29
5680
81
TỪ KHÓA LIÊN QUAN
Sinh học
Journal of Computer Science and Cybernetics
Improved genetic algorithm
Test data generation for simulink models
Conventional genetic algorithm
Generate test data for Simulink models
Nonstandard finite difference schemes
Solving a modified epidemiological model for computer viruses
Nonstandard finite difference
Computer virus propagation model
Multi objective evolutionary algorithms
Evolutionary algorithms and foundation
development and open issues
EC enables computer scientists
Evolutionary algorithms designed
Learning interaction measure
Relevance feedback in image retrieval
Multi feature query
The fuzzy density values
Quality of transmission aware routing in ad hoc networks
Cross layer model combined
The static agent
Ad hoc networks
QoT aware routing
sattic agent
Algorithm to build fuzzy decision tree for data classification problem
Fuzziness intervals matching
Fuzzy decision tree
The fuzzy data mining problem
Hedges algebras and fuzzy partition problem for qualitative attributes
Construct the membership functions
Fuzzy Association Rules
Member ship functions
Characterizations for several classes of alternative codes
Several classes of alternative codes
norm alternative code
Left norm alternative code
Two sided alternative code
Left alternative code
Strict alternative code
Packet classification algorithm
Multi way priority trie
Significant number of researchers
Both theoretically and experimentally proved
Solving min max capacitated vehicle routing problem by local search
Solving min max capacitated vehicle routing problem
Solving min max capacitated
Proposed algorithms compared
Novel control approach for optimal power flow
Hybrid wind photovoltaic diesel generation systems
Diesel generation systems
Analytical control model
Mobile ad hoc network
Valid route testing mechanism
Using Network Simulator
Random movement network topology
Rough set theory
Polynomial time complexity
Algorithm finding object reducts
Nonholonomic wheeled mobile robot
Wheeled mobile robot
Function neural network
Unknown external disturbances
Modeling the differential motion of a mobile manipulator
Designing a new visual servoing
Tracking a flying target
Reinforcement learning algorithm
Efficient navigation framework
Autonomous mobile robots
The mobile robots
Interpolation based on semantic distance weighting
Hedge algebra and its application
Semantic distance weighting
Bi linear interpolation
Linguistic rule base system
Transform the current Web
Conceptual data model
Ti meER model
The temporal databases into OWL ontology
The ER model into ontology
Sliding mode control
Sliding mode control for a planar parallel robot driven
Electric motors in a task space
The substructure method
Greedy Randomized Adaptive Search Procedure
Multiple Traveling Repairmen Problem with Distance Constraints
Variable Neighborhood Descent
Traveling Repairman Problem
On the real world semantics interpretability
Fuzzy rule based systems under fuzzy set approach
Hedge algebra approach
The RWS interpretability
Alternating current electrical systems
Integer quadratic programming
Non linear knapsack problems arising
Polynomial time approximation schemes
Statistical implication rules
Collaborative filtering recommender system
Statistical implicative analysis
The accuracy of recommender systems
Picture fuzzy sets
Picture fuzzy t norms
Picture fuzzy t conorm
De Morgan picture operator triple
Taxonomic assignment for large scale metagenomic data
High perfomance systems
Large scale metagenomic data
Achieve good performance
TÀI LIỆU MỚI ĐĂNG
Đánh giá hao mòn và độ tin cậy của chi tiết và kết cấu trên đầu máy diezel part 3
12
282
0
29-03-2024
Báo cáo khoa học: Loss of kinase activity in Mycobacterium tuberculosis multidomain protein Rv1364c
14
221
0
29-03-2024
Bibliography on Medieval Women, Gender, and Medicine 1980-2009
82
197
0
29-03-2024
Bơm máy nén quạt trong công nghệ part 1
20
241
2
29-03-2024
Anh văn bằng C-124
8
162
0
29-03-2024
Magnetic Bearings Theory and Applications phần 2
14
159
0
29-03-2024
Management and Services Part 1
10
148
0
29-03-2024
Posted prices versus bargaining in markets_7
23
147
0
29-03-2024
MySQL Database Usage & Administration PHẦN 7
37
146
0
29-03-2024
THE ANTHROPOLOGY OF ONLINE COMMUNITIES BY Samuel M.Wilson and Leighton C. Peterson
19
131
0
29-03-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7819
2212
Ebook Chào con ba mẹ đã sẵn sàng
112
3652
1219
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
5130
1173
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8134
1122
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5037
1084
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3403
638
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3620
524
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10740
524
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
3901
502
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4027
470
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.