Tiểu luận môn kiểm chứng phần mềm Fuction Test

Ki m Ch ng Ph n M mể ứ ầ ề
Giáo Viên H ng D n: ướ ẫ
Nguy n Công Hoanễ
Sinh viên Th c hi n:ự ệ
Tr n Hoài Minhầ 10520503
Bùi Anh Vinh 10520466
Nguy n Vă n Bìnhễ 09520013
Fuction Test
•
FAST
•
TOFT
•
Biên
•
FETs
•
Ki m th thăm dòể ử
•
Software Attacks
Shell language
•
L ch Sị ử
•
Các l nh c b nệ ơ ả
•
Demo c b nơ ả
N i Dungộ

L ch s Shell languageị ử
•
Vào năm 1991 t i Ph n Lan, Linus B. Torvalds đã s d ng m t h đi u ạ ầ ử ụ ộ ệ ề
hành th ng m i khác là Minix. H đi u hành Minix là h đi u hành Unix ươ ạ ệ ề ệ ề
c nh .ỡ ỏ
•
Phiên b n đ u tiên c a Linux là 0.01 đ c tung ra vào tháng 8/1991.ả ầ ủ ượ
•
Năm phiên b n đ u tiên c a Linux t ng đ i không n đ nh, nh ng phiên ả ầ ủ ươ ố ổ ị ư
b n đ u tiê n đ c tuyên b là n đ nh (1.0) đã đ c công b vào kho ng ả ầ ượ ố ổ ị ượ ố ả
tháng 3/1994 .
L ch s Shell languageị ử
•
Giai đ o n phát tri n : đây kernel không có đ tin c y cao và ti n trình là ạ ể ở ộ ậ ế
b sung ch c năng cho nó, t i u hóa nó và th nghi m các ý t ng m i. ổ ứ ố ư ử ệ ưở ớ
Giai đo n này đem l i s gia tang s l ng các phiên b n đánh s l , ch ng ạ ạ ự ố ượ ả ố ẻ ẳ
h n nh 1.1, 1.3, vv Đây là th i đi m mà l ng công vi c t i đa đ c ạ ư ờ ể ượ ệ ố ượ
th c hi n trên kernel. ự ệ
•
Giai đo n n đ nh: giai đo n này, m c đích là t o ra m t kernel càng n ạ ổ ị ở ạ ụ ạ ộ ổ
đ nh càng t t. Trong tr ng h p này, ch cho phép th c hi n các hi u ch nh, ị ố ườ ợ ỉ ự ệ ệ ỉ
s a đ i nh . S phiên b n c a các kernel đ c g i là n đ nh là các s ử ổ ỏ ố ả ủ ượ ọ ổ ị ố
ch n, ch ng h n 1.0, 1.2 và m i nh t là 2.2.ẵ ẳ ạ ớ ấ
Các l nh c b nệ ơ ả
•
cat : hi n n i dung c a m t t p tin.ệ ộ ủ ộ ậ
•

cd : Chuy n đ ng d n.ể ườ ẫ
•
chmod : chuy n quy n truy c p.ể ề ậ
•
cksum : ki m tra t ng và đ m s byte trong m t t p tin.ể ổ ế ố ộ ậ
•
cmp : so sánh 2 t p tin, t t nh t nên dành cho t p tin h nh phân.ậ ố ấ ậ ệ ị
•
cp : sao chép.
•
diff : tìm ra s khác nhau gi 2 t p tin.ự ữ ậ
•
echo : xu t m t dòng ký t .ấ ộ ự
•
find : tìm m t t p tin trong th m c.ộ ậ ư ự
Các l nh c b nệ ơ ả
•
grep, egrep, fgrep : in ra dòng ch theo m t đ nh d ng.ữ ộ ị ạ
•
head: in ra ph n đ u c a t p tinầ ầ ủ ậ
•
tail: in ra ph n đuôi c a t p tin.ầ ủ ậ
•
ls: hi n th n i dung c a th m c hi n t i.ể ị ộ ủ ư ụ ệ ạ
•
ln: t o liên k t gi a các t p tin.ạ ế ữ ậ
•
mail: g i và nh n email. man: cung c p mô t chi ti t c a m t l nh cùng ử ậ ấ ả ế ủ ộ ệ
v i h ng d n s d ng.ớ ướ ẫ ử ụ
•

mkdir: t o m t th m c.ạ ộ ư ụ
Các l nh c b nệ ơ ả
•
more: đánh s trang c a màn hình văn b n hi n t i.ố ủ ả ệ ạ
•
mv: di chuy n, xóa ho c đ i tên m t t p tin.ể ặ ổ ộ ậ
•
ping: g i yêu c u đ n máy khác n u nó đ ang ch y.ử ầ ế ế ạ
•
ps: báo cá o tình tr ng c a quá trình.ạ ủ
•
pwd: in tên c a th m c hi n hành.ủ ư ụ ệ
•
rm: lo i b m t t p tin.ạ ỏ ộ ậ
•
rmdir: lo i b m t th m c.ạ ỏ ộ ư ụ
Demo c b nơ ả
•
Ví d v các b c testing c a shell languageụ ề ướ ủ
Demo c b n (tt)ơ ả
#!/bin/csh
server –stop
cp /test/configs/config.1 /server/config.rc
server -start
server –stop
cp /test/configs/config.2 /server/config.rc
server –start
# add additions configurations to be tested here
server –stop
exit

L u các c u hình có s n c a server tr c khi thêm c u hình ki m thư ấ ẵ ủ ướ ấ ể ử
Demo c b n (tt)ơ ả
<job>
<script language=”VBScript”>
dim objHTTP
set objHTTP = CreateObject(“MSXML2.ServerXMLHttp”)
objHttp.Open “GET”,””
objHttp.Send
if objhttp.Status = 200 then
WScript.Echo “The page was called successfully”
else
WScript.Echo “The response status was “ & objHttp.Status
end if
Demo c b n (tt)ơ ả
‘write the response content to a text file
dim objFS,objTS
set objFS = CreateObject(“Scripting.FileSystemObject”)
set objTS = objFS.CreateTextFile(“c:\output.txt”)
objTS.WriteLine objHttp.ResponseText
</script>
</job>
VBScript này b t đ u b ng cách t o ra m t đ i t ng tên MSXML2.ServerXML ắ ầ ằ ạ ộ ố ượ
Http. Sau đ ó nó g i trang lên. N u trang đ c tìm th y, tình tr ng g i m t tr l i ọ ế ượ ấ ạ ử ộ ả ờ
yêu c u s là 200. N u trang đó không đ c tìm th y, thông đi p tr v s đ c 404 ầ ẽ ế ượ ấ ệ ả ề ẽ ượ
ho c m t tr l i 4xx hay 5xx khác. Chúng ta test đ xem thông đi p tr v là 200 ặ ộ ả ờ ể ệ ả ề
ho c m t thông đi p tr v khác. N u tr l i khác 200, mà thông đi p tr v s đ c ặ ộ ệ ả ề ế ả ờ ệ ả ề ẽ ượ
in vào t p tin văn b n. S k t thúc c a script t o ra các t p tin văn b n trên C:.ậ ả ự ế ủ ạ ậ ả ổ
A & Q
Thank you!