Recognition of the problem is incre

Recognition of the problem is increasing. ACM President David
Patterson has called for the formation of a top-priority
Security/Privacy, Usability, and Reliability (SPUR) initiative [119].
Several of the Computerworld “Future of IT” panelists in [5]
indicated increasing customer pressure for higher quality and vendor
warranties, but others did not yet see significant changes happening
among software product vendors.
This situation will likely continue until a major software-induced
systems catastrophe similar in impact on world consciousness to the
9/11 World Trade Center catastrophe stimulates action toward
establishing account-ability for software dependability. Given the
high and increasing software vulnerabilities of the world’s current
financial, transportation, comm
unications, energy distribution medical, and emergency services infrastructures, it is highly likely
that such a software-induced catastrophe will occur between now
and 2025.
Some good progress in high-assurance software technology
continues to be made, including Hoare and others’ scalable use of
assertions in Microsoft products [71], Scherlis’ tools for detecting
Java concurrency problems, Holtzmann and others’ model-checking
capabilities [78] Poore and others’ model-based testing capabilities
[124] and Leveson and others’ contributions to software and system
safety. COTS, Open Source, and Legacy Software
A source of both significant benefits and challenges to
simultaneously adopting to change and achieving high dependability
is the increasing availability of commercial-off-the-shelf (COTS)
systems and components. These enable rapid development of
products with significant capabilities in a short time. They are also
continually evolved by the COTS vendors to fix defects found by
many users and to competitively keep pace with changes in
technology. However this continuing change is a source of new
streams of defects; the lack of access to COTS source code inhibits
users’ ability to improve their applications’ dependability; and
vendor-controlled evolution adds risks and constraints to users’
evolution planning.
Overall, though, the availability and wide distribution of mass-
produced COTS products makes software productivity curves look
about as good as hardware productivity curves showing exponential
growth in numbers of transistors produced and Internet packets
shipped per year. Instead of counting the number of new source
lines of code (SLOC) produced per year and getting a relatively flat
software productivity curve, a curve more comparable to the
hardware curve should count the number of executable machine
instructions or lines of code in service (LOCS) on the computers
owned by an organization.

Kết quả (Việt) 1:

Sự công nhận của vấn đề đang gia tăng. ACM chủ tịch DavidPatterson đã kêu gọi sự hình thành của một ưu tiên hàng đầuAn ninh/bảo mật, khả năng sử dụng, và độ tin cậy (khuyến khích) sáng kiến [119].Một số các panelists "Tương lai của nó" máy tính trong [5]chỉ ra ngày càng tăng áp lực khách hàng về chất lượng cao và các nhà cung cấpbảo đảm, nhưng những người khác đã không được thấy thay đổi quan trọng xảy ratrong số các nhà cung cấp sản phẩm phần mềm.Tình trạng này sẽ có thể tiếp tục cho đến khi một lớn gây ra phần mềmthảm họa hệ thống tương tự như các tác động trên thế giới ý thức để các9/11 Trung tâm thương mại thế giới catastrophe kích thích hành động hướng tớithiết lập tài khoản-khả năng cho phần mềm tin cậy. Cho cáclỗ hổng phần mềm cao và ngày càng tăng của thế giới hiện tại củatài chính, vận tải, communications, phân phối năng lượng y tế và khẩn cấp dịch vụ cơ sở hạ tầng, nó là rất có khả năngrằng như vậy một phần mềm gây ra thảm họa sẽ xảy ra giữa bây giờvà năm 2025.Một số tiến bộ tốt trong công nghệ cao-đảm bảo phần mềmtiếp tục được thực hiện, bao gồm cả Hoare và của người khác sử dụng khả năng mở rộng củakhẳng định trong các sản phẩm Microsoft [71], Scherlis' công cụ để phát hiệnJava concurrency vấn đề, Holtzmann và những người khác mô hình-kiểm trakhả năng [78] Poore và những người khác dựa trên mô hình thử nghiệm khả năng[124] và Leveson và của người khác đóng góp cho phần mềm và hệ thốngan toàn. Cũi trẻ em, mã nguồn mở và phần mềm di sảnMột nguồn lợi ích đáng kể và những thách thức đểđồng thời áp dụng để thay đổi và đạt được độ tin cậy caolà sự sẵn có ngày càng tăng của thương mại-off-the-kệ (cũi trẻ em)Hệ thống và phụ kiện. Những sử phát triển nhanh chóng củasản phẩm với các khả năng đáng kể trong một thời gian ngắn. Chúng cũng làliên tục phát triển bởi các nhà cung cấp cũi trẻ em để sửa chữa lỗi tìm thấy bằngnhiều người sử dụng và để cạnh tranh theo kịp với những thay đổi trongcông nghệ. Tuy nhiên thay đổi liên tục này là một nguồn mớidòng lỗi; thiếu tiếp cận với mã nguồn cũi trẻ em ức chếngười dùng có thể cải thiện độ tin cậy của các ứng dụng; vànhà cung cấp kiểm soát tiến hóa thêm rủi ro và khó khăn cho người dùngsự tiến hóa có kế hoạch.Nhìn chung, Tuy nhiên, tính khả dụng và phân bổ rộng khắp của khối lượng-sản xuất sản phẩm cũi trẻ em làm cho đường cong năng suất phần mềm xem xétkhoảng tốt như phần cứng năng suất đường cong Hiển thị mũsự tăng trưởng trong số lượng các bóng bán dẫn được sản xuất và Internet góivận chuyển mỗi năm. Thay vì đếm số lượng các nguồn mớidòng mã (SLOC) được sản xuất mỗi năm và nhận được tương đối bằng phẳngphần mềm năng suất cong, một đường cong hơn so sánh với cácphần cứng đường cong cần đếm số lượng thực thi máyhướng dẫn hoặc dòng mã trong dịch vụ (LOCS) trên các máy tínhthuộc sở hữu của một tổ chức.

Kết quả (Việt) 2:

Công nhận các vấn đề đang gia tăng. Tổng thống ACM David
Patterson đã kêu gọi sự hình thành một ưu tiên hàng đầu
an ninh / bảo mật, khả năng sử dụng, và độ tin cậy (SPUR) chủ động [119].
Một số Computerworld "Tương lai của CNTT" tham luận tại [5]
đã chỉ ra việc gia tăng áp lực khách hàng cho cao hơn chất lượng và nhà cung cấp
bảo đảm, nhưng những người khác vẫn chưa thấy thay đổi đáng kể xảy ra
giữa các nhà cung cấp sản phẩm phần mềm.
Tình trạng này có thể sẽ tiếp tục cho đến khi một phần mềm gây ra lớn
hệ thống thảm họa tương tự trong tác động vào ý thức thế giới với các
thảm họa 11/9 Trung tâm Thương mại Thế giới kích thích hành động hướng tới
việc lập tài-năng cho phần mềm đáng tin cậy. Với các
lỗ hổng phần mềm cao và ngày càng tăng của thế giới hiện nay
về tài chính, giao thông vận tải, comm
unications, y tế phân phối năng lượng và cơ sở hạ tầng dịch vụ khẩn cấp, nó là rất có khả năng
rằng một thảm họa phần mềm gây ra như vậy sẽ xảy ra giữa các doanh nghiệp
và 2025.
Một số tiến bộ trong các cao công nghệ phần mềm -assurance
tiếp tục được thực hiện, bao gồm cả Hoare và những người khác sử dụng khả năng mở rộng của
khẳng định trong sản phẩm của Microsoft [71], Scherlis 'công cụ để phát hiện
vấn đề đồng thời Java, Holtzmann và những người khác' mô hình kiểm tra
khả năng [78] Poore và những người khác 'mô hình khả năng thử nghiệm dựa trên
[124] và Leveson và đóng góp của người khác để phần mềm và hệ thống
an toàn. COTS, mã nguồn mở, và Legacy Software
Một nguồn tin của cả hai lợi ích quan trọng và thách thức
đồng thời áp dụng các thay đổi và đạt được độ tin cậy cao
là sự sẵn có ngày càng tăng của thương mại-off-the-shelf (COTS)
các hệ thống và các thành phần. Điều này cho phép phát triển nhanh chóng của
các sản phẩm có khả năng đáng kể trong một thời gian ngắn. Họ cũng
liên tục phát triển bởi các nhà cung cấp COTS để sửa chữa khuyết tật tìm thấy bởi
nhiều người sử dụng và để cạnh tranh bắt kịp với những thay đổi trong
công nghệ. Tuy nhiên sự thay đổi liên tục này là một nguồn mới
suối của các khuyết tật; sự thiếu tiếp cận với mã nguồn COTS ức chế
'khả năng cải thiện các ứng dụng của họ' cậy người sử dụng; và
quá trình tiến hóa của nhà cung cấp kiểm soát thêm rủi ro và khó khăn cho người sử dụng
"lập kế hoạch tiến hóa.
Nhìn chung, mặc dù, sự sẵn có và phân phối rộng rãi của quần chúng
được sản xuất sản phẩm COTS làm cho đường cong suất phần mềm tìm kiếm
tốt như đường cong suất phần cứng cho thấy hàm mũ
tăng trưởng trong số lượng bóng bán dẫn được sản xuất và các gói Internet
vận chuyển mỗi năm. Thay vì đếm số lượng các nguồn mới
dòng mã (SLOC) được sản xuất mỗi năm và nhận được một tương đối bằng phẳng
đường cong sản xuất phần mềm, một đường cong có thể so sánh hơn với
đường cong phần cứng nên đếm số lượng các máy thực thi
hướng dẫn hoặc dòng mã trong dịch vụ (Locs ) trên các máy tính
thuộc sở hữu của một tổ chức.