Tải bản đầy đủ (.pdf) (49 trang)

KHOA HỌC VÀ CÔNG NGHỆ CẤP CƠ SỞ NGHIÊN CỨU CÁC ĐỘ ĐO MÃ NGUỒN CHO BÀI TOÁN DỰ ĐOÁN LỖI PHẦN MỀM

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (2.37 MB, 49 trang )

ĐẠI HỌC ĐÀ NẴNG
TRƯỜNG CĐ CÔNG NGHỆ THÔNG TIN

BÁO CÁO TỔNG KẾT
ĐỀ TÀI KHOA HỌC VÀ CÔNG NGHỆ
CẤP CƠ SỞ

NGHIÊN CỨU CÁC ĐỘ ĐO MÃ NGUỒN CHO
BÀI TOÁN DỰ ĐOÁN LỖI PHẦN MỀM
Mã số: T2018-07-07

Chủ nhiệm đề tài: ThS. Hà Thị Minh Phương

Đà Nẵng, 12/2018


ĐẠI HỌC ĐÀ NẴNG
TRƯỜNG CĐ CÔNG NGHỆ THÔNG TIN

BÁO CÁO TỔNG KẾT

ĐỀ TÀI KHOA HỌC VÀ CÔNG NGHỆ
CẤP CƠ SỞ

NGHIÊN CỨU CÁC ĐỘ ĐO MÃ NGUỒN CHO
BÀI TOÁN DỰ ĐOÁN LỖI PHẦN MỀM

Mã số: T2018-07-07

Xác nhận của cơ quan chủ trì đề tài


Đà Nẵng, 12/2018

Chủ nhiệm đề tài


MỤC LỤC
MỤC LỤC
MỤC LỤC........................................................................................................................................................... I
DANH MỤC HÌNH VẼ ........................................................................................................................................ 1
DANH MỤC TỪ VIẾT TẮT .................................................................................................................................. 2
THÔNG TIN KẾT QUẢ NGHIÊN CỨU .................................................................................................................. 3
MỞ ĐẦU .......................................................................................................................................................... 5
I.

TỔNG QUAN TÌNH HÌNH NGHIÊN CỨU THUỘC LĨNH VỰC ĐỀ TÀI TRONG VÀ NGOÀI NƯỚC ..................... 5
1.
2.

NGỒI NƯỚC ................................................................................................................................................ 5
TRONG NƯỚC................................................................................................................................................ 5

II.

TÍNH CẤP THIẾT CỦA ĐỀ TÀI ..................................................................................................................... 5

III.

MỤC TIÊU CỦA ĐỀ TÀI.............................................................................................................................. 5

IV.


ĐỐI TƯỢNG VÀ PHẠM VI NGHIÊN CỨU ................................................................................................... 6
1.
2.

V.

ĐỐI TƯỢNG NGHIÊN CỨU ................................................................................................................................ 6
PHẠM VI NGHIÊN CỨU .................................................................................................................................... 6
NỘI DUNG NGHIÊN CỨU .......................................................................................................................... 6

CHƯƠNG 1:

TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM ........................................................................................ 7

1.1. TỔNG QUAN VỀ LỖI PHẦN MỀM ............................................................................................................... 7
1.2. MỐI LIÊN HỆ GIỮA ĐỘ ĐO VÀ LỖI PHẦN MỀM ......................................................................................... 8
1.3. ĐỘ ĐO PHẦN MỀM .................................................................................................................................... 8
1.3.1.
Độ đo mã nguồn (Code Metrics) ................................................................................................... 8
1.3.2.
Độ đo quy trình (Process Metrics) .............................................................................................. 11
1.4. ÁP DỤNG CÁC ĐỘ ĐO PHẦN MỀM .......................................................................................................... 11
1.5. KỸ THUẬT HỌC MÁY TRONG DỰ ĐOÁN LỖI PHẦN MỀM ........................................................................ 12
1.5.1.
Cây quyết định (Decision Tree Classification) ............................................................................ 12
1.5.2.
Naïve Bayes ................................................................................................................................. 13
1.5.3.
K-nearest Neighbor ..................................................................................................................... 13

1.5.4.
Support Vector Machine (SVM) .................................................................................................. 15
1.6. XỬ LÝ DỮ LIỆU ......................................................................................................................................... 16
1.6.1.
Chuẩn hóa dữ liệu ....................................................................................................................... 16
1.6.2.
Giảm tiếng ồn (Noise reduction)................................................................................................. 17
1.6.3.
Lựa chọn thuộc tính (Attribute Selection) .................................................................................. 18
1.7. CÁC ĐÁNH GIÁ ĐỘ ĐO ................................................................................................................................... 18
1.7.1.
Phân loại đo lường ..................................................................................................................... 18
1.7.2.
Thảo luận về các độ đo ............................................................................................................... 22
CHƯƠNG 2:

ĐỘ ĐO TRONG DỰ ĐOÁN LỖI PHẦN MỀM .............................................................................24

2.1. GIỚI THIỆU............................................................................................................................................... 24
2.2. ĐỘ ĐO HƯỚNG ĐỐI TƯỢNG (OBJECT ORITEND METRICS) .................................................................... 24
2.2.1.
Độ đo kích thước (Size) ............................................................................................................... 25
2.2.2.
Độ đo phụ thuộc (coupling) ........................................................................................................ 25
2.2.3.
Độ đo gắn kết (cohesion) ............................................................................................................ 26
2.2.4.
Độ đo thừa kế (Inheritcance Metrics) ........................................................................................ 26
2.2.5.
Độ đo đa hình (Polymorphism Metrics) ..................................................................................... 27

2.2.6.
Độ đo tái sử dụng (Reuse metrics) ............................................................................................. 27
CHƯƠNG 3:

KẾT QUẢ THỰC NGHIỆM ........................................................................................................28

1.1. CÂU HỎI NGHIÊN CỨU ............................................................................................................................ 28
1.2. CÁC GIẢ THUYẾT NGHIÊN CỨU ............................................................................................................... 28
1.3. BIẾN PHỤ THUỘC (DEPENDENT VARIABLE) ....................................................................................................... 28

i


MỤC LỤC
1.4. BIẾN ĐỘC LẬP (INDEPENDENT VARIABLES)........................................................................................................ 29
1.5. THU THẬP DỮ LIỆU ....................................................................................................................................... 29
KẾT LUẬN ........................................................................................................................................................33
KIẾN NGHỊ .......................................................................................................................................................33
TÀI LIỆU THAM KHẢO .....................................................................................................................................34

ii


DANH MỤC HÌNH VẼ
DANH MỤC HÌNH VẼ
Hình 1.1 Tần suất sử dụng độ đo phần mềm trong các nghiên cứu .............................. 11
Hình 1.2 Cây quyết định đơn giản .................................................................................13
Hình 1.3 Ví dụ K-Nearest Neighbor..............................................................................14
Hình 1.4 Ví dụ về ROC .................................................................................................21
Hình 1.5 Đường cong Cost-effective curve...................................................................22

Hình 1.6 Tổng số các biện pháp đánh giá độ đo được sử dụng trong các nghiên cứu dự
đốn lỗi phần mềm (Nam, 2009) ...................................................................................23
Hình 3.1 Kỹ thuật phân tích của OSSGrab....................................................................29
Hình 3.2 Tìm kiếm đơn giản trong kho OSS .................................................................30
Hình 3.3 Tìm kiếm nâng cao trong kho OSS ................................................................ 31

Trang 1


DANH MỤC TỪ VIẾT TẮT
DANH MỤC TỪ VIẾT TẮT
Từ viết tắt

Tiếng Anh

Tiếng Việt

OSS

Open Source System

Hệ thống mã nguồn mở

OO

Object Oriented

Hướng đối tượng

CK


Chidamber-Kemerer

Độ đo Chidamber-Kemerer

Support Vector Machine

Máy vector hỗ trợ

DT

Decision Tree

Cây quyết định

RF

Random Forest

Rừng ngẫu nhiên

SVM

Trang 2


THƠNG TIN KẾT QUẢ NGHIÊN CỨU
ĐẠI HỌC ĐÀ NẴNG

CỘNG HỊA XÃ HỘI CHỦ NGHĨA VIỆT NAM


TRƯỜNG CĐ CÔNG NGHỆ THÔNG TIN

Độc lập – Tự do – Hạnh phúc

THÔNG TIN KẾT QUẢ NGHIÊN CỨU
1. Thông tin chung:
-

Tên đề tài: Nghiên cứu các độ mã nguồn cho bài toán dự đoán lỗi phần

-

mềm
Mã số: T2018-07-07

-

Chủ nhiệm: HÀ THỊ MINH PHƯƠNG

-

Thành viên tham gia: khơng

-

Cơ quan chủ trì: Trường Cao đẳng Cơng nghệ thông tin – Đại học Đà Nẵng
Thời gian thực hiện: từ tháng 04/2018 đến tháng 12/2018

2. Mục tiêu:

Nghiên cứu lý thuyết:
 Tìm hiểu độ đo mã nguồn hướng cấu trúc
 Tìm hiểu độ đo mã nguồn hướng đối tượng
 Nghiên cứu áp dụng các độ hướng đối tượng vào việc dự đoán lỗi phần

mềm
Áp dụng lý thuyết vào xây dựng cơng cụ dự đốn lỗi phần mềm nhằm tạo điều kiện
để tiếp tục nghiên cứu và xây dựng các hệ thống dự đoán lỗi phần mềm dựa trên
máy học để dự đốn được số lỗi của phần mềm….
3. Tính mới và sáng tạo:
-

Lỗi phần mềm sẽ tác động mạnh đến các hệ thống phần mềm trong quá trình
phát triển cũng như q trình triển khai
Để dự đốn được các khả năng xảy ra lỗi, tác giả đã nghiên cứu các độ đo
(metrics, từ đó có thể lựa chọn các độ đo có mối liên hệ với khả năng xả ra lỗi
với từng ngơn ngữ lập trình cụ thể.

4. Tóm tắt kết quả nghiên cứu:
-

Trình bày tổng quan các độ đo trong bài toán giải quyết lỗi phần mềm cụ thể là
độ đo cấu trúc (Structure metrics) và độ đo hướng đối tượng (Object Oriented
metrics).

Trang 3


THƠNG TIN KẾT QUẢ NGHIÊN CỨU
Đề tài cũng trình bày việc mô phỏng thực nghiệm áp dụng các độ đo hướng đối


-

tượng trong việc đưa ra mỗi liên hệ giữa các độ đo trên với khả năng xảy ra lỗi
trong cáchệ thống mã nguồn mở OSS được viết bằng C++
5. Tên sản phẩm:
- Báo cáo tổng kết đề tài;
- Bài báo đăng trên kỷ yếu hội thảo cấp trường.
6. Hiệu quả, phương thức chuyển giao kết quả nghiên cứu và khả năng áp dụng:
- Về mặt giáo dục - đào tạo: phục vụ công tác giảng dạy, nghiên cứu.
- Về mặt khoa học: đóng góp đáng kể của đề tài là trình bày các độ đo liên quan
mật thiết đến lỗi phần mềm, qua đó có thể đưa ra được các độ đo có tính hiệu quả
trong việc nhận biết lỗi phần mềm.
- Về sản phẩm ứng dụng: xây dựng được các hệ thống dự đoán được lỗi phần
mềm trong cơng nghệ phần mềm.
7. Hình ảnh, sơ đồ minh họa chính:
Độ đo
Lỗi

Lỗi
1

CBO

-

CBO
0.038
(0.84)
1


RFC

-

NOC

-

WMC

-

LCOM

-

-

RFC
0.495
(0.005)
0.528
(0.003)
1

NOC
0.36
(0.05)
0.306

(0.10)
0.38
(0.038)
1

-

-

-

WMC
0.17
(0369)
0.278
(0.137)
0.533
(0.002)
-0.305
(0.101)
1

LCOM
0.058
(0.76)
0.423
(0.02)
0.244
(0.195)
-0.032

(0.867)
0.544
(0.002)
1

Bảng 0.1: Phân tích tương quan Spearman giữa các độ đo
Đà Nẵng, ngày 08 tháng 12 năm 2018
Cơ quan chủ trì

Chủ nhiệm đề tài

Hà Thị Minh Phương

Trang 4


MỞ ĐẦU
MỞ ĐẦU
I. TỔNG QUAN TÌNH HÌNH NGHIÊN CỨU THUỘC LĨNH VỰC ĐỀ TÀI
TRONG VÀ NGỒI NƯỚC
1. Ngồi nước
Độ đo (metric) đóng một vai trị rất quan trọng để phát triển một phần mềm có
chất lượng tốt. The IEEE Standard Glossary of Software Engineering Terms đã định
nghĩa độ đo như là thước đo định lượng đến một hệ thống, một thành phần hoặc một
q trình có một thuộc tính nhất định. Có rất nhiều loại độ đo khác nhau được trình
bày trong các tài liệu để đo lường các sản phẩm phần mềm. Trong sự phát triển phần
mềm hiện nay, ngôn ngữ hướng đối tượng (Object Oriented) được sử dụng do các đặc
tính cơ bản của chúng như lớp, đối tượng, che dấu thơng tin, thừa kế, đóng gói, trìu
tượng và đa hình. Ngồi ra, độ đo của hướng đối tượng có sẵn được sử dụng để đo
chất lượng của các hệ thống hướng đối tượng.

2. Trong nước
Hiện nay đã có nhiều nghiên cứu về độ đo hướng đối tượng trên các ngơn ngữ
lập trình như C++, Java,…. Các độ đo có ích cho việc đánh giá sự phát triển cơ trúc có
thể khơng ảnh hưởng đến thiết kế mà sử dụng ngơn ngữ OO. Có rất nhiều mơ hình độ
đo hướng đối tượng có sẵn và một số tác giả đã đề xuất cách để đo lường giá trị của độ
đo mã nguồn hướng đối tượng. Một nghiên cứu ước tính tiết kiệm chi phí bảo trì sửa
chữa là 42% bằng cách sử dụng độ đo mã nguồn hướng đối tượng.
II. TÍNH CẤP THIẾT CỦA ĐỀ TÀI
Việc đo lường phần mềm có tầm quan trọng trong việc phát triển phần mềm.
Nhiều độ đo đã được đề xuất lien quan đến cấu trúc khác nhau như lớp, phụ thuộc,
thừa kế, che dầu thơng tin và đa hình. Rất khó để xác định độ đo nào tốt nhất. Do đó,
rất khó cho các nhà quản lý và người thực hiện dự án lựa chọn các độ đo cho các hệ
thống hướng đối tượng. Trong đó, độ đo OO (Object Oriented) là độ đo trong một hệ
thống hướng đối tượng để xác định sự thành công hay thất bại của một quy trình, để
xác định có định lượng sự cải tiến trong một quy trình phần mềm. Độ đo này được sử
dụng để cải tiến kỹ thuật lập trình hướng đối tượng tăng tính tin cậy của mã nguồn.
Xét thấy như vậy, chúng tôi nghiên cứu các độ đo mã nguồn hướng đối tượng cũng
như so sánh với độ đo mã nguồn hướng cấu trúc. Từ đó có thể đưa ra được dự đoán lỗi
phần mềm dựa trên các độ đo trên.
III. MỤC TIÊU CỦA ĐỀ TÀI
Nghiên cứu lý thuyết:
Trang 5


MỞ ĐẦU
 Tìm hiểu độ đo mã nguồn hướng cấu trúc
 Tìm hiểu độ đo mã nguồn hướng đối tượng
 Nghiên cứu áp dụng các độ hướng đối tượng vào việc dự đoán lỗi phần
mềm
Áp dụng lý thuyết vào xây dựng cơng cụ dự đốn lỗi phần mềm nhằm tạo điều kiện

để tiếp tục nghiên cứu và xây dựng các hệ thống dự đoán lỗi phần mềm dựa trên
máy học để dự đoán được số lỗi của phần mềm….
IV. ĐỐI TƯỢNG VÀ PHẠM VI NGHIÊN CỨU
1. Đối tượng nghiên cứu
- Độ đo mã nguồn cấu trúc và độ đo mã nguồn hướng đối tượng: Sách, báo, ..
- Giá trị các độ đo trên.
2. Phạm vi nghiên cứu
Nghiên cứu các độ đo mã nguồn dựa trên
- Tiếp cận dựa vào lý luận.
- Tiếp cận dựa vào thống kê.
- Tiếp cận dựa trên cả hai phương pháp trên.
V. NỘI DUNG NGHIÊN CỨU
1. Tìm hiểu độ đo mã nguồn hướng cấu trúc và độ đo mã nguồn hướng đối tượng
2. Nghiên cứu và phân tích các giá trị của các độ đo trên trong dự đốn lỗi phần
mềm
3. Xây dựng cơng cụ dự đoán lỗi phần mềm dựa trên độ đo mã nguồn hướng đối
tượng
4. Viết báo cáo tổng kết đề tài.

Trang 6


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
1.1. TỔNG QUAN VỀ LỖI PHẦN MỀM
Trong lĩnh vực công nghệ phần mềm, các hệ thống phần mềm được sản xuất và
bảo trì bởi con người vì vậy việc duy trì phần mềm rất phức tạp, lỗi luôn luôn xuất
hiện tại các hệ thống này. Hầu hết các công ty phần mềm chi tiêu rất nhiều tiền và
nhân lực để phát hiện lỗi trong một hệ thống phần mềm trước khi được triển khai cho
khách hàng. Phần mềm càng phức tạp thì lỗi càng xuất hiện nhiều. Lỗi tác động tới

phần mềm hoặc hệ thống đang xây dựng hoặc vận hành theo nhiều cách khác nhau. Do
vậy để giảm thiểu các hậu quả do lỗi gây ra để tiết kiệm chi phí thì các nhà phát triển
cố gắng phát hiện lỗi trong giai đoạn sớm. Theo các thống kê, lỗi phần mềm tạo thành
một gánh nặng rất lớn cho công ty phần mềm phát triển. Việc xác minh phần mềm là
một q trình khó khăn. Để quản lý tốt hơn lỗi lập trình do con người tạo ra, nhân sự
kiểm thử phần mềm được phát triển lên số lượng lớn. Do đó, việc xác định các mô-đun
bị lỗi sớm sẽ hỗ trợ sự phát triển của các hệ thống đáng tin cậy thông qua việc cải tiến
lập lịch và kiểm soát chất lượng phần mềm. Thơng tin bị lỗi có thể cung cấp dữ liệu có
giá trị để cải thiện hiệu quả lỗi phần mềm. Từ những yếu tố trên các phương pháp dự
đoán lỗi phần mềm được ra đời. Như nhiều nghiên cứu cho thấy các phần mềm kiểm
thử trung bình tiêu thụ ít nhất 50% hiệu suất trong phát triển [1, 2], việc xác định các
mơ-đun bị lỗi có thể có tác động tiết kiệm chi phí đáng kể đối với phát triển phần
mềm.
Một loạt các mơ hình dự đốn lỗi đã được đề xuất [3,4]. Thông thường chúng ta
phát triển các mơ hình dự đốn lỗi phần mềm theo hướng thống kê các mơ-đun bị lỗi
có khả năng xảy ra trong quá trình triển khai phần mềm hoặc trong một khoảng thời
gian cụ thể sau khi triển khai. Các mơ hình dự báo dựa trên dữ liệu lỗi đã được thu
thập và lựa chọn mơ hình đánh giá chất lượng phù hợp, định lượng đánh giá một số
khía cạnh của chất lượng hệ thống. Chất lượng hệ thống, chẳng hạn như bảo trì [5],
được mơ tả nhiều nhất về độ đo phức tạp trong bài toán dự đoán lỗi. Nhiều nghiên
cứu nghiên cứu Basili et al. [6], Emam al. [7], Gyimothy[8], và Olague [9], cho thấy
rằng các mơ hình dự đốn lỗi thống kê có thể cung cấp đánh giá hợp lý khi dự đốn
các mơ-đun hệ thống bị lỗi bằng cách sử dụng các độ đo hướng đối tượng (Object
Oriented). Tuy nhiên, khi các độ đo thì có hiệu quả khác nhau từ nhiều dự án khác
nhau, việc dự đoán lỗi là khó khăn để đạt được. Mơ hình dự đoán thu được từ một dự
án này hiếm khi mang lại hiệu quả trong việc dự đốn các mơ-đun dễ bị lỗi thuộc các
dự án khác bởi vì khơng có dữ liệu lịch sử lỗi [10].

Trang 7



Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
Theo Zhang [11] trong khi một số ít lỗi là do các trình biên dịch tạo ra, nhiều lỗi
xuất phát từ lỗi do các lỗi do lập trình viên trong quá trình thiết kế và lập trình tạo ra.
Những vấn đề này không chỉ làm giảm chất lượng của phần mềm mà cịn đẩy chi phí
kiểm tra [12]. Thật vậy, nhiều cơng ty phát triển phần mềm bao gồm Microsoft đã
dành một lượng tiền lớn và nỗ lực để thử nghiệm các sản phẩm phần mềm của họ
trước khi phát hành chúng cho khách hàng[13]. Bằng cách tập trung vào các trường
hợp bị lỗi, các cơng ty phát triển phần mềm có thể giảm chi phí và nâng cao hiệu quả
tổng thể của q trình thử nghiệm thơng qua phân bổ tài nguyên thông tin.
1.2. MỐI LIÊN HỆ GIỮA ĐỘ ĐO VÀ LỖI PHẦN MỀM
Q trình xác định các mơ-đun phần mềm dễ bị lỗi tại giai đoạn đầu được gọi là
dự đốn lỗi phần mềm. Nhiều nghiên cứu đã được cơng bố trong tài liệu, hầu hết trong
số họ nhằm mục đích xây dựng mơ hình dự đốn lỗi bằng cách sử dụng các độ đo phần
mềm (ví dụ: số dịng mã lệnh – Line Of Code LOC), dữ liệu lịch sử và thuật toán phân
loại để khai thác dữ liệu. Với sự phát triển khơng ngừng của máy tính và dữ liệu, các
kĩ thuật học máy đang từng bước được áp dụng rộng rãi trong mọi lĩnh vực của cuộc
sống, trong đó có lĩnh vực phát triển phần mềm. Cho đến hiện nay, đã có một số cơng
trình nghiên cứu áp dụng các kĩ thuật học máy vào dự đoán lỗi như Naïve Bayes, rừng
ngẫu nhiên (Random Forest), Máy vector hỗ trợ SVM, ... Một số nghiên cứu đã cài đặt
và đánh giá hiệu quả của các kĩ thuật trên trong dự đoán lỗi cho các phần mềm mã
nguồn Java, dựa trên các độ đo trích xuất từ mã nguồn phần mềm..
1.3. ĐỘ ĐO PHẦN MỀM
Độ đo phần mềm có thể được coi là một độ đo định lượng gán các ký hiệu hoặc
số cho các đặc điểm của các trường hợp được dự đoán [14]. Trên thực tế, chúng là các
tính năng các thuộc tính, mơ tả nhiều thuộc tính như độ tin cậy, nỗ lực, độ phức tạp và
chất lượng của các sản phẩm phần mềm. Những độ đo này đóng một vai trị quan trọng
trong việc xây dựng một bộ dự báo lỗi phần mềm hiệu quả. Chúng có thể được chia
thành hai loại chính: độ đo mã nguồn và độ đo quá trình [15].
1.3.1. Độ đo mã nguồn (Code Metrics)

 Độ đo mã nguồn (Code Metrics)
Độ đo mã nguồn còn được gọi là độ đo sản phẩm, được thu thập trực tiếp từ mã
nguồn hiện tại. Những độ đo này đo độ phức tạp của mã nguồn dựa trên giả định rằng
các thành phần phần mềm phức tạp có nhiều khả năng chứa lỗi hơn. Trong suốt lịch sử
kỹ thuật phần mềm, nhiều độ đo mã khác nhau đã được sử dụng để dự đoán lỗi phần
mềm.
Trang 8


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
Kích thước (Size): độ đo đầu tiên là độ đo kích thước được giới thiệu bởi
Akiyama [16]. Để dự đoán số lỗi, tác giả sử dụng số dòng mã lệnh làm độ đo duy nhất.
Sau đó, nhiều nghiên cứu dự đốn lỗi phần mềm đã áp dụng độ đo này để xây dựng
các dự đoán [17,18,19,20]. Tuy nhiên, chỉ sử dụng độ đo này quá đơn giản để đo độ
phức tạp của sản phẩm phần mềm.
Halstead và McCabe: Vì lý do này, các độ đo hữu ích, được sử dụng rộng rãi và
dễ sử dụng khác đã được áp dụng để tạo ra các tiên đoán lỗi [17,21,22]. Các độ đo này
được gọi là các thuộc tính mã tĩnh được giới thiệu bởi McCabe (1976) và Halstead
(1977). Các thuộc tính Halstead được chọn dựa trên độ phức tạp đọc của mã nguồn.
Chúng được xác định bằng cách sử dụng một số độ đo cơ bản được thu thập từ phần
mềm bao gồm:
Ký hiệu
µ1
µ2
N1
N2
µ1∗
µ∗2

Mơ tả

Số tốn tử riêng
Số tốn hạng riêng
Tổng số tốn tử
Tổng số toán hạng
Số lượng nhỏ nhất số toán tử
Số lượng nhỏ nhất số toán
hạng
Bảng 1.1 Độ đo Halstead
Bốn độ đo đầu tiên tự giải thích trong khi µ1∗ và µ∗2 là toán tử tiềm năng và toán
hạng được đếm trong một cá thể phần mềm. Ví dụ, µ1∗ = 2 là số lượng toán tử tối thiểu
cho hàm mặc định với tên hàm. Độ đo Halstead được xác định bằng cách sử dụng các
độ đo ở trên bao gồm:
Mô tả
Độ dài chương trình
Kích thước
Thơng tin nội dung của chương
trình
Measure D= (N1/2) * (N2/2)
Độ khó của chương trình
Measure E= D*V
u cầu thực thi chương trình
^
Số lượng lỗi mong muốn trong
Measure B= 𝐸 (2/3)/3000
chương trình
Measure T=E/18
Thời gian để thực thi chương trình
Bảng 1.2 Mơ tả độ đo Halstead
Các thuộc tính của McCabe là các độ đo chu trình thể hiện sự phức tạp của một
sản phẩm phần mềm. Khác với các thuộc tính Halstead, các thuộc tính của McCabe đo

độ phức tạp của cấu trúc mã nguồn. Chúng thu được bằng cách tính số lượng các thành
phần, vịng cung và nút được kết nối trong các biểu đồ luồng điều khiển của mã nguồn.
Tên
Length: N = N1+N2
Vocabulary: µ= µ1+ µ2
Volume V = N log2 µ

Trang 9


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
Mỗi nút của biểu đồ luồng biểu diễn một câu lệnh chương trình trong khi một cung là
luồng của kiểm sốt từ một câu lệnh khác.
Các độ đo của McCabe, Halstead và của Akiyama là những độ đo tiêu biểu của
các độ đo hướng phương thức.
 Độ đo hướng lớp
Bên cạnh các độ đo hướng phương thức, từ khi các ngôn ngữ lập trình hướng đối
tượng trở nên phổ biến, các độ đo hướng lớp cũng đã được đề xuất và tiêu biểu nhất là
độ đo của Chidamber-Kemerer (CK) [23]. Các độ đo này được thiết kế từ những đặc
trưng hướng đối tượng như tính phụ thuộc (coupling), tính gắn kết (cohension), tính
thừa kế (inheritance), tính che giấu dữ liệu (information hide). Các độ đo CK bao gồm
số phương thức có trọng số trong lớp, độ sâu của cây thừa kế, số con, tính liên kết giữa
các lớp đối tượng, tính đáp ứng của một lớp, sự thiếu hụt tính gắn kết trong phương
thức.
Ký hiệu
WMC
DIT
NOC
CBO
RFC

LCOM

Mô tả
Weighted methods per class
Depth of inheritance tree
Number of children
Coupling between object
classes
Response for a class
Lack of cohesion of methods

Bảng 1.3. Độ đo Chidamber & Kemerer, 1994 (CK)
Các độ đo trong bảng 3 được mô tả như sau:
 Weighted methods per class (WMC): Độ đo này đo lường sự phức tạp của một
lớp riêng lẻ. Nó là một tổng trọng số của tất cả các phương thức trong một lớp.
 Depth of inheritance tree(DIT): Độ đo này đo chiều dài của đường dẫn trong
cây thừa kế dài nhất ở một lớp. Nếu cây thừa kế cho lớp được đo sâu hơn thì sẽ
khó ước lượng được hành vi của lớp.
 Number of children (NOC): Độ đo này tính số lượng các lớp con kế thừa ngay
từ lớp hiện tại.
 Coupling between object classes (CBO): Độ đo này đo lường sự phụ thuộc của
một lớp đối với những người khác bằng cách đếm số lượng các lớp khác phụ
thuộc với lớp được đo. Một lớp phụ thuộc với các lớp khác nếu nó gọi các biến
hoặc các hàm của các lớp khác [24].
 Response for a class (RFC): độ đo đếm số phương thức có khả năng được thực
thi để đáp ứng với một thông điệp nhận được bởi một đối tượng của một lớp
[25]
 Lack of cohesion of methods (LCOM): Độ đo này là hiệu số cặp phương thức
không chia sẻ biến thành viên từ số cặp phương thức chia sẻ ít nhất một biến
thành viên.


Trang 10


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
1.3.2. Độ đo quy trình (Process Metrics)
Ngồi các độ đo mã nguồn trên trên, lịch sử của dự đoán lỗi phần mềm cũng đã
chứng kiến sự xuất hiện của các độ đo quy trình. Giống như các độ đo mã nguồn, các
độ đo quy trình cũng được sử dụng rộng rãi để xây dựng các mơ hình dự đốn lỗi [26]
Tuy nhiên, thay vì được tính trực tiếp từ mã nguồn hiện tại, các độ đo quy trình được
tạo từ các kho phần mềm như hệ thống theo dõi lỗi và các hệ thống kiểm soát phiên
bản. Các độ đo này tập trung vào các thuộc tính liên quan đến q trình phát triển phần
mềm; ví dụ, thay đổi mã nguồn, chi phí hoặc hiệu quả của các phương pháp được sử
dụng.
1.4. ÁP DỤNG CÁC ĐỘ ĐO PHẦN MỀM
Hình 1.1 cho thấy tần suất sử dụng các độ đo phần mềm trong tài liệu. Như sự
xuất hiện trước đó của độ đo phần mềm trong lịch sử dự đoán lỗi phần mềm, không
ngạc nhiên khi các độ đo mã nguồn được sử dụng thường xuyên hơn so với các độ đo
quá trình[15]. Hơn nữa, khi một loại độ đo mới được tạo ra, nó thường được so sánh
với các độ đo mã nguồn để làm sáng tỏ hiệu suất. Trong khi đó, các độ đo quy trình đã
được giới thiệu sau khi các kho phần mềm bao gồm các hệ thống theo dõi lỗi, các thay
đổi mã nguồn, lưu trữ thư, khai thác dữ liệu và các hệ thống kiểm soát phiên bản được
sử dụng rộng rãi.

Hình 1.1 Tần suất sử dụng độ đo phần mềm trong các nghiên cứu
Trong lĩnh vực dự đốn lỗi phần mềm, cũng có rất nhiều cuộc tranh luận về loại
độ đo nào hoạt động tốt hơn. Trong khi Menzies [18] nói rằng các độ đo mã nguồn
tĩnh vẫn hiệu quả để tạo ra các yếu tố dự báo lỗi; Rahman và Devanbu [27] tin rằng
gần đây, các độ đo quy trình hữu ích hơn do sự trì trệ của các độ đo mã nguồn. Trên
thực tế, hiệu quả của các độ đo quy trình để dự đoán lỗi phần mềm đã được xác nhận

trong một số nghiên cứu [27,28,29]. Mặc dù vậy, chỉ sử dụng các độ đo phần mềm là
Trang 11


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
không đủ để xây dựng các yếu tố dự đoán hiệu quả. Trong văn học, nhiều nhà nghiên
cứu đã chứng minh rằng các yếu tố dự đoán lỗi phần mềm hoạt động tốt hơn khi sử
dụng các kỹ thuật học máy để học từ dữ liệu lịch sử [15].
1.5. KỸ THUẬT HỌC MÁY TRONG DỰ ĐOÁN LỖI PHẦN MỀM
Học máy là một ngành khoa học khám phá việc xây dựng và nghiên cứu các kỹ
thuật cho phép các chương trình máy tính học hỏi từ dữ liệu mà khơng được lập trình
rõ ràng [30]. Về cơ bản, máy học tập cung cấp các chương trình máy tính với khả năng
bắt chước q trình học tập của con người. Quá trình này là quan sát hiện tượng và
tổng quát từ các quan sát [31]. Học máy thường được chia thành hai loại chính: học
tập có giám sát và khơng giám sát. Trong học tập khơng giám sát, các thuật tốn được
sử dụng để tìm hiểu các yếu tố dự đốn từ dữ liệu khơng được dán nhãn. Trong khi đó,
học tập có giám sát học các mơ hình dự đốn dựa trên một tập hợp dữ liệu đầu vào với
thông tin nhãn.
Trong học tập có giám sát, các kết quả đầu ra có thể là các số thực trong các hồi
quy hoặc các nhãn lớp trong phân loại. Khi phân loại đầu vào thành hai hoặc nhiều
lớp, việc học được giám sát đôi khi được gọi là phân loại. Có một loạt các kỹ thuật
phân loại đã được khai thác rộng rãi trong các tài liệu để ghi nhãn các thể hiện phần
mềm là lỗi hoặc không lỗi.
1.5.1. Cây quyết định (Decision Tree Classification)
Cây quyết định là một trong những thuật toán dự đoán phổ biến được áp dụng
cho một loạt các tác vụ trong thống kê, khai phá dữ liệu và học máy. Thuật tốn này
nhằm mục đích xây dựng một cây quyết định để phân loại một cá thể đích dựa trên các
tính năng đầu vào. Nó cũng có thể được biểu diễn như là câu lệnh if..else để tăng
cường khả năng đọc của con người Một ví dụ về cây quyết định, để hỗ trợ quá trình ra
quyết định, được trình bày trong hình 1.2. Cây quyết định trước hết được xây dựng

bằng cách phân loại các đặc điểm từ gốc xuống một số lá. Mỗi nút lá đại diện cho một
thử nghiệm trên một đối tượng địa lý trong khi mỗi nhánh là kết quả có thể có của
phép thử. Để gắn nhãn một thể hiện, các phép thử được thực hiện tại mỗi nút từ gốc
đến các nút lá thơng qua các nhánh thích hợp [32].

Trang 12


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM

Hình 1.2 Cây quyết định đơn giản
Có nhiều mơ hình được phát triển bằng cách sử dụng cây quyết định để dự đoán
các lỗi phần mềm [18,33,34]. Người học J48, là một triển khai JAVA của thuật tốn
C4.5 [35], có thể được xem là thuật toán được sử dụng rộng rãi nhất. Là một thuật tốn
cây quyết định bình thường, J48 phân tách đệ quy một tập dữ liệu dựa trên các thử
nghiệm về các giá trị tính năng để tách các kết quả có thể có.
1.5.2. Nạve Bayes
Một cách khác để xây dựng các mơ hình dự đốn lỗi phần mềm là sử dụng một
kỹ thuật học máy rất hữu ích, Naïve Bayes. Kỹ thuật này là một trong các phân loại
xác suất dựa trên định lý Bayes với các giả định độc lập giữa các thuộc [36]. Khơng có
ước lượng tham số lặp phức tạp, một trình phân loại Nạve Bayes dễ xây dựng và phù
hợp với dữ liệu đầu vào. Mặc dù đơn giản, các nghiên cứu so sánh của Langley và
Sage [37] đã chỉ ra rằng Naïve Bayes có hiệu quả đối với các tập dữ liệu lớn và thường
hoạt động tốt hơn các trình phân loại phức tạp hơn như cây quyết định trong các miền
học được giám sát.
1.5.3. K-nearest Neighbor
Ngồi cây quyết định J48 và Nạve Bayes, K-Nearest Neighbor [38], một trong
những thuật toán dựa trên khoảng cách đơn giản, cũng thường được áp dụng cho phân
loại mẫu. Trong lĩnh vực dự đoán lỗi phần mềm, nhiều nghiên cứu cũng đã sử dụng KNearest Neighbor để phân loại các bộ dữ liệu thử nghiệm [39]. Mặc dù sự đơn giản
của nó, Weinberger và Saul nói rằng thuật toán K-Nearest Neighbor thường hoạt động

tốt và tạo ra kết quả cạnh tranh trong thực tế. Đáng chú ý, thuật tốn có thể được cải
thiện đáng kể khi kết hợp với kiến thức trước thu được từ giai đoạn học dữ liệu [40].
Trang 13


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM

Hình 1.3 Ví dụ K-Nearest Neighbor
Thuật tốn K-Nearest Neighbor phân loại một cá thể mới dựa trên việc đo sự
giống nhau giữa nó và mọi cá thể hiện có khác. Sự tương tự được đo bằng các hàm
khoảng cách như khoảng cách Manhattan [41], khoảng cách Euclide [42] và khoảng
cách Mahalanobis [43]. Khi nói đến K-Nearest Neighbor, số lượng cá thể gần nhất
được sử dụng để dự đốn có thể ảnh hưởng đến hiệu suất dự đốn. Thơng thường, con
số này là số lẻ nếu phân loại các cá thể thử nghiệm thành hai loại. Các trường hợp thử
nghiệm sẽ được dán nhãn dựa trên đa số phiếu. Khoshgoftaar [44] và Ganesan[45] đã
xây dựng các hệ thống lý luận dựa trên trường hợp (Case Base Reasoning CBR) để
phân loại các thành phần phần mềm bằng cách chỉ chọn k=1 là đơn vị lân cận gần
nhất. El-Emam và cộng sự, vào năm 2001, đã cải thiện bộ phân loại CBR bằng cách sử
dụng đa số phiếu trong các trường hợp của ba và năm cá thể gần nhất. Trong khi lựa
chọn một số lượng nhỏ các cá thể gần nhất có thể dẫn đến một tác động lớn hơn đến
phân loại tiếng ồn, sẽ làm tăng chi phí tính tốn. Do đó, một cách tiếp cận đơn giản là
đặt số lượng hàng xóm gần nhất thành căn bậc hai của số lượng các cá thể huấn
luyện(k=√n).
Một phần mở rộng đơn giản khác, có thể cải thiện độ chính xác của các mơ hình
dự báo, là áp dụng các trọng số. Lý do cho việc sử dụng trọng số là mức độ khác nhau
về sự giống nhau giữa cá thể được phân loại và hàng xóm của nó. Như vậy, thay vì
đưa ra trọng số bằng nhau cho tất cả các láng giềng gần nhất [45], trọng số của các cá
thể huấn luyện được thiết lập khác nhau tùy thuộc vào khoảng cách của chúng đến cá
thể thử nghiệm [44]. Có nhiều cách để đạt được trọng lượng. Theo đề xuất của
Cunningham và Delany [46], một kỹ thuật khá chung là sử dụng nghịch đảo của

khoảng cách là trọng lượng của từng trường hợp. Điều này có nghĩa là những người
hàng xóm gần gũi hơn có trọng lượng cao hơn những người cha. Một cách khác để đặt
trọng số dựa trên số lượng cá thể của mỗi lớp trong dữ liệu huấn luyện. Bằng cách chia
Trang 14


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
đơn giản số lượng hàng xóm gần nhất của một lớp cho số lượng cá thể của lớp này
trong tập dữ liệu huấn luyện, phương pháp này có thể trở thành một giải pháp tốt để
giảm thiểu vấn đề mất cân bằng lớp.
1.5.4. Support Vector Machine (SVM)
SVM là một trình phân loại khác thường được sử dụng trong nhiều ứng dụng.
SVM là một kỹ thuật học tập dựa trên lõi do Boser, Guyon và Vapnik đề xuất vào năm
1992, về cơ bản đề cập đến các vấn đề nhận dạng mẫu hai lớp [47]. Để thực hiện phân
loại, thuật tốn SVM tìm thấy siêu kết nối tối ưu phân tách tất cả các cá thể của một
lớp từ lớp kia. Siêu kết nối tối ưu, được xác định bởi một số vectơ hỗ trợ [48], thu
được khi tối đa hóa chiều rộng của lề giữa hai lớp. Các vectơ hỗ trợ là các điểm dữ liệu
nằm trên ranh giới của đường biên.
Ánh xạ tập dữ liệu vào không gian nhiều chiều, bản chất của phương pháp SVM
là chuyển không gian dữ liệu ban đầu thành một không gian mới hữu hạn chiều mà ở
đó cho khả năng phân lớp dễ dàng hơn. Một quả bất kì nằm trên mặt bàn sẽ được gắn
với một tọa độ cụ thể. Ví dụ, quả táo nằm cách mép trái 2cm và cách mép dưới 5cm
được thể hiện trên trục tọa độ (x, y) tương ứng là (2, 5). x và y chính là tọa độ trong
không gian hai chiều của quả táo. Khi đưa lên chiều thứ 3 là z(x, y), ta có thể tính
được tọa độ của z trong không gian 3 chiều dựa vào tọa độ x,y ban đầu. Điểm làm
SVM hiệu quả hơn các phương pháp khác chính là việc sử dụng Kernel Method giúp
cho SVM khơng cịn bị giới hạn bởi việc phân lớp một cách tuyến tính, hay nói cách
khác các siêu phẳng có thể được hình thành từ các hàm phi tuyến.
Smola [30] lập luận rằng chức năng cơ sở xuyên tâm là hạt nhân phổ biến nhất
được sử dụng trong SVM vì mang lại hiệu suất tốt hơn so với những người khác. Xét

về dự đoán, sử dụng SVM mang lại một số lợi thế [47] khiến SVM trở thành một trình
phân loại hữu ích để dự đốn các lỗi phần mềm.
Ưu điểm của SVM
• Xử lý trên không gian số chiều cao: SVM là một công cụ tính tốn hiệu quả
trong khơng gian chiều cao, trong đó đặc biệt áp dụng cho các bài toán phân loại văn
bản và phân tích quan điểm nơi chiều có thể cực kỳ lớn
• Tiết kiệm bộ nhớ: Do chỉ có một tập hợp con của các điểm được sử dụng trong
quá trình huấn luyện và ra quyết định thực tế cho các điểm dữ liệu mới nên chỉ có
những điểm cần thiết mới được lưu trữ trong bộ nhớ khi ra quyết dịnh
• Tính linh hoạt - phân lớp thường là phi tuyến tính. Khả năng áp dụng Kernel
mới cho phép linh động giữa các phương pháp tuyến tính và phi tuyến tính từ đó khiến
cho hiệu suất phân loại lớn hơn.

Trang 15


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
Nhược điểm của SVM là gì?
• Bài tốn số chiều cao: Trong trường hợp số lượng thuộc tính (p) của tập dữ liệu
lớn hơn rất nhiều so với số lượng dữ liệu (n) thì SVM cho kết quả khá tồi
• Chưa thể hiện rõ tính xác suất: Việc phân lớp của SVM chỉ là việc cố gắng tách
các đối tượng vào hai lớp được phân tách bởi siêu phẳng SVM. Điều này chưa giải
thích được xác suất xuất hiện của một thành viên trong một nhóm là như thế nào. Tuy
nhiên hiệu quả của việc phân lớp có thể được xác định dựa vào khái niệm margin từ
điểm dữ liệu mới đến siêu phẳng phân lớp mà chúng ta đã bàn luận ở trên.
1.6. XỬ LÝ DỮ LIỆU
Các kỹ thuật tiền xử lý dữ liệu rất quan trọng và được sử dụng rộng rãi trong học
máy, nền tảng của hầu hết các nghiên cứu dự đốn lỗi phần mềm Nam [15]. Có nhiều
yếu tố ảnh hưởng tiêu cực đến hiệu suất của thuật tốn học máy như thơng tin khơng
đáng tin cậy và không liên quan hoặc dữ liệu nhiễm ồn [49]. Những vấn đề này có thể

được giải quyết bằng cách sử dụng tiền xử lý dữ liệu cung cấp các kỹ thuật bao gồm
làm sạch dữ liệu, chuẩn hóa, lựa chọn thuộc tính và trích xuất. Vì sự khác biệt trong
việc lựa chọn mơ hình, đối tượng và độ đo giữa các nghiên cứu, kỹ thuật tiền xử lý dữ
liệu có thể hoặc khơng được sử dụng và chúng được áp dụng theo nhiều cách khác
nhau tùy thuộc vào từng nghiên cứu.
1.6.1. Chuẩn hóa dữ liệu
Chuẩn hóa dữ liệu là một nhiệm vụ tiền xử lý cơ bản trong học máy và khai thác
dữ liệu [50], nhằm cải thiện hiệu suất của các mơ hình phân loại bằng cách đưa ra
trọng số bằng nhau cho tất cả các thuộc tính của tập dữ liệu. Có rất nhiều phương pháp
chuẩn hóa có thể sử dụng được.
Một trong số đó là sử dụng bộ tiền xử lý nhật ký lọc được trình bày bởi Menzies
[18] để bình thường hóa các giá trị của các thuộc tính mã tĩnh có phân phối số mũ.
Trong phương pháp này, bộ lọc logarit được sử dụng để thay thế tất cả các giá trị số n
với logarit của n. Các thí nghiệm được thực hiện bởi Menzies [18] cho thấy rằng sau
khi được lọc, các giá trị này trở nên thậm chí nhiều hơn và do đó dễ dàng hơn cho các
mơ hình dự đốn hoạt động trên chúng. Phương pháp lọc log cũng đã được áp dụng
trong một số nghiên cứu khác có cùng chủ đề thí nghiệm [21].
Ngồi kỹ thuật lọc log, các phương pháp chuẩn hóa dữ liệu khác là sự khác biệt
[51] và tính năng nhân rộng [52]. Các phương thức này chuyển đổi các giá trị của một
tập dữ liệu gốc thành một phạm vi từ 0 đến 1 và đảm bảo rằng mỗi thuộc tính nhận
được một trọng số bằng nhau. Trong khi trước đây là phân chia đơn giản mọi giá trị số
của từng thuộc tính theo difference=x_max - x_min, sau đó trừ giá trị nhỏ nhất từ mỗi
Trang 16


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
thuộc tính trước khi thực hiện phép chia. Trong tài liệu, phương pháp chuẩn hóa dữ
liệu bằng cách chia tỷ lệ tính năng cịn được gọi là min-max [53] và cơng thức của nó
được hiển thị như sau:


Một phương pháp chuẩn hóa khác có ích cho các quần thể phân bố thơng thường,
là điểm chuẩn, cịn được gọi là điểm số bình thường hoặc điểm z [49]

Phương pháp tính tốn điểm chuẩn được dựa trên trung bình phân phối và độ
lệch chuẩn cho mỗi thuộc tính. Sau khi xác định giá trị trung bình và độ lệch chuẩn,
giá trị trung bình được trừ từ mỗi thuộc tính. Sau đó, các giá trị thu được từ các phép
trừ của mỗi thuộc tính được chia cho độ lệch chuẩn của nó. Theo Nam [15], phương
pháp chuẩn hóa này rất phổ biến trong nhiều kỹ thuật học máy, và nó dẫn đến độ chính
xác cao hơn trong việc dự đoán các lỗi phần mềm.
1.6.2. Giảm tiếng ồn (Noise reduction)
Để xây dựng và đánh giá các mơ hình dự đốn, dữ liệu lỗi thường được trích xuất
từ các tệp nhật ký, các phiên bản và báo cáo lỗi trong cơ sở dữ liệu theo dõi lỗi một
cách tự động bằng cách sử dụng các công cụ. Tuy nhiên, các nghiên cứu gần đây đã
chỉ ra rằng dữ liệu được thu thập từ các điều khiển phiên bản, báo cáo lỗi và nhật ký
thay đổi có thể bị nhiễu. Ví dụ, các nghiên cứu về Aranda và Venolia đã chứng minh
rằng rất nhiều thông tin bị thiếu trong các báo cáo lỗi. Trong năm 2009, Bird cũng đã
tìm thấy sự thiên vị có hệ thống trong lịch sử phiên bản mã và các hệ thống theo dõi
lỗi, đó là ngun nhân dẫn đến kết quả dự đốn sai.
Để đo khả năng chống nhiễu của các yếu tố dự đốn lỗi, Kim [29] trước hết đề
xuất thêm thơng tin tiêu cực và sai lệch trong tập dữ liệu huấn luyện trong khi vẫn
không thay đổi dữ liệu thử nghiệm. Điều này nhằm đo lường tính chính xác của các
thuật tốn dự đốn. Các tác giả sau đó tạo ra một phương pháp phát hiện tiếng ồn được
gọi là nhận dạng tiếng ồn gần nhất. Phương pháp này sử dụng khoảng cách Euclide để
tính tỷ lệ tương tự giữa dữ liệu huấn luyện và danh sách các thành phần ồn ào. Các
thành phần sẽ được coi là ồn nếu tỷ lệ đạt đến một ngưỡng nhất định. Theo Kim et al.
[29] phương pháp này có lợi vì dữ liệu thu thập sẽ phù hợp hơn với dự đoán lỗi khi
tiếng ồn có thể được phát hiện và loại bỏ trước đó.
Trang 17



Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
1.6.3. Lựa chọn thuộc tính (Attribute Selection)
Ngồi dữ liệu ồn ào, hiệu suất kém của các yếu tố dự đoán lỗi cũng được gây ra
bởi sự dư thừa của các thuộc tính huấn luyện [54]. Để đạt được các dự đốn chính xác,
tất cả các tốn tử, chú thích, tên lớp, các biến và các từ khóa ngơn ngữ lập trình có thể
được xem xét như là các thuộc tính cho việc huấn luyện các bộ dự đoán. Hơn nữa, các
độ đo mã nguồn tĩnh, độ đo hướng đối tượng và các độ đo khác cũng có thể được sử
dụng cùng nhau để tập hợp các tập dữ liệu. Những điều này dẫn đến một tập hợp thuộc
tính lớn. Tuy nhiên, nó thường khơng khả thi đối với các mơ hình dự đốn để xử lý
một tập thuộc tính lớn được thiết lập cùng với sự có mặt của tiếng ồn và các tương tác
phức tạp[54].
Một giải pháp có thể cho vấn đề này là chọn một tập hợp con các thuộc tính cung
cấp hiệu suất tốt nhất của các dự đốn. Phương thức này được gọi là lựa chọn thuộc
tính. Có một số lượng lớn các phương pháp đã được đề xuất trong lĩnh vực học máy để
lựa chọn thuộc tính Hầu hết trong số đó là các loại thành hai loại: phương pháp lọc và
trình bao bọc. Bộ lọc tiếp cận, chẳng hạn như Chi-Squared, Gain Ratio và đánh giá
thuộc tính ý nghĩa (SAE), loại bỏ các thuộc tính có ý nghĩa thấp nhất cho đến khi đạt
được hiệu suất dự đoán tối ưu. Họ sử dụng các chẩn đoán dựa trên các đặc tính của dữ
liệu để đánh giá các thuộc tính. Trong khi đó, cách tiếp cận wrapper đánh giá các
thuộc tính dựa trên điểm số được đưa ra bởi các thuật tốn học tập như Nạve Bayes và
Suppport Vector Machine
Theo lập luận của Hall [55] các phương pháp lọc phù hợp hơn cho các tập dữ liệu
với một số lượng lớn các thuộc tính. Một ưu điểm khác của việc sử dụng các phương
pháp lọc là khả năng làm việc kết hợp với bất kỳ thuật toán học máy nào trong khi các
cách tiếp cận wrapper sử dụng các thuật toán học tập giống nhau cho cả lựa chọn và
phân loại thuộc tính .
Tuy nhiên, giới hạn của các phương pháp lọc là chúng có thể gây ra sự dư thừa
của các thuộc tính được chọn. Ví dụ, phương pháp lọc truyền thống là tập trung vào
việc giữ lại các thuộc tính liên quan. Sau khi gán giá trị phù hợp cho từng thuộc tính,
kỹ thuật sẽ đánh giá từng thuộc tính riêng lẻ bằng cách sử dụng hàm đánh giá. Thuộc

tính được chọn nếu giá trị độ liên quan của chúng lớn hơn ngưỡng đã cho. Cách tiếp
cận này khơng tính đến sự phụ thuộc giữa các thuộc tính. Do đó, họ có xu hướng chọn
các thuộc tính dư thừa.
1.7. Các độ đo đánh giá
1.7.1. Phân loại đo lường
Để đánh giá mơ hình dự đốn lỗi phần mềm, các biện pháp đánh giá bao gồm
false positive rate, độ chính xác (accuracy), precision, recall, balance and F-measure
[59] được áp dụng.
Trang 18


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
Trước đó, các ký hiệu A, B, C, D được sử dụng trong đó:
 A là số lượng mơ-đun bị lỗi được dự đốn là lỗi.
 B là số mơ-đun bị lỗi được phân loại là khơng có lỗi.
 C là số mơ-đun khơng có lỗi được dự đốn là lỗi.
 D là số mơ-đun khơng có lỗi được dự đốn là khơng có lỗi.
Độ chính xác (accuracy): Tỷ lệ là số lượng mơ đun được dự đốn chính xác trên
tổng số mơ-đun.

Từ phương trình, độ chính xác bị ảnh hưởng nặng nề bởi sự cân bằng của lớp.
Tuy nhiên, các bộ dữ liệu phần mềm thường thì nhiều mơ-đun khơng có lỗi nhiều hơn
các mơ-đun bị lỗi. Nếu một mơ hình dự đốn tất cả các mơ-đun khơng bị lỗi, độ chính
xác sẽ rất cao mặc dù khơng có mơ-đun bị lỗi nào được dự đốn chính xác. Ví dụ, tỷ lệ
lỗi trung bình của bộ dữ liệu PROMISE là 18%. Nếu một mơ hình dự đốn tun bố
tất cả các mơ-đun là khơng có lỗi, độ chính xác của nó sẽ là 82% mà khơng dự đốn
chính xác bất kỳ mô-đun bị lỗi nào. Do sự mất cân đối giữa các lớp trong tập dữ liệu,
độ chính xác khơng thể được coi là thước đo thích hợp để so sánh các mơ hình dự báo
[15].
False positive rate: tỉ lệ báo động nhầm cũng được biết là xác suất báo động

nhầm [17]. Tỷ lệ này là số mơ-đun khơng có lỗi được dự đốn sai như số lỗi của các
mơ-đun khơng có lỗi.

Recall: Recall cịn được gọi là báo động đúng hoặc xác suất phát hiện
(probability of detection) [17]. Recall được tính bằng tỷ lệ là số lượng mơ-đun bị lỗi
được dự đốn chính xác là bị lỗi với số lượng mô-đun bị lỗi.
Balance: Để chọn một cặp xác suất tối ưu của báo động giả và xác suất phát hiện
lỗi (pf, pd), Menzies et al. [17] đề xuất một biện pháp được gọi là balance (bal). Biện
pháp này là khoảng cách Euclide chuẩn hóa từ điểm mong muốn (pd = 1, pf = 0)
thành một cặp (pf, pd).

Mặc dù balance là một biện pháp khá hữu ích được sử dụng trong việc đánh giá
các yếu tố dự báo lỗi [17], nó khơng phổ biến và vẫn có những hạn chế. Khi balance là
Trang 19


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
khoảng cách, các mơ hình dự đốn có giá trị khác nhau của (pf, pd) có thể có cùng giá
trị của balance. Tuy nhiên, điều này khơng có nghĩa là những mơ hình đó có hiệu suất
ngang nhau trong thực tế, Menzies nhấn mạnh rằng sử dụng một cặp (pf, pd) là không
thực tế trong việc phân loại các tập dữ liệu mất cân bằng vì tỷ lệ chính xác thấp.
Precision: Tỷ lệ là số lượng mơ-đun bị lỗi được dự đốn chính xác là bị lỗi với số
lượng mơ-đun được dự đốn là lỗi.

Một mơ hình dự đốn trình bày một hiệu suất tốt nếu đạt được các giá trị thu hồi
(recall), độ chính xác (accuracy) và giá trị thấp hơn của độ báo động giả (False
positive rate). Tuy nhiên, người ta biết rằng việc recall có thể được cải thiện bằng cách
giảm accuracy và ngược lại [62]. Bởi vì sự cân bằng giữa accuracy và recall, không dễ
so sánh các hiệu năng của bộ dự đoán lỗi dựa trên chỉ recall hoặc accuracy. Kết quả là,
F- measure, một thước đo tổng hợp recall và accuracy, đã được sử dụng để so sánh kết

quả dự đoán [59].
F- measure: Chức năng hài hòa của recall và accuracy [59].
F-measure đã được sử dụng trong nhiều bài báo dự đoán lỗi [29,59] Độ đo này
trình bày một điểm thống nhất để đánh giá mơ hình dự đốn sau khi cân bằng sự cân
bằng giữa recall và accuracy. Giá trị của F-measure tỷ lệ thuận với hiệu suất của một
mơ hình.
Rõ ràng là tất cả các biện pháp trên được tính dựa trên các giá trị của A, B, C, D,
là kết quả của các quyết định nhị phân từ người dự đoán. Tuy nhiên, nhiều mơ hình dự
đốn lỗi phân loại một mơ hình bằng cách đưa ra xác suất lỗi thay vì quyết định nhị
phân. Điều này đặt ra một câu hỏi về cách xác định cụ thể hóa xác suất liên tục. Để
giải quyết câu hỏi này, Rahman et al. [60] đề xuất sử dụng một ngưỡng xác suất trong
đó một mơ-đun được coi là bị lỗi nếu xác suất lỗi của nó đạt đến ngưỡng. Nếu khơng,
module được phân loại là khơng có lỗi.
AUC: AUC biểu thị khu vực theo đường cong (ROC). AUC là một thước đo
không tham số độc lập với ngưỡng và không bị ảnh hưởng bởi sự mất cân bằng trong
lớp. ROC là một đường cong hai chiều được vẽ theo xác suất của báo động giả (trục x)
và xác suất phát hiện (trục y). Theo Rahman và Devanbu một mơ hình tốt hơn khi
đường cong ROC của nó gần với điểm pd = 1 và pf = 0. Một bộ dự báo hồn hảo, có
AUC là 1. Ngược lại, một đường cong phủ định minh họa mơ hình khơng tốt với xác
suất báo động giả và xác suất phát hiện thấp. Ở những nghiên cứu khác đã phát hiện ra
rằng nếu mơ hình phủ nhận kết quả dự đốn của nó, đường cong âm sẽ trở thành
Trang 20


Chương 1: TỔNG QUAN VỀ ĐỘ ĐO PHẦN MỀM
đường cong ưu tiên đại diện cho một bộ dự đoán tốt. Một mơ hình ngẫu nhiên khơng
cung cấp thơng tin ln có AUC là 0,5 vì nó có xu hướng gần với đường chéo pd =
pf,. Xác suất báo động giả và xác suất phát hiện khác nhau tùy thuộc vào ngưỡng dự
đốn xác suất của từng mơđun dự đốn [15]. Tuy nhiên, AUC có tất cả các giá trị
ngưỡng có thể xem xét hiệu suất dự đốn. Do đó, AUC là độc lập với ngưỡng, và nó là

một biện pháp ổn định.

Hình 1.4 Ví dụ về ROC
AUCEC: Mặc dù AUC là một biện pháp hữu ích để đánh giá hiệu suất của các
phần mềm dự đốn lỗi, nhưng nó khơng tính đến tính hiệu quả về chi phí. Do đó,
Arisholm, Briand và Fuglerud trình bày một biện pháp được gọi là khu vực dưới
đường cong AUCEC (area under cost-effectiveness curve). Hiệu quả chi phí trong dự
đốn lỗi được xác định dựa trên tỷ lệ phần trăm lỗi có thể được tìm thấy trong một tỷ
lệ nhất định các dịng mã lệnh được kiểm tra [15]. Cụ thể hơn, một mô hình sẽ hiệu
quả về chi phí hơn nếu nó có thể tìm thấy nhiều lỗi hơn với ít nỗ lực cố gắng kiểm tra
hơn.
Một ví dụ về các đường cong hiệu quả về chi phí AUCE được thể hiện trong
Hình 2.13 trong đó trục x đại diện cho tỷ lệ phần trăm của các dòng mã lệnhvà trục y
là tỷ lệ lỗi tìm thấy. Biểu đồ bên trái cho thấy các yếu tố dự đoán ngẫu nhiên, thực tế
và tối ưu được biểu thị bằng đường cong R, P và O tương ứng. Vì một bộ dự đốn
ngẫu nhiên sẽ chọn các mô-đun ngẫu nhiên là bị lỗi, tỷ lệ phần trăm các lỗi được tìm
thấy và các dịng mã được kiểm tra là như nhau. Trong trường hợp này, nó có AUCEC
là 0,5. Trong khi đó, theo Rahman [27], AUCEC của dự đoán tối ưu là cao nhất so với

Trang 21


×