-------------------------------

ISO 9001:2015

NGÀNH:

Sinh viên :
hS.

- 2018


án t t nghi p

Ki m th ph n m m trên thi t b

ng

-----------------------------------

À

TRÊN IOS

NGÀNH:

Sinh viên :
: ThS. N

ông



3


án t t nghi p

Ki m th ph n m m trên thi t b

ng

L
Dân
, và
, em hoàn thành

hS.
trên IOS
em
, nghi
in

chân thành

ThS.
em
hoàn

Song do
em
em

U............................................................................................................................. 10

M

.....................................................................13
1. Ph n m m ................................................................................................................... 13
2. Ki m th ph n m m và m t s khái ni m liên quan ..............................................13
2.1. Ki m th ph n m m ............................................................................................. 13
..................................................................................14
3. Quy trình ki m th ph n m m ................................................................................. 16
4. Các c

ki m th ..................................................................................................17
............................................................................................18

4.1. Ki m th m

4.2. Ki m th tích h p .................................................................................................19
4.3. Ki m th h i quy ..................................................................................................19
4.4. Ki m th ch p nh n s n ph m ............................................................................20
4.5. Ki m th m c h th ng........................................................................................20
5. Các k thu t ki m th ph n m m ............................................................................20
n ki m th ph n m m ..............................................................21

5.1. Nguyên t

5.2. K thu t ki m th h p tr ng (White-Box Testing) ............................................. 23
-Box Testing)................................................. 25

5.3. K thu t ki m th h


Ngành Công ngh thông tin

5


án t t nghi p

Ki m th ph n m m trên thi t b

1.2.

m th trên thi t b

ng ....................................................... 41

ng ....................................................................................45

1.3. Các lo i ki m th

m c a ki m th
2. Ki m th t

ng

ng.....................................................................46

ng .......................................................................................................48
ng ................................................................................48



................................63

3.4. T o d án ki m th ..............................................................................................65
3.5. Báo cáo..................................................................................................................74
K T LU N......................................................................................................................... 78
TÀI LI U THAM KH O.................................................................................................79

Bùi Tr

L p CT1801

Ngành Công ngh thông tin

6


án t t nghi p

Ki m th ph n m m trên thi t b

ng

DANH M C HÌNH V VÀ B NG BI U
Hình 1-1: Ví d v 1 K ch b n ki m th ............................................................................. 16
Hình 1-2:
n ki m th trong x lý ph n m m..........................................................16
Hình 1-3: Lu ng thông tin ki m th ....................................................................................22
Hình 1-4: Minh h a Ki m th h
................................................................................26

t ng d ng Basic Calculator........................................... 67
Hình 3-14:
t ng d
c thêm vào ph n setUp........................................... 68
Hình 3-15: Thêm câu l
rình không t
ng thoát khi th c hi n ki m th ..68
Hình 3-16: Ch n bi
ng Dump UI c a s Devices....................................................69
Hình 3-17:
............................................... 69
Hình 3-18:
ng nút AC c a màn hình máy tính............................................. 70
Hình 3-19:
n mã sinh s th p phân ng u nhiên t n 999 ..................................71
Hình 3-20:
n mã sinh s nguyên ng u nhiên t n 999 ......................................71
Hình 3-21:
n mã sinh d li u ki m th t
ng ............................................................73
Hình 3-22: Kh i ch y ki m th t
ng..............................................................................73
Hình 3-23: Quá trình ch y ki m th trên web .....................................................................74
Hình 3-24: K t qu sinh ca ki m th t
ng......................................................................74
Hình 3-25: Toàn b
c sinh t
ng trong ph n Reports...................................75
Hình 3-26: Chi ti t quá trình th c hi n ki m th t
ng ................................................... 75

C MT

3G

Third-generation
technology

Công ngh truy n thông th h
th ba, cho phép truy n c d
li u tho i và d li u ngoài tho i

API

Application
Programming
Interface

Giao di n l p trình ng d ng - là
1 giao ti p ph n m
c dùng
b i các ng d ng khác nhau

3

BSD

Berkeley Software
Distribution

Tên c a m t h

ng
d ng gói dành cho nh
i
dùng H th
ng
toàn c u

6

GPRS

General Packet
Radio Service

7

GPS

Global Positioning
System

H th

8

GSM

Global System for
Mobile
Communications

Ngành Công ngh thông tin

8


án t t nghi p

11

IDE

12

IEEE

13

IT

Ki m th ph n m m trên thi t b

Integrated
Development
Environment

ng

Ph n m m bao g m nh ng gói
ph n m m khác giúp phát tri n
ng d ng ph n m


N
ch

u hành
t nhân

i ch u trách nhi
ng s n ph m

mb o

16

SDK

Software
Development Kit

Thu t ng
c Microsoft, Sun
Microsystems và m t s công ty
khác s d ng m t b công c
phát tri n ph n m m

17

SMS

Short Message

Locator

21

V&V

Verification and
Validation

WAP

Giao th c ng d ng không dây Wireless Application là m t tiêu chu n công ngh cho
Protocol
các h th ng truy nh p Internet t
các thi t b
ng

22

Bùi Tr

L p CT1801

Giao di

i dùng

nh v tài nguyên th ng nh t,
tham chi u t i tài
nguyên trên Internet

nhi u công c tiên ti n, giúp cho vi c xây d ng ph n m
qu

m t nh c và hi u

ph c t p c a ph n m m và nh ng gi i h n v th i

gian và chi phí, cho dù các ho

m b o ch

ng ph n m m nói chung

và ki m th nói riêng ngày càng ch t ch và khoa h c, v
c r ng các s n ph m ph n m

mb o

c ng d ng không có l i. L i v n

luôn ti m n trong m i s n ph m ph n m

gây nh ng thi t h i

ng.
Ki m th ph n m m là m t quá trình liên t c, xuyên su t m
phát tri n ph n m
và các yêu c
ph n m


cs
ng c

c cài

xu t thì nay v i các thi t b ch y các h

u hành nhúng (Android, iOS, v.v.)

c các nhu c u c

i dùng b ng cách cài thêm

hi n nhiên là ki m th các ph n m m ch
c các yêu c

hành s n ph m t
Bùi Tr

i dùng. T m t

t s n vài ba ng d ng c a nhà s n

các ph n m m bên th ba mà không gây ra tr ng i nào. T
v

c

c qu n lí ch t ch .


ng

ng và ng

án t t nghi p.

án:
tài tìm hi

lý thuy t v ki m th nói chung và ki m th trên
n khai công c ki m th ph n m m t

gi m nhân l c ki m th

m b o ch

ki m th b ng tay. M c tiêu chính c
thi t b

ng ph n m

ng

i công vi c

tài là nghiên c u v ki m th trên

ng.
ng và ph m vi nghiên c u
án nghiên c u lý thuy t ki m th ph n m m. Bên c

m th trên thi t b

ng

d ng ph n m m Appium Studio cho ki m
th t

ng trên IOS
Ph n k t lu

nh ng k t qu

p ph i trong quá trình nghiên c u th c hi n

Bùi Tr

L p CT1801

c và nh ng
án.

Ngành Công ngh thông tin

11


án t t nghi p

Ki m th ph n m m trên thi t b



ng

em trong quá trình h c t

án.

L p CT1801

Ngành Công ngh thông tin

12


án t t nghi p

Ki m th ph n m m trên thi t b

ng

:

Ki m th nh

ng ho c tính ch p nh
phát hi n l i ho c b t c v

Chúng ta c n ki m th vì bi t r
c bi



ki m th [2]. Ki m th có th cung c p cho doanh nghi p m
c l p v ph n m

t

c

m, m t
u hi

c

nh ng r i ro trong quá trình tri n khai ph n m m.
Trong k thu t ki m th không ch gi i h n vi c th c hi n m
trình ho c ng d ng v i m

Bùi Tr

L p CT1801

i ph n m m (bao g m các l i và

Ngành Công ngh thông tin

13


án t t nghi p


c ti n hành sau khi các yêu c

c hoàn t

tt ph

tri n ph n m m linh ho t d a trên vi c l
ki m th

nh và vi c l p

pl

) thì vi c

c ti n hành liên t c trong su t quá trình xây d ng ph n m

v y, m i m

m th b chi ph i theo m t quy trình phát tri n

ph n m m nh

nh.

2.2.

liên quan
Ch



t h th ng hay c u ph n

trong hay cu i c a quá trình phát tri

ng yêu c u quy

nh [3].
Bùi Tr

L p CT1801

Ngành Công ngh thông tin

14


án t t nghi p

Ki m th ph n m m trên thi t b

Xác minh, ki m ch ng (Verification):
hay thành ph

ng là ho
yêu c

t h th ng

nh xem các s n ph m c a m

i m c ph i trong quá trình

phát tri n các s n ph m ph n m m [4].
Sai (Fault): Sai là k t qu c a l

is d

Th t b i (Failure): Th t b i xu t hi n khi m t l

c th c thi [4].

n sai [4].

S c (Incident): Khi th t b i xu t hi n, nó có th hi n th ho c không,
t c là rõ ràng ho

iv

i dùng ho

i ki m th . S

c là tri u ch ng liên k t v i m t th t b i và th hi

i dùng ho c

i ki m th v s xu t hi n c a th t b i này [4].
Ca ki m th (Test case): Ca ki m th g m m t t p các d li
và m t xâu các giá tr


Ngành Công ngh thông tin

15


án t t nghi p

Ki m th ph n m m trên thi t b

ng

Hình 1-1: Ví d v 1 K ch b n ki m th
3. Quy trình ki m th ph n m m
M

a ki m th là thi t k m t chu

có kh

nl

ng h p ki m th mà

cho vi c ki m th

có s chu n b v k ho ch ki m th , thi t k
d li u ki m th

ng h p ki m th và các


Hình 1-2:

Bàn giao SP

Các báo cáo ki m
th

n ki m th trong x lý ph n m m

Quy trình ki m th bao g m m t s
- L p k ho ch ki m th :
ng s

u ra

n:

u tiên là l p k ho ch cho t t c các ho t

c th c hi

c s d ng. Các chu n

IEEE bao g m các thông tin v tác gi chu n b k ho ch, danh sách li t
kê c a k ho ch ki m th . V

Bùi Tr

L p CT1801


nh (V&V): t ch c, tài nguyên,

trách nhi m, các công c , k thu

pháp lu n.

i c a V&V: các nhi m v , các d li u vào và các k t qu ra
trên m

i.

Báo cáo xác minh và th

nh(V&V) ph n m m: mô t n i dung,

nh d ng và th i gian cho t t c các báo cáo V&V.
Các th t c qu n lý V&V bao g m các chính sách, th t c, các chu n,
th c nghi m và các quy
-

c.

n b trí nhân viên ki m th : Vi c ki m th
m

cl

ng ph i ti n hành

c l p có trách nhi m ti n hành các h at


-

n ph m ph n m

xác nh n s n ph m có th s n sàng

phát
4. Các c

ki m th

Các m c ki m th ph n m
- Unit Test

ng:

Ki m th m

- Integration Test

Ki m th tích h p

- System Test - Ki m th m c h th ng
Bùi Tr

L p CT1801

Ngành Công ngh thông tin



c ch

ki m th

c nh và

ch

c t ch c,

ki m th , ghi nh n và phân tích k t qu ki m th . N u phát hi n l i, vi c xác
nh nguyên nhân và kh c ph
trong m t

i d dàng vì ch khoanh vùng

m th . M

t n cho Ki m th

s

t t th c ti n: th i gian
n bù b ng vi c ti t ki m r t nhi u th i gian

và chi phí cho vi c ki m th và s a l i
Ki m th

các m c ki m th


ki m th
u ph

c ki

phát

ng là m t chu i các l

c th c

ki m th , ví d : chu i các l

gi

u ki n If và n m

t nhánh. Th c t vi c ch n l

hóa vi c ki m th và quét h t các
khi ph i dùng thu

ki m th

n
i ph i có k thu

ch n l a.
c ki m th khác, Ki m th


ng s d
c vi t s

h tr cho vi c

v ph n m m.
4.2. Ki m th tích h p
Ki m th tích h p k t h p các thành ph n c a m t ng d ng và ki m th
t ng d

Ki m th

thành ph

ki m th các

ph n m m riêng l thì ki m th tích h p k t h p chúng

l i v i nhau và ki m th s giao ti p gi a chúng. Ki m th tích h p có 2 m c
tiêu chính:
- Phát hi n l i giao ti p x y ra gi a các
- Tích h p các

ki m th

ki m th .

thành các h th ng nh (subsystem)


, c n ph i ki m tra l i t t c các ch
ch

i, nó có th s

làm A và B không còn làm vi

Bùi Tr

n

L p CT1801

a.

Ngành Công ngh thông tin

19


án t t nghi p

Ki m th ph n m m trên thi t b

ng

4.4. Ki m th ch p nh n s n ph m
n ki m th h th ng là ki m th ch p nh n,
c khách hàng th c hi n (ho c y quy n cho m t nhóm th ba th c hi n).
M

ch t gi a ki m th tích h p và ki m th h th ng là ki m th h th ng chú
tr ng các hành vi và l i trên toàn h th ng, còn ki m th tích h p chú tr ng s
giao ti p gi

ho

ng khi chúng làm vi c cùng nhau. Thông

ng ta ph i th c hi n ki m th

và ki m th tích h

ph n m m và s

b

a chúng ho

mm i
c khi

th c hi n ki m th h th ng. Ki m th h th ng ki m tra c các hành vi ch c
a ph n m m l n các yêu c u v ch
khi s d ng, hi

o m t. M c ki m th

tin c y, tính ti n l i
c bi t thích h p cho



u các ch

Ngành Công ngh thông tin

20


án t t nghi p

Ki m th ph n m m trên thi t b

d ng và các yêu c u phi ch

ác k thu t ki m th

h p tr ng yêu c u hi u bi t v c
nh

ct

ng

m th

c t thi t k bên trong ho c t mã.

5.1. Nguyên t

n ki m th ph n m m


nh.

5.1.1. M c tiêu ki m th
Các nguyên t

c tiêu ki m th là:

- Ki m th là m t quá trình th
- M

im

ng h p ki m th t

i.

ng h p ki m th mà có kh

vi c tìm th y các l

c phát hi n.

- M t ki m th thành công là ki m th mà phát hi n l

c

phát hi n.
5.1.2. Lu ng thông tin ki m th
Lu ng thông tin cho ki m th

Ki m th ph n m m trên thi t b

ng

Hình 1-3: Lu ng thông tin ki m th
5.1.3. Thi t k tr

ng h p ki m th

Thi t k ki m th ph n m m có th là m t quá trình thu th p, phân tích
và th c hi n yêu c u. M c tiêu c a ki m th là ph i thi t k

ng h p

ki m th có kh

t trong vi c phát hi n nhi u l i nh t v i th i gian

và công s c t i thi

y, v

m m là thi t k và t

ng h p ki m th có hi u qu . Lý do v t m

quan tr ng c a vi c thi t k các t
th

quan tr ng nh t trong ki m th ph n

B t k s n ph m công ngh nào có th
- Bi t v các ch
- Bi t cách ho
hi n

Bùi Tr

th mà s n ph

c ki m th trong hai cách:
c thi t k

ng bên trong c a s n ph m, ki m th có th

mb or

t c các thành ph

L p CT1801

Ngành Công ngh thông tin

th c hi n.
c th c

22


án t t nghi p


hi u l nh duy nh t và m

c gán s
i tham s c a nó và bi n toàn c c.

Cho m t l nh v i S là s hi u câu l
DEF(S) = là t p các bi

c khai báo trong S.

USE(S) = là t p các bi

c s d ng trong S.

M t chi
DU

c ki m th lu ng d li

c ph ít nh t m t l n. Chi

DU. Ki m th

n là chi
c g i là chi

c mà m i chu i
c ki m th

m b o ph h t t t c các nhánh c a m


Ki m th ph n m m trên thi t b

ng

c ki m th lu ng d li u là r t h u ích cho vi c l a ch n các
a các l nh if ho c vòng l p l ng

ng d n ki m th c
nhau.
5.2.2. Ki m th lu ng

u khi n

ng thi hành (Execution path): là 1 k ch b
m

ng: danh sách có th t các l

c th c

ph n m m, b

m k t thúc c

ut

c thi hành ng v i 1 l n ch y
m nh p c


ph n m m.

M c tiêu c

trên nh

ph n

c toàn b các
ng thi hành c

m th s ca ki m th t i thi u

tin c y t

Ph ki m th (Coverage): là t l các thành ph n th c s
so v i t ng th

m th các ca ki m th

c ch n. Ph càng l n

tin c y càng cao. Thành ph n liên quan có th là l
u ki

c ki m th

m quy

nh,


Ngành Công ngh thông tin

24


án t t nghi p

Ki m th ph n m m trên thi t b

- Ph c p 3: ki m th sao cho m
c at

m quy

ng

u ki n lu n lý con (subcondition)
c th c hi n ít nh t 1 l

ng

h p TRUE l n FALSE. Ta g i m c ki m th này là ph

u ki n

con (subcondition coverage). Ph

mb o



m th ph n m

c th c

c c u t o bên trong c a ph n m m, là cách mà các tester

ki m tra xem h th

t chi c h

nào nhìn th y

bên trong c a cái h p.
yb
m m, trong con m t c a các tester, gi

n

th

ta không th nhìn th

i

g ng tìm ra các l i trong các lo i

sau:
Ch