30 câu trắc nghiệm

1.Các nhân tố phân biệt phần mềm với các sản phẩm khác. 1

2.Các thách thức với phần mềm máy tính gia tăng do nguyên nhân nào?

3.Các đặc trưng của phần mềm.

4.Các thành phần phần mềm được xây dựng bằng những ngôn ngữ nào?

5.Thủ tục bao gồm các hoạt động nào?

6.Các bước của kỹ nghệ phần mềm chứa đựng các yếu tố chủ chốt nào?

7.Làm bản mẫu thì mô hình có thể lấy những dạng nào? 1

8.Mô hình vòng đời cổ điển tập trung 4 thuộc tính phân biệt

9.Mô hình xoắn ốc có 4 hoạt động chính là gì?

10.Ba giai đoạn chính phát triển phần mềm.

11.Bốn pha phát triển phần mềm:

12.Năm giai đoạn vòng đời phần mềm:

13.4 thuộc tính chủ chốt 1 hệ phần mềm phải có:

14.Định ra yêu cầu 2

15.Đặc tả yêu cầu. 2

16.Đặc tả phần mềm/ đặc tả thiết kế.

17.Nội dung phân tích hệ thống:

18.Năm lĩnh vực phân tích: 2

19.Các yêu cầu đối với người phân tích.

20.Luận chứng kinh tế bao gồm:

21.Các xem xét thường được gắn với tính khả thi kỹ thuật gồm:

22.Hồ sơ nhiệm vụ nhằm vào:

23.Hồ sơ nhiệm vụ là một thỏa thuận không chính thức giữa 3 phía:

25.Có 3 kiểu yêu cầu phi chức năng chính:

26.Việc xác định đặc tả yêu cầu là khó khăn vì:

27.Bốn bước liên quan đến việc thẩm định yêu cầu: 2

28.Đặc trưng bản đặc tả hệ thống

29.Hạn chế của cách tiếp cận làm bản mẫu.

30.Các phương pháp và công cụ làm bản mẫu:

1. Các nhân tố phân biệt phần mềm với các sản phẩm khác.

• Tính đầy đủ và đúng thời hạn của thông tin do phần mềm cung cấp (và các CSDL liên quan)  khác biệt một công ty này với các đối thủ cạnh tranh.

• Thiết kế và "tính thân thiện con người" của sản phầm phần mềm cũng làm khác biệt nó với các sản phẩm cạnh tranh có cùng chức năng tương tự khác. Sự thông minh và chức năng do phần mềm được nhúng trong đó đưa ra thường làm khác biệt 2

• sản phẩm tiêu thụ hay công nghiệp tương tự nhau.

2. Các thách thức với phần mềm máy tính gia tăng do nguyên nhân nào?

• Sự tinh vi của phần cứng đã vượt quá khả năng của chúng ta để xây dựng phần mềm đạt tới tiềm năng của phần cứng.

• Khả năng xây dựng các chương trình mới không thể giữ cùng nhịp với nhu cầu có các chương trình mới.

• Khả năng bảo trì các chương trình hiện có rất khó khăn vì thiết kế sơ sài, tài nguyên không thích hợp.

3. Các đặc trưng của phần mềm.

• Phần mềm được phát triển hay được kỹ nghệ hóa, nó không được chế tạo theo nghĩa cổ điển:

Hai quá trình phụ thuộc vào con người:

Chi phí phần mềm tập trung vào kỹ nghệ khái niệm xưởng phần mềm  khuyến cáo sử dụng công cụ tự động

• Phần mềm không hỏng đi:

- Phần mềm không cảm ứng đối với những khiếm khuyết đối với môi trường vốn gây cho phần cứng bị mòn cũ đi.

-Thực tế SW sẽ trải qua sự thay đổi (bảo trì). Khi thay đổi được thực hiện có thể là một số khiếm khuyết mới sẽ được đưa vào, gây ra cho đường cong tỷ lệ hỏng hóc trở thành có đầu nhọn như hình vẽ dưới đây. Trước khi đường cong có thể trở về tỷ lệ hỏng hóc ổn định ban đầu thì một thay đổi khác lại được yêu cầu, lại gây ra đường cong phát sinh đỉnh nhọn một lần nữa. dần dần mức tỷ lệ hỏng hóc tối thiểu bắt đầu nâng lên-phần mềm thoái hóa do sự thay đổi.

• Phần lớn phần mềm đều được xây dựng theo đơn đặt hàng, chứ ít khi được lắp ráp từ các thành phần có sẵn.

-Phần mềm : không có danh mục các thành phần, đặt hàng với đơn vị hoàn chỉnh, không phải là những thành phần có thể lắp ráp lại thành chương trình mới.

4. Các thành phần phần mềm được xây dựng bằng những ngôn ngữ nào?

• Ngôn ngữ mức máy : Là một biểu diễn ký hiệu cho tập lệnh của đơn vị xử lý trung tâm.

- Nếu phần mềm viết tốt, bảo trì được, tư liệu tốtngôn ngữ máy giúp sử dụng bộ nhớ hiệu quả, tăng được tốc đọ thực hiện.

- Nếu phần mềm thiết kế tồi, ít tài liệungôn ngữ máy trở thành cơn ác mộng.

• Ngôn ngữ cấp cao: Cho phép người phát triển phần mềm và chương trình được độc lập với máy song từ vựng, văn phạm, cú pháp ngữ nghĩa phức tạp hơn nhiều so với ngôn ngữ máy.

- Các ngôn ngữ phổ biến: cobol, fortran, pascal, C,Ada, C++,Pascal đối tượng, eiffei, các ngôn ngữ đặc thù(APL, LIST,OPS5,...)

- Mã máy, hợp ngữ, ngôn ngữ lập trình cấp cao thường được coi như là 3 thế hệ đầu của ngôn ngữ máy tính.Với những ngôn ngữ này người lập trình phải quan tâm đến đặc tả cấu trúc thông tin lẫn điều khiển chương trìnhngôn ngữ thủ tục.

• Ngôn ngữ phi thủ tục: Có tên 1 thập kỷ qua thay vì phải yêu cầu người phát triển phần mềm cần xác định chi tiết thủ tục thì các ngôn ngữ phi thủ tục đưa đến một chương trình bằng cách " xác định kết quả mong muốn thay vì xác định hành động cần để đạt được kết quả đó". Phần mềm hỗ trợ sẽ dịch đặc tả thành chương trình máy thực hiện được.

5. Thủ tục bao gồm các hoạt động nào?

• Xác định ra trình tự các phương pháp sẽ được áp dụng.

• Tạo sản phẩm cần bàn giao (tài liệu báo cáo, bản mẫu) cần cho việc kiểm soát để đảm bảo chất lượng và điều hòa thay đổi.

• Xác định những cột mốc để cho người quản lý phần mềm nắm được tiến độ.

6. Các bước của kỹ nghệ phần mềm chứa đựng các yếu tố chủ chốt nào?

• Các phương pháp: đưa ra các "cách làm" về mặt kỹ thuật để xây dựng phần mềm.

• Các công cụ: cung cấp sự hỗ trợ tự động hay bán tự động cho từng phương pháp.

• Các thủ tục: chất keo dán các phương pháp và công cụ lại với nhau, làm cho chúng được sử dụng hợp lý và đúng hạn trong quá trình phát triển phần mềm.

7. Làm bản mẫu thì mô hình có thể lấy những dạng nào?

• Bản mẫu trên giấy hay trên PC mô tả giao diện người-máy dưới dạng làm cho người dùng hiểu được cách các tương tác xuất hiện.

• Bản mẫu làm việc cài đặt một tập con chức năng phần mềm mong muốn.

• Một chương trình mà có thực hiện một phần hay tất cả chức năng mong muốn nhưng cần cải tiến thêm các tính năng khác tùy theo khả năng phát triền.

8. Mô hình vòng đời cổ điển tập trung 4 thuộc tính phân biệt

• Cấu trúc dữ liệu.

• Kiến trúc phần mềm.

• Chi tiết thủ tục.

• Đặc trưng giao diện.

9. Mô hình xoắn ốc có 4 hoạt động chính là gì?

• Lập kế hoạch: xác định mục tiêu, giải pháp, rằng buộc.

• Phân tích rủi ro: phân tích các phương án và xác định/ giải quyết rủi ro.

• Kỹ nghệ: phát triển sản phẩm "mức tiếp theo"

• Đánh giá của khách hàng: khẳng định kết quả của kỹ nghệ.

10. Ba giai đoạn chính phát triển phần mềm.

• Xác định (trọng tâm là phân tích và xác định yêu cầu phần mềm):

- Tập trung vào cái gì ?

+ Xác định thông tin nào cần được xử lý.

+ Chức năng và hiệu năng nào cần có.

+ Giao diện nào cần được thiết lập.

+ Ràng buộc thiết kế nào hiên có.

+ Tiêu chuẩn hợp lệ nào cần có.

+ Yêu cầu chủ chốt của hệ thống và phần mềm.

- Các phương pháp tiếp cận : Các phương pháp thay đổi tùy theo khuôn cảnh kỹ nghệ phần mềm được áp dụng , song tối thiểu cần có 3 bước sau:

+ Phân tích hệ thống

+Lập kế hoạch dự án phần mềm

+Phân tích yêu cầu

- Các bước tổng quát cần thực hiện:

+ Lập kế hoạch phần mềm :

Xây dựng ra một bản mô tả vắn tắt về phạm vi hoạt động của phần mềm.

Phân tích rủi ro.

Dự kiến tài nguyên cần cho việc xây dựng phần mềm.

Thiết lập các ước lượng chi phí và lịch biểu.

+ Phân tích và xác định yêu cầu phần mềm:

Xác định chi tiết phần tử hệ thống được cấp phát cho phần mềm.

Có 2 cách phân tích và xác định yêu cầu:

Phân tích lĩnh vực thông tin hình thức : Sử dụng mô hình luồng và cấu trúc thông tin mở rộng để trở thành đặc tả phần mềm.

Xây dựng bản mẫu phần mềm + khách đánh giácủng cố yêu cầu / giới hạn tài nguyêndịch thành các đặc trưng phần mềm.

Phân tích tổng thể phần mềm xác định ra tiêu chuẩn hợp lệ phục vụ kế hoạch kiểm thửtỏ rằng các yêu cầu được đáp ứng.

Do cả người xây dựng phần mềm và khách tiến hành.

+ Bản đặc tả yêu cầu phần mềm

Là tài liệu bàn giao được tạo ra do kết quả của bước phân tích yêu cầu và xác định phần mềm.

Thể hiện đỉnh điểm kết quả cuộc họp xet duyệt giữa khách hàng và người PT phần mềm.

+ Kế hoạch dự án phần mềm

Hình thành khi các yêu cầu dã được xác định.

Là cơ sở để đánh giá lại tính đúng đắn .

Là tài liệu bàn giao của giai đoạn xác định cho giai đoạn tiếp theo.

• Phát triển (cấu trúc dữ liệu, kiến trúc phần mềm, thủ tục thuật toán, giao diện)

- Bước đầu cần hoàn thành thiết kế:

+ Mô tả về thiết kế kiến trúc và dữ liệu ( tức là xây dựng một kiến trúc module, xác định giao diện, thiết lập cấu trúc dữ liệu, các tiêu chí đánh giá chất lượng).

+ Thiết kế sơ bộ xét duyệt tính đầy đủ và khả năng theo dõi các yêu cầu của phần mềm.

+ Đặc tả thiết kế là bản thảo sơ bộ được bàn giao và trở thành một phần của cấu hình phần mềm.

- Thiết kế thủ tục:

+ Xét thủ tục của từng thành phần module của thiết kế.

+ Các mô tả thủ tục chi tiết được bổ xung vào bản đặc tả thiết kế.

- Mã hóa:

+ Dùng ngôn ngữ LT thích hợp

+ Được đánh giá là kết quả của việc thiết kế tốt.

+ Bản in CT ngôn ngữ gốc cho từng module thành phần phần mềm là cấu hình bàn giao.

- Hoạt đọng kiểm chứng và làm hợp lệ:

+ Kiểm thử hiệu suất chức năng của từng module.

+ Kiểm thử tích hợp chức năng và giao diện.

+ Kiểm thử tính hợp lệ.

• Bảo trì (sửa lỗi, thích nghi, nâng cao)

- Sửa đổi: Thay đổi PM để khắc phục khiếm khuyết.

- Thích nghi: Môi trường ban đầu thay đổi để PT PM thay đổi. Bảo trì thích nghi thực hiện việc sửa đổi phần mềm để thích hợp với những thay dổi môi trường ngoài.

- Nâng cao: Chức năng phụ phát sinh  bảo trì hoàn thiện mở rộng phần mềm ra ngoài các yêu cầu chức năng gốc của nó.

11. Bốn pha phát triển phần mềm:

• Phân tích và xác định yêu cầu

• Thiết kế hệ thống và thiết kế phần mềm

• Thực hiện và thử nghiệm các đơn vị của phần mềm.

• Tích hợp và thử nghiệm hệ thống.

12. Năm giai đoạn vòng đời phần mềm:

• Giai đoạn phân tích và xác định yêu cầu.

• Giai đoạn thiết kế hệ thống và thiết kế phần mềm.

• Giai đoạn thực hiện và thử nghiệm các đơn vị của phần mềm.

• Giai đoạn tích hợp và thử nghiệm hệ thống

• Giai đoạn vận hành và bảo trì

13. 4 thuộc tính chủ chốt 1 hệ phần mềm phải có:

• Có thể bảo trì được: Phần mềm tuổi thọ dài phải được viết và được lập tư liệu sao cho việc thay đổi có thể tiến hành được mà không quá tốn kém.

• Đáng tin cậy : Phần mềm phải thực hiện được điều mà người tiêu dùng mong mỏi và không thất bại nhiều hơn những điều mà đã được đặc tả.

• Có hiệu quả: Hệ thống phải được lãng phí nguồn bộ nhớ, bộ xử lý. Không đòi hỏi phải cực đại hóa độ hiệu quả vì rằng việc đó có thể làm cho phần mềm rất khó thay đổi.

• Có giao diện người sử dụng thích hợp: Giao diện người sử dụng phải phù hợp với khả năng và kiến thức của người dùng hệ thống.

{

Các mức trừu tượng của đặc tả.

• Định ra yêu cầu.

• Đặc tả yêu cầu.

• Đặc tả phần mềm/ đặc tả thiết kế (đây là một mô tả trừu tượng cho phần mềm)

}

14. Định ra yêu cầu

• Tư liệu yêu cầu thể hiện bằng ngôn ngữ tự nhiên về các dịch vụ mà hệ thống sẽ phải cung cấp.

• Tư liệu yêu cầu phải được viết sao cho dễ hiểu đối với khách hàng và người quản lý hợp đồng, người sẽ mua sắm và người sẽ sử dụng.

15. Đặc tả yêu cầu.

• Tài liệu đặc tả nêu ra các dịch vụ một cách chi tiết hơn. Tài liệu này thường được gọi là đặc tả chức năng.

• Đặc tả yêu cầu đòi hỏi chính xác tới mức nó có thể làm cơ sở cho hợp đồng giữa người mua sắm hệ thống và người phát triển phần mềm.

• Đặc tả yêu cầu được viết dễ hiểu đối với các nhân viên kỹ thuật ở cả nơi mua lẫn nơi phát triển.

• Kỹ thuật đặc tả hình thức hẳn là thích hợp cho các đặc tả kiểu như vậy, nhưng nó cũng tùy thuộc ở trình độ kiến thức cơ bản của người mua sắm hệ thống.

• Đặc tả yêu cầu (được gọi là đặc tả chức năng) là cơ sở cho hợp đồng làm hệ thống: nó phải không được mơ hồ, mà mơ hồ đó có thể dẫn tới sự hiểu lầm bởi khách hàng hoặc bởi người ký hợp đồng. Vỡ vậy, Đặc tả yêu cầu là mô tả chính xác và chi tiết yêu cầu hệ thống để làm cơ sở cho giao kèo giữa khách hàng và người phát triển hệ thống.

• Khi đặc tả yêu cầu thường phải sử dụng những công cụ đặc biệt, như các mô hình hay các ngôn ngữ đặc tả chuyên dụng.

• Đặc tả yêu cầu là quá trình bổ sung các thông tin vào tài liệu xác định yêu cầu

• Đặc tả yêu cầu là sự phát triển tiếp tục (làm mịn) các mô hình phân tích.

• Đặc tả yêu cầu thường được trình bày bằng các mô hình hệ thống.

16. Đặc tả phần mềm/ đặc tả thiết kế.

• Dùng làm cơ sở cho việc thiết kế và thực thi.

• Thể hiện một quan hệ rõ ràng giữa tư liệu này và đặc tả yêu cầu.

• Đối tượng đọc ở đây chủ yếu là các kỹ sư phần mềm chứ không phải là người sử dụng hoặc người quản lý.

• Sử dụng kỹ thuật đặc tả hình thức là thích hợp cho tư liệu này.

17. Nội dung phân tích hệ thống:

• Phân tích mục tiêu: xác định một cách chính xác và đầy đủ mục tiêu mà hệ thống và cũng là mục tiêu mà chủ thể mong muốn. Trong thực tế, mục tiêu của hệ thống không phải luôn rõ ràng.

• Phân tích phạm vi và môi trường của hệ thống: xác định phạm vi hệ thống cần nghiên cứu liên quan đến việc đạt được mục tiêu ở trên.

• Phân tích cấu trúc: xác định các phần từ, các mối quan hệ của hệ thống. Đó là những đặc trưng quan trọng của hệ thống.

• Phân tích các nguồn lực và tác động của nó: cần có các nguồn lực cần để đạt mục tiêu.

• Phân tích tổng hợp toàn hệ thống: để thấy những đặc tính trồi có thể của hệ thống khi nó vận hành.

18. Năm lĩnh vực phân tích:

• Nhận thức vấn đề.

• Đánh giá và tổng hợp

• Mô hình hóa.

• Đặc tả.

• Xét duyệt.

19. Các yêu cầu đối với người phân tích.

• Khả năng hiểu thấu các khái niệm trừu tượng, có khả năng tổ chức lại thành các phân tích logic và tổng hợp các "giải pháp" dựa trên từng dải phân chia.

• Khả năng hiểu được môi trường người dùng/ khách hàng.

• Khả năng áp dụng các phần tử hệ thống phần cứng và/ hoặc phần mềm vào môi trường người sử dụng/ khách hàng.

• Khả năng trao đổi tốt thông qua dạng viết và nói.

• Khả năng "thấy rừng qua cây"

20. Luận chứng kinh tế bao gồm:

• Các mối quan tâm kể cả phân tích chi phí- lợi ích.

• Chiến lược lợi tức công ty dài hạn.

• Ảnh hưởng tới các trung tâm hay sản phẩm lợi nhuận khác.

• Chi phí cho tài nguyên cần cho việc xây dựng và phát triển thị trường tiềm năng.

21. Các xem xét thường được gắn với tính khả thi kỹ thuật gồm:

• Rủi ro xây dựng: Liệu các phần tử hệ thống có thể được thiết kế sao cho chức năng và hiệu suất cần thiết làm lộ rõ những ràng buộc trong khi phân tích không?

• Có sẵn tài nguyên : Có sẵn các nhân viên cho việc xây dựng phần tử hệ thống đang xét không ? Các tài nguyên cần thiết khác (HW và SW) có săn cho việc xây dựng hệ thông không?

• Công nghệ : Công nghệ liên quan đã đạt tới trạng thái sẵn sàng hỗ trợ cho hệ thống chưa?

22. Hồ sơ nhiệm vụ nhằm vào:

• Định hình các chức năng hệ thống cần đạt được

• Định ra các thủ tục xây dựng quan niệm và thực hiện hệ thống

• Định hình giao diện với NSD trong tương lai hoặc tốt hơn là làm các bản mẫu để người sử dụng hình dung được HTTT tương lai.

23. Hồ sơ nhiệm vụ là một thỏa thuận không chính thức giữa 3 phía:

• Người phân tích.

• Người đầu tư.

• Người sử dụng.

24. Cách phân loại các mô hình của R.E.Shannon

25. Có 3 kiểu yêu cầu phi chức năng chính:

• Các yêu cầu sản phẩm: đây là các yêu cầu về hệ thống được phát triển, chẳng hạn yêu cầu về tốc độ, về bộ nhớ, về độ tin cậy, về tính di chuyển được và về tính dùng lại được.

• Các yêu cầu về quá trình: các yc về quá trình phát triển (chuẩn cần theo, chuẩn ngôn ngữ lập trình, phương pháp thiết kế)

• Các yêu cầu ngoại lai: về giao tiếp với các hệ thống khác, về pháp lý, về chi phí, về nhóm những người phát triển.v.v...

26. Việc xác định đặc tả yêu cầu là khó khăn vì:

• Các hệ phần mềm lớn thường được yêu cầu cải thiện dựa trên nguyên trạng: hoặc ko có hệ thống nào hoặc có một hệ thống không đầy đủ. Mặc dù có thể biết được các khó khăn của hệ thống hiện có nhưng khó dự đoán được hiệu quả của hệ thống đã cải thiện với tổ chức đó.

• Các hệ thống lớn thường có một cộng đồng người sử dụng đa dạng, họ có những yêu cầu và ưu tiên khác nhau, thậm chí là mâu thuẫn với nhau. Cuối cùng thì các yêu cầu hệ thống cũng không tránh được sự thỏa hiệp.

• Những người bỏ tiền ra mua sắm hệ thống và những người sử dụng hệ thống hiếm khi lại là một. Do đó nảy sinh mâu thuẫn giữa yêu cầu của họ.

27. Bốn bước liên quan đến việc thẩm định yêu cầu:

• Phải chỉ ra rằng các nhu cầu của người dùng là được thỏa mãn.

• Các yêu cầu phải không gây ra mâu thuẫn nhau.

• Các yêu cầu phải đầy đủ: chúng phải chứa mọi chức năng và mọi ràng buộc mà người dùng đã nhắm đến.

• Các yêu cầu phải là hiện thực.

28. Đặc trưng bản đặc tả hệ thống

• Là một tài liệu nền tảng cho kỹ nghệ phần cứng, kỹ nghệ phần mềm, kỹ nghệ cơ sở dữ liệu và kỹ nghệ con người.

• Mô tả chức năng và hiệu suất của hệ thống và những ràng buộc hệ thống.

• Quy định cả giới hạn cho từng phần tử hệ thống. Chẳng hạn, chỉ dẫn vai trò của phần mềm trong hệ thống và các hệ thống con khác nhau được mô tả trong biểu đồ luồng kiến trúc.

• Mô tả thông tin (dữ liệu và điều khiển) vào ra khỏi hệ thống.

29. Hạn chế của cách tiếp cận làm bản mẫu.

• Các đặc điểm hệ thống quan trọng có thể nằm ngoài bản mẫu để đơn giản hóa việc thực hiện nhanh. Sự thật là không thể tạo bản mẫu một vài phần quan trọng nhất của hệ như các đặc điểm về sự an toàn-nguy kịch.

• Các yêu cầu phi chức năng như các yêu cầu liên quan đến độ tin cậy, tính mâu thuẫn và độ an toàn là không thể biểu thị đầy đủ trong một thực hiện bản mẫu.

• Người dùng có thể không dùng bản mẫu y như cách dùng một hệ đang hoạt động.

30. Các phương pháp và công cụ làm bản mẫu:

• Các kỹ nghệ thế hệ 4 : Các kỹ thuật thế hệ 4 (4GT) bao gồm một phạm vi rộng các ngôn ngữ hỏi CSDL và làm báo cáo, các bộ sinh chương trình và ứng dụng các ngôn ngữ phi thủ tục cấp rất cao khác. Bởi vì 4GT sinh được mã thực hện rất nhanh nên chúng là lý tưởng cho việc làm bản mẫu nhanh. Mặc dầu lĩnh vực ứng dụng cho 4GT hiện tại vẫn còn bị giới hạn trong các HTTT kinh doanh, nhưng công cụ cho các ứng dụng kỹ nghệ đang bắt đàu chiếm ưu thế.

• Thành phần phần mềm dùng lại : Một cách tiếp cận khác tới việc làm bản mẫu nhanh là lắp ráp, thay vì xây dựng bản mẫu bằng cách dùng một tập hợp các thành phần phần mềm đã có sẵn. Một thành phần phần mềm có thể là một cấu trúc dữ liệu hay một thành phần kiến trúc phần mềm hay một thành phần thủ tục. Trong mỗi trường hợp thành phần phần mềm phải được thiết kế theo cách thứclàm cho nó có thể dùng lại được mà không cần biết chi tiết về cách làm việc bên trong.

Việc làm bản mẫu và dùng lại các thành phần chương trình chỉ hoạt dộng được nếu hệ thống thư viện đã được phát triển sao cho các thành phần thực tồn tại có thể được đưa vào danh mục rồi tìm kiếm. Mặc dầu người ta đã tạo ra một số công cụ để đáp ứng nhu cầu này, vẫn còn nhiều việc phải làm nữa.

• Đặc tả hình thức và môi trường làm bản mẫu :Một số ngôn ngữ và công cụ đặc tả hình thức cũng đã được xây dựng xem như một thay thế cho các KT đặc tả theo ngôn ngữ tự nhiên. Các ngôn ngữ này đang trong tiến trình PT các môi trường tương tác:

- Làm cho người phân tích tạo ra cách tương tác một đặc tả về hệ thống hay phần mềm dựa trên ngôn ngữ.

- Gọi tự động các công cụ dịch đặc tả dựa trên ngôn ngữ này thành mã thực hiện được.

- Làm cho khách hàng có thể dùng bản mẫu chương trình theo mã thực hiện được để làm mịn các yêu cầu hình thức. Các ngôn ngữ đặc tả như PSL,RSL,....và nhiều ngôn ngữ khác đi kèm với các môi trường tương tác. Mặc dầu vẫn còn trong giai đọan sơ khai của PT và ứng dụng những môi trường như vậy thường đưa ra hy vọng chủ yếu cho việc làm bản mẫu nâng cao và tính hiệu năng của việc PTPM.

- Để kết thúc buổi làm việc vất vả xin tặng mọi người bức ảnh hay :

"Hãy làm cho họ hạnh phúc khi họ cần chúng ta."