... nạ
1
GiáotrìnhCông ngh ph n m mệ ầ ề
tham gia vào quá trình l p nên các quy đ nh cho v n đ s aậ ị ấ ề ử
ch a l i hay không?ữ ỗ
Các câu h i trên là nh ng v n đ k thu t và nên đ c trình lên ... M Ặ Ầ Ề
5.1. Phong cách cài đ t ch ng trình ặ ươ 85
5.2. N n t ng c a ngôn ng l p trình ề ả ủ ữ ậ 88
Collected by Mr Nguy n Thanh Tu nễ ấ
2
GiáotrìnhCông ngh ph n m mệ ầ ề
+ D ch chuy n lên ... ở ữ ệ ướ ượ
Collected by Mr Nguy n Thanh Tu nễ ấ
20
GiáotrìnhCông ngh ph n m mệ ầ ề
1. Phát tri n ng d ngể ứ ụ
L p trình viên: Các l p trình viên chuy n đ i nh ng đ án chi ti t kậ ậ ể ổ ữ...
... (productivity)
tiến trình sản xuất phầnmềm phải hiệu quả
5
9
Công nghệphần mềm
Khái niệm
Công nghệphầnmềm
nghiên cứu và phát triển các phương pháp,
kĩ thuật và công cụ nhằm xây dựng các
phần mềm ... thiệu
công nghệphầnmềm
(1)
Nguyễn Thanh Bình
Khoa Côngnghệ Thông tin
Trường ðại học Bách khoa
ðại học ðà Nẵng
2
Nội dung
Lịch sử phát triển phầnmềm và
khủng hoảng phầnmềm ?
Công nghệphần ... hng & nh cung cp
ã nhiu sn phm
ã tiến trình phát triển phức tạp
1968, hội thảo khoa học ñầu tiên về Côngnghệphầnmềm
7
13
Công nghệphần mềm
Nguyên tắc
Chia nhỏ (separation of concerns)
Làm...
...
mềm
Sự tổ chức các hoạt ñộng phát triển phần mềm
Mô hình phát triển phầnmềm hay tiến trình phát triển
phần mềm
Có nhiều mô hình phát triển phần mềm
mô hình thác nước
mô hình nguyên ... Bình
Khoa Côngnghệ Thông tin
Trường ðại học Bách khoa
ðại học ðà Nẵng
2
Nội dung
Các hoạt ñộng phát triển phần mềm
Các mô hình phát triển phần mềm
6
11
Các hoạt ñộng phát triển
phần mềm
Mã ...
phần mềm
Bảo trì
bảo ñảm chương trình vận hành tốt
cài ñặt các thay ñổi
cài ñặt các yêu cầu mới
xử lý các lỗi khi vận hành
Sản phẩm: chương trình
16
Các mô hình phát triển phần
mềm
Sự...
... ñặc tả
Trình bày một số kỹ thuật
Máy trạng thái hữu hạn
Mạng Petri
ðiều kiện trước và sau
Kiểu trừu tượng
ðặc tả Z
1
Các kỹ thuật ñặc tả
(4)
Nguyễn Thanh Bình
Khoa Côngnghệ Thông ... xác (toán học)
hợp thức hóa hình thức (công cụ hóa)
công cụ trao ñổi: khó ñọc, khó hiểu
khó sử dụng
ðặc tả không hình thức
dễ hiểu, dễ sử dụng
mềm dẻo
thiếu sự chính xác
nhập nhằng
8
Ứng ... nhằng
8
Ứng dụng ñặc tả hình thức
ứng dụng trong các giai ñoạn sớm của tiến
trình phát triển
hạn chế lỗi trong phát triển phần mềm
ứng dụng chủ yếu trong phát triển các hệ
thống “quan trọng” (critical...
... CheckIn
Mở rộng thao tác cho trường hợp ghi nhận thành công
28
Ví dụ 1 (tiếp)
Cải tiến thao tác CheckIn
Mở rộng thao tác cho trường hợp ghi nhận thành
công
Khi ñó
GoodCheckIn == CheckIn
∧
Success
... dụng cặp ký hiệu [ và ] ñể ñịnh nghĩa kiểu cơ
bản mới
1
ðặc tả Z (5)
Nguyễn Thanh Bình
Khoa Côngnghệ Thông tin
Trường ðại học Bách khoa
ðại học ðà Nẵng
2
Giới thiệu
ñược ñề xuất bởi Jean ...
∨
BadCheckIn2
32
Quan hệ
Cặp phần tử có thứ tự ñược biểu
diễn
(x, y)
Tích ðề-các của hai kiểu T1 và T2
T1 x T2
(x, y) : T1 x T2
17
33
Quan hệ
Quan hệ (relation) là tập các cặp
phần tử có thứ tự
...
...
mô-ñun tổng quát
5
9
Thiết kế hướng mô-ñun
Phần mềm là tập hợp gồm các mô-ñun
tương tác với nhau
Mô-ñun hóa ñóng vai trò quan trọng ñể có
ñược phầnmềm chất lượng với chi phí thấp
Mục ñích ... “Client-
Server”
mô hình lớp (layered model)
4
7
Thiết kế và sự thay ñổi
Thay ñổi = tích chất ñặc trưng của phần
mềm
Dự báo thay ñổi là cần thiết
giảm chi phí bảo trì
Dự báo thay ñổi là khó khăn
sự ... ñổi trong một (hoặc một số ít)
mô-ñun
Ví dụ
☺không sử dụng số hoặc chuỗi ký tự trong chương
trình, chỉ ñược sử dụng các hằng ñã ñịnh nghĩa
sử dụng mảng
11
21
Mô hình “Repository”
Ưu diểm
ñơn...
... cầu phần mềm
SW Requirements Engineering
ã
Yờu cu phn mm: l tt c cỏc yờu cu
về phầm mềm do khách hàng - người sử
dụng phầnmềm - nêu ra, bao gồm: các
chức năng của phần mềm, hiệu năng của
phần ...
thời gian thực hiện của từng yêu cầu phần
mềm trong giá thành sản phẩm phầnmềm
và thi gian thc hin phn mm
ã
Gii quyt tt c cỏc bất đồng về yêu cầu
phần mềm với khách hàng / người sử dụng
trên ... phầnmềm (Software)
–
Các yêu cầu về phần cứng (Hardware)
–
Các yêu cầu về dữ liệu (Data)
–
Các yêu cầu về con người (People, Users)
ã
Mc ớch: mc ớch ca yờu cu phn mm là
xác định được phần mềm...
... truyện, phim, …
Bảng 1.1: Các phầnmềm và lớp phầnmềm tương ứng
1.1.2. Phân loại
Phần mềm hệ thống là những phầnmềm đảm nhận công việc tích hợp và điều khiển các
thiết bị phần cứng đồng thời tạo ... lên màn hình,
Phần mềm ứng dụng là những phầnmềm được dùng để thực hiện một công việc xác
định nào đó. Phầnmềm ứng dụng có thể chỉ gồm một chương trình đơn giản như chương
trình xem ảnh, hoặc ... bản nhất về phần mềm, tiếp sau đây chúng ta sẽ đi sâu
vào tìm hiểu cấu trúc chi tiết các cấu trúc chi tiết các thành phần bên trong phần mềm. Phần
mềm bao gồm 3 thành phần:
a) Thành phầngiao tiếp...
... điều chỉnh qui trình lên men hiếm khí.
(*). Khuấy và lọc: (Racking and Fining)
Làm đồng đều các thành phần của vang nho, đồng thời loại bỏ phần lớn
Tbào, cặn mấm men của qui trình lên men ... Mang tính nghệ thuật cao, cách pha chế
nước rượu giữa các năm, các mùa
với nhau, các vườn nho, giống nho khác nhau.
Trang 36
4). Các yếu tố khác trong quá trình đường hoá:
Do quá trình ... những chỗ dưới cùng
không có lỗ bị yếm khí đọng nứơc, trong khi đó phần trên khô quá. Do đó, tiến hành
Trang 10
Sơ đồ côngnghệ theo phương pháp bề sâu.
ã Chun b mụi trng nuụi cy:
Bó...
... phẩm
Nhà gia
công
13
Thiết bị và kỹ thuật : Là nguồn tài nguyên (phần cứng và phần mềm) cho phép tiến hành quá
trình xử lý dữ liệu. Thực tế, do chi phí đầu tư cao (nhân công, thời gian ... tại.HTTTQL phải giúp mỗi phần tử của
XN có thông tin có ích và nhanh nhất có thể được. Tính nhanh chóng liên quan đến sự tiến bộ
và sự phát triển của côngnghệ mới về phần cứng, phầnmềm (các bộ vi xử ... các thành phần của một hệ thống.
Hình 1.1 Các thành phần của hệ thống
Đầu vào Đầu ra
Quá trình biến đổi
Cấu trúc của hệ thống
Mục tiêu
Môi trường Trạng thái, hành vi
Phần tử
2...
... thiết (phần cứng và phần mềm)
để hệ thống có thể hoạt động, tuỳ th
eo sự phát triển của công nghệ. Các công cụ ảnh hưởng đến
môi trường phát triển HTTT là :
Các công cụ quản lý màn hình
Các công ... bị liên quan
f) Lập trình
Giai đoạn này là thể hiện vật lý của HTTT bằng việc chọn công cụ phầnmềm để xây dựng
các tệp dữ liệu (databse files), viết các đơn thể chương trình, chạy thử, kiểm ... trong lĩnh vực côngnghệphầnmềm
(Software Engineering).
Các yếu tố liên quan đến thử nghiệm bao gồm :
Kế hoạch thử nghiệm
Danh mục (thư viện) thử nghiệm
Dữ liệu thử nghiệm
Các công cụ thử...