hirine/wikipedia-vietnamese-1M296K-dataset huggingface dataset:
Khủng hoảng nợ chính phủ Puerto Rico

Khủng hoảng nợ Puerto Rico ("Puerto Rican debt crisis") là một cuộc khủng hoảng tài chính đang diễn ra liên quan đến khoản nợ của chính phủ Puerto Rico. Hòn đảo này có khoản nợ chưa thanh toán hơn 70 tỉ USD, với tỉ lệ nợ-trên-GDP khoảng 68%. Vào tháng 2 năm 2014, nhiều cơ quan xếp hạng tín dụng của Hoa Kỳ đã hạ xếp hạng khoản nợ chính phủ đó xuống mức không đầu tư.

Cuộc khủng hoảng đã khiến chính phủ Puerto Rico áp dụng các chính sách nhằm giảm chi phí một cách quyết liệt, tăng doanh thu và thúc đẩy tăng trưởng kinh tế để có thể tài trợ tốt hơn nghĩa vụ nợ của mình. Nền kinh tế của Puerto Rico được miêu tả như là bấp bênh, yếu ớt và dễ vỡ, và trầm trọng hơn bởi sự không tin tưởng vào xã hội và khó chịu.
Vào ngày 3 tháng 8 năm 2015, Puerto Rico đã thanh toán trái phiếu trị giá 58 triệu đô la cho Công ty Tài chính Công, một công ty con của Ngân hàng Phát triển Chính phủ, trong khi các nghĩa vụ tài chính khác đã được đáp ứng.

Vào tháng 6 năm 2016, Tổng thống Barack Obama đã ký một đạo luật PROMESA, cho phép ông chỉ định một Ban giám sát kiểm soát được ngân sách của Liên bang và tái cơ cấu nợ.
Ban giám sát đã mở rộng lệnh đình chỉ các vụ kiện đòi nợ của các chủ nợ cho đến ngày 01 tháng 5 năm 2017. Vào ngày 3 tháng 5 năm 2017, Khối thịnh vượng chung tuyên bố phá sản.
==Xem thêm==
- Nợ công Puerto Rico
- Kinh tế Puerto Rico
- PROMESA
- Trưng cầu dân ý về tài chính Puerto Rico, 1961
- Thâm hụt ngân sách Puerto Rico
- Khủng hoảng nợ chính phủ Hy Lạp

==Liên kết ngoài==
- "Debt stalks Puerto Rico." Daniel Munevar. Socialist-Worker. ngày 12 tháng 2 năm 2014
- "Puerto Rico’s Debt Bomb: Could Puerto Rico become "The New Greece" in the Caribbean?" Timothy Alexander Guzman. Global Research. ngày 30 tháng 1 năm 2014.
Bệnh Creutzfeldt-Jakob

Bệnh Creutzfeldt-Jakob (CJD), còn được gọi là bệnh não xốp bán cấp hoặc bệnh rối loạn nhận thức thần kinh do prion, là một rối loạn thoái hóa não gây tử vong. Các triệu chứng ban đầu bao gồm các vấn đề về trí nhớ, thay đổi hành vi, phối hợp vận động kém và rối loạn thị giác. Các triệu chứng sau đó bao gồm mất trí nhớ, cử động không tự chủ, mù, suy nhược và hôn mê. Khoảng 70% số người bệnh chết trong vòng một năm sau khi được chẩn đoán. Tên bệnh Creutzfeldt – Jakob được đặt ra bởi Walther Spielmeyer vào năm 1922, theo tên của các nhà thần kinh học người Đức Hans Gerhard Creutzfeldt và Alfons Maria Jakob
CJD là do một loại protein bất thường được gọi là prion gây ra. Các prion truyền nhiễm là các protein bị biến dạng có thể khiến các protein thường bị biến dạng theo Khoảng 85% các trường hợp của CJD xảy ra vì những lý do không rõ, trong khi khoảng 7,5% các trường hợp là do di truyền từ cha mẹ Tiếp xúc với mô não hoặc tủy sống của người bệnh cũng có thể dẫn đến lây bệnh. Không có bằng chứng cho thấy CJD thể lẻ tẻ có thể lây lan giữa mọi người qua tiếp xúc thông thường hoặc truyền máu, mặc dù điều này có thể xảy ra ở biến thể khác của bệnh này. Chẩn đoán bao gồm việc loại trừ các nguyên nhân tiềm ẩn khác. Chụp điện não đồ, chích cột sống, hoặc chụp ảnh cộng hưởng từ có thể hỗ trợ việc chẩn đoán.
Hiện nay không có cách điều trị cụ thể cho CJD. Thuốc có thể được dùng để giảm đau, trong khi clonazepam hoặc natri valproate có thể giúp giảm các cử động không tự chủ CJD ảnh hưởng đến khoảng một phần triệu người mỗi năm. Khởi phát thường xảy ra vào khoảng 60 tuổi. Căn bệnh này được mô tả lần đầu tiên vào năm 1920. Nó được phân loại là một loại bệnh não xốp có thể truyền nhiễm. CJD do di truyền chiếm khoảng 10% các trường hợp bệnh CJD thể lẻ tẻ khác với bệnh não xốp ở bò (bệnh bò điên) và các biến thể khác của bệnh Creutzfeldt – Jakob (vCJD).

== Xem thêm ==
- Bệnh Alzheimer
- Kuru (bệnh)
Gương mặt thân quen (mùa 5)

Mùa thứ năm của chương trình Gương mặt thân quen được phát sóng trên kênh VTV3 từ ngày 13 tháng 5 đến ngày 5 tháng 8 năm 2017. Mùa này có sự tham gia của các thí sinh Tố Ny, Kỳ Phương, Jun Phạm, Hoàng Yến Chibi, Quốc Thiên và Phượng Vũ, cùng bộ ba giám khảo chính là nhạc sĩ Đức Huy, ca sĩ Mỹ Linh và NSƯT Hoài Linh. Đại Nghĩa tiếp tục là người dẫn chương trình của mùa này.

Người chiến thắng chung cuộc sau 13 tuần thi là Jun Phạm, á quân là Tố Ny, hạng ba là Quốc Thiên và hạng tư là Hoàng Yến Chibi.

==Kết quả biểu diễn==
===Tuần 1===
"Ngày phát sóng: 13/05/2017"

===Tuần 2===
"Ngày phát sóng: 20/05/2017"

===Tuần 3===
"Ngày phát sóng: 27/05/2017"

Giám khảo khách mời: Chí Tài (thay thế cho Mỹ Linh)

===Tuần 4===
"Ngày phát sóng: 03/06/2017"

Giám khảo khách mời: Phương Dung (thay thế cho Mỹ Linh)

===Tuần 5===
"Ngày phát sóng: 10/06/2017"

===Tuần 6===
"Ngày phát sóng: 17/06/2017"

===Tuần 7===
"Ngày phát sóng: 24/06/2017"

===Tuần 8===
"Ngày phát sóng: 01/07/2017"

===Tuần 9===
"Ngày phát sóng: 08/07/2017"

===Tuần 10===
"Ngày phát sóng: 15/07/2017"

===Tuần 11===
"Ngày phát sóng: 22/07/2017"

===Tuần 12===
"Ngày phát sóng: 29/07/2017"

Kể từ tuần này, Kỳ Phương rút lui khỏi chương trình vì lý do sức khỏe.

===Chung kết===
Truyền hình trực tiếp: 5 tháng 8 năm 2017

- Các giải thưởng phụ
- Thí sinh được yêu thích nhất do khán giả bình chọn: Quốc Thiên (35.4%)
- Thí sinh nỗ lực nhất do ban tổ chức bình chọn: Phượng Vũ
- Thí sinh thân thiện nhất do ban tổ chức bình chọn: Quốc Thiên

==Tham khảo==
- Ghi chú
==Liên kết ngoài==
- Danh sách chương trình phát sóng của Đài Truyền hình Việt Nam
- Trang web chính thức
- Official Facebook Fanpage
Rubens Peale

Rubens Peale (4 tháng 5 năm 1784 - 17 tháng 7 năm 1865) là một nghệ sĩ người Mỹ và là giám đốc bảo tàng. Sinh ra ở Philadelphia, ông là con của nghệ sĩ - nhà tự nhiên học, Charles Willson Peale..

==Tiểu sử==
Ông là con thứ tư của Charles Willson Peale. Rubens có đôi mắt yếu đuối, và không giống như hầu hết các anh chị em của mình, không phải là một nghệ sĩ. Ông đã đi cùng gia đình vào năm 1802 đến Vương quốc Anh, nhưng không thể đi du lịch trên lục địa với việc nối lại chiến tranh sau hòa ước Amiens. Năm 1803, ông theo học tại trường Đại học Pennsylvania. Ông trở thành giám đốc bảo tàng của cha ông tại Philadelphia từ năm 1810 đến năm 1821, và sau đó là Bảo tàng Peale ở Baltimore, mà ông đã quản lý với anh trai, Rembrandt Peale. Để thúc đẩy bảo tàng, ông đã lắp đặt đèn chiếu sáng gas trong bảo tàng.

==Sự nghiệp==
Ông mở bảo tàng riêng của mình ở New York vào ngày 26 tháng 10 năm 1825 (cùng với việc mở kênh đào Erie). Vào năm 1840, Peale sẽ đổi tên thành Bảo tàng Lịch sử và Khoa học Tự nhiên New York. Sự hoảng loạn năm 1837 đã đưa bảo tàng của ông trở thành món nợ. Nó cạnh tranh với Bảo tàng Mỹ, P.T. Barnum. Rubens đã phải bán toàn bộ bộ sưu tập của mình cho Barnum năm 1843. Năm 1837, ông nghỉ hưu với bố vợ, gia đình của George Patterson gần Schuylkill Haven, Pennsylvania, và sống như một quý ông nông thôn, tại "Woodland Farm". Ông đã thử nghiệm với sự mê hoặc, và viết cho anh trai Rembrandt về nó.

Tháng 10 năm 1855, ông bắt đầu viết một tập san, và ông đã chuyển sang vẽ tranh đời sống, như một sự gia tăng quan tâm của ông trong lịch sử tự nhiên. and he turned to still life painting, as an extension of his interest in natural history. Năm 1864, ông trở lại Philadelphia, và học vẽ cảnh quan với Edward MoranIn 1864, he returned to Philadelphia, and studied landscape painting with Edward Moran. Trong mười năm cuối đời, ông đã sản xuất 130 bức tranh.
Buồng ion

Buồng ion hóa hay buồng ion là loại detector chứa khí đơn giản nhất, được sử dụng rộng rãi trong các thiết bị phát hiện và đo lường một số loại bức xạ ion hóa như tia X, tia gamma và các hạt beta.

Thông thường thuật ngữ "buồng ion hóa" dùng để chỉ các detector thu nhận được tất cả các điện tích được tạo ra bởi ion hóa trực tiếp trong buồng khí thông qua việc sử dụng điện trường. Nó chỉ sử dụng các điện tích rời rạc được tạo ra bởi mỗi tương tác giữa bức xạ tới và chất khí, và không liên quan đến cơ chế nhân khí khí được sử dụng bởi các công cụ đo bức xạ khác, chẳng hạn như bộ đếm Geiger-Müller hoặc bộ đếm tỷ lệ.

Các buồng ion có đáp ứng đồng đều cao với bức xạ trên một dải rộng năng lượng, và là phương tiện được ưa thích để đo mức cao của bức xạ gamma. Chúng được sử dụng rộng rãi trong ngành công nghiệp điện hạt nhân, phòng thí nghiệm nghiên cứu, chụp X quang, sinh học phóng xạ (radiobiology), và quan trắc môi trường.

== Xem thêm ==
- Bức xạ (định hướng)
- Buồng Sievert ()
- Phép đo liều ()
- Bộ đếm Geiger-Müller (Geiger-Müller counter)
- Bộ đếm tỷ lệ (Proportional counter)
- Phóng xạ (Radioactivity)
- Công suất hãm (bức xạ hạt) (Stopping power (particle radiation))
Eiger

Eiger là một ngọn núi 3.970 mét (13.020 ft) của dãy núi Alps Berne, nhìn ra Grindelwald và Lauterbrunnen ở vùng Bernese Oberland của Thụy Sĩ, ngay phía bắc lưu vực đầu nguồn và biên giới với Valais. Đây là đỉnh núi cực đỉnh của đỉnh núi nằm trên Mönch tới Jungfrau ở độ cao 4.158 m (13.642 ft), tạo thành một trong những điểm tham quan nổi bật nhất của dãy núi Alps của Thụy Sĩ. Trong khi phía bắc của dãy núi tăng hơn 3.000 m (10.000 ft) so với hai thung lũng Grindelwald và Lauterbrunnen, phía nam phải đối mặt với các sông băng lớn trong khu vực Jungfrau-Aletsch, vùng băng giá nhất trong dãy núi Alps. Đặc điểm đáng chú ý nhất của Eiger là mặt bắc của đá và đá có độ cao 1.800 m (5.900 ft), có tên là Eigerwand hoặc Nordwand, là mặt bắc lớn nhất ở dãy Alps. Mặt to lớn này nằm trên khu nghỉ mát của Kleine Scheidegg tại căn cứ của nó, trên đường đi ngang nối hai thung lũng.

Người đầu tiên leo lên đỉnh Eiger là các hướng dẫn viên người Thụy Sĩ Christian Almer và Peter Bohren (de) và người Ireland Charles Barrington, người đã leo lên sườn phía tây vào ngày 11 tháng 8 năm 1858. Khuôn mặt phía bắc, được xem là một trong những bước tiến đầy thách thức và nguy hiểm nhất, Leo thang vào năm 1938 bởi một cuộc thám hiểm Áo-Đức. Eiger đã được công bố rộng rãi cho nhiều bi kịch liên quan đến chuyến thám hiểm leo núi. Kể từ năm 1935, ít nhất 64 người leo núi đã chết khi cố gắng đối mặt với phía bắc, kiếm được biệt danh là Mordwand của Đức, nghĩa đen là "bức tường giết người (ous)" - một chữ viết đúng tiêu đề của Nordwand (Bắc Wall).

Mặc dù đỉnh núi Eiger chỉ có thể đạt được bởi các nhà leo núi có kinh nghiệm, một đường hầm đường sắt chạy bên trong núi, và hai trạm nội bộ cho phép dễ dàng truy cập vào các khung nhìn được chạm khắc vào mặt đá. Chúng là một phần của tuyến đường sắt Jungfrau, chạy từ Kleine Scheidegg đến Jungfraujoch, giữa Mönch và Jungfrau, tại ga đường sắt cao nhất ở châu Âu. Hai trạm trong Eiger là Eigerwand (phía sau mặt bắc) và Eismeer (phía sau mặt phía Nam), khoảng 3.000 mét.

==Liên kết ngoài==
- The Eiger on Summitpost
- The Eiger on Peakware - photos
- The Eiger on Hikr
- The Eiger on Flickr
- Live webcam view of the Eiger north face
- New and Old Explorations of the Eiger, Photos & Video
- Ueli Steck wins inaugural Eiger Award 2008
- Are you still here? A bagman's view of climbing the Eigerwand, by Charles Sherwood.
- Obituary of Anderl Heckmair, The Independent, Feb. 3, 2005
- West face of Eiger
Gar Tongtsen Yulsung

Gar Tongtsen Yulsung (, chữ Hán: 东赞域松, Hán Việt: "Đông Tán Vực Tùng"; 590-667), còn gọi Lộc Đông Tán (chữ Hán: 祿東贊, bính âm: "Lù Dōngzàn"), Luận Đông Tán (chữ Hán: 論東贊, bính âm: "Lùn Dōngzàn") là nhà chính trị, nhà quân sự cùng nhà ngoại giao của Đế quốc Tây Tạng thời kỳ đầu. Gar Tongtsen xuất thân từ gia tộc Gar, là trọng thần quan trọng nhất dưới triều Songtsän Gampo và Mangsong Mangtsen.
Ngài cũng là một trong những kiếp tái sinh của Garchen Rinpoche, theo dòng hóa hiện tuần tự. Ngài đã hộ tống con gái của Vua Trung Hoa Đường Thái Tông đến Tây Tạng để trở thành hoàng hậu: vợ của Vua Songtsen Gampo. Thượng thư Gar Tongtsen và công chúa Trung Hoa đã đem theo một chiếc Kinh Luân đặc biệt chính là Kinh Luân Gyanagma. Thượng thư Gar đã giữ gìn chiếc Kinh Luân này. Thấy trước các sự kiện tương lai, Ngài đã chôn giấu nó tại Sha’ug Tago và niêm phong bằng lời cầu nguyện rằng Ngài sẽ phát lộ lại trong tương lai. Sau đó, Đức Gar Chodingpa đã phát lộ Kinh Luân này và đặt nó trong một ngôi chùa ở Pumu Phulung, phía dưới Đá Kim Cương. Bởi Kinh Luân được đặt ở đó, Tu viện Phulung đã được thành lập tại đó. Ngài như thế đã giữ gìn sự an lành của chúng sinh với tám hóa hiện tại nơi đó. 
Hiện tại Tôn Tượng Bụt Thích Ca Mâu Ni trong hóa hiện Báo Thân Jowo Rinpoche vẫn đang ngự tại Chùa Jokhang, còn Kinh Luân Gyanagma thì ngự tại Tổ đình Gargon.

== Gia đình ==
Gar Tongtsen Yulsung có năm con trai, đều trở thành đại tướng của Tây Tạng:
1. Gar Tsenye Dompu (, Hán Việt: "Tán Tất Nhược")
2. Gar Trinring Tsendro (), Hán Việt: "Luận Khâm Lăng"/"Khởi Chính")
3. Gar Tsenba (, Hán Việt: "Luận Tán Bà")
4. Gar Tagu Risum (, Hán Việt: "Tất Đa Vu")
5. Gar Tsenyen Gungton (, Hán Việt: "Luận Tán Nhận")

== Tham khảo ==
- "Cựu Đường thư", "Thổ Phồn truyện".
- "Tân Đường thư", "Thổ Phồn truyện".
George Robert Gray

George Robert Gray (8 tháng 7 năm 1808 – 6 tháng 5 năm 1872) là một tác giả, một nhà động vật học người Anh, trưởng khoa nghiên cứu chim của Bảo tàng Anh, giờ là Bảo tàng Lịch sử Tự nhiên, tại Luân Đôn trong 41 năm. Ông là em trai của nhà động vật học John Edward Gray và là con trai của nhà thực vật học Samuel Frederick Gray.

Tác phẩm quan trọng nhất của George Gray là "Genera of Birds" (Các loài chim, 1844–1849), được minh họa bởi David William Mitchell và Joseph Wolf, tác phẩm này bao gồm 46.000 tham khảo.

== Tiểu sử ==
Ông được sinh ra tại Little Chelsea, Luân Đôn là con trai của nhà tự nhiên học và dược học Samuel Frederick Gray và vợ ông, bà Elizabeth (née Forfeit). Ông theo học tại trường Merchant Taylor.

Gray bắt đầu làm việc tại Bảo tàng Anh với vai trò là Trợ lý nhánh Động vật học vào năm 1831.

Ông bắt đầu bằng cách lập danh mục côn trùng, và xuất bản "Entomology of Australia" (Sâu bọ Australia, 1833) và viết bài về lĩnh vực thụ phấn nhờ côn trùng cho một phiên bản tiếng Anh của tạp chí "Animal Kingdom" của Georges Cuvier. Gray mô tả rất nhiều loài của Bộ Cánh vẩy. Năm 1833, ông là người sáng lập tổ chức tiền thân của Hiệp hội Côn trùng học Hoàng gia Luân Đôn.

Mô tả đầu tiên của Gray về loài chim chính Gray (danh pháp khoa học là Locustella fasciolata), một loài được đặt theo tên ông xuất hiện vào năm 1860. Mẫu vật đã được Alfred Russel Wallace thu thập tại Moluccas. Trong một tiểu sử vắn tắt các tác phẩm của Gray về bọ que, Bragg ghi công trạng Gray với hơn gấp đôi số lượng các loài bọ que đã được đặt tên với ba tác phẩm (vào năm 1833, 1835 và 1843); ba loài bọ que sau đó đã được đặt tên theo Gray.

== Tác phẩm ==
- 1831, "The Zoological Miscellany Zool. Miscell". (1): [1] 1–40
- 1833 "The Entomology of Australia, in a series of Monographs. Part I. The Monograph of the Genus Phasma". London.
- 1835 "Synopsis of the species of insects belonging to the family of Phasmidae." London. Longmans. 48pp.
- 1846 "Descriptions and Figures of some new Lepidopterous Insects chiefly from Nepal". London, Longman, Brown, Green, and Longmans.
- 1843 "Description of several species of the genus Phyllium. Zoologist," (1)1: 117–123.
- 1852 "Catalogue of Lepidopterous Insects in the British Museum". Part 1. Papilionidae. [1853 Jan], "1852" iii + 84pp., 13pls.
- 1871 "A fasciculus of the Birds of China". London, Taylor and Francis.
- Với Richard Bowdler Sharpe, "The Zoology of the Voyage of" HMS Erebus & HMS Terror. "Birds of New Zealand"., 1875. The revised edition of Gray (1846) (1875).

== Tham khảo ==
- "Biographies for Birdwatchers", Mearns and Mearns, ISBN 0-12-487422-3

== Liên kết ngoài ==
- Plates and text from Gray's 1833 Monograph on Phasmidae
- Digitised works by or about George Robert Gray at Biodiversity Heritage Library
Charles Willson Peale

Charles Willson Peale (15 tháng 4 năm 1741 - 22 tháng 2 năm 1827) là một họa sĩ, quân nhân, nhà khoa học, nhà phát minh, chính trị gia, và nhà tự nhiên học người Mỹ. Peale được biết đến qua những bức tranh chân dung của ông vẽ các nhân vật lãnh đạo cuộc Cách mạng Hoa Kỳ cũng như là người thành lập một trong những viện bảo tàng đầu tiên tại Hoa Kỳ.

== Đầu đời ==
Peale sinh năm 1741 tại một vùng đất mà ngày nay nằm giữ thị trấn Queenstown và Centreville thuộc Quận Queen Anna, bang Maryland. Ông là con trai của Charles Peale và vợ là bà Margaret. Ông còn có một người em trai cũng làm nghề họa sĩ tên James Peale (1749-1831). Đồng thời, Peale cũng là anh vợ của Nathaniel Ramsey, một đại biểu của Quốc hội Hợp bang.

Năm 14 tuổi, Peale tìm thấy hứng thú với công việc làm yên ngựa, và khi lớn lên, ông đã tự mở cho mình một cửa tiệm sản xuất yên. Cũng trong khoảng thời gian này, ông tham gia một tổ chức mang tên Sons of Liberty nhằm đòi quyền lợi cho các thực dân Châu Âu ở Bắc Mỹ và chống đối các luật thuế của Anh Quốc. Sau một thời gian, ông thất bại trong việc kinh doanh yên ngựa của mình và phải chuyển sang nghề sửa đồng hồ và gia công kim loại, nhưng cuối cùng Peale đều không mấy thành công trong cả hai công việc này. Sau những thất bại đó, Peale bắt đầu đến với nghề họa sĩ.
Cao nguyên Bern

Berner Oberland (tiếng Đức, tiếng Anh: cao nguyên Bern, cũng được đề cập đến trong ngành du lịch các nước nói tiếng Anh là Bernese Oberland), là khu vực có cao độ cao hơn của bang Bern, Thụy Sĩ, nằm ở phía cuối phía nam của bang, và một trong 5 khu vực hành chính của bang (trong ngữ cảnh nó được gọi là Oberland mà không có đặc điểm nào khác).

Toàn bộ khu vực bao gồm khu vực xung quanh Meiringen và Hasliberg cho đến đèo Grimsel (), quanh hồ Thun () và hồ Brienz, và các thung lũng của nhiều ngọn núi cao với Jungfrau không thể tránh khỏi Cao điểm (4.158 m), khu vực phía tây nam hồ Thun với Kandersteg (kết nối với Valais) và Adelboden, và khu vực quanh Gstaad và Lenk trong vùng Simmental. Dãy núi ở Berner Oberland phía nam của Aare và phía bắc của Rhône được gọi chung là dãy Alps Bern.

Cờ của Berner Oberland bao gồm một con đại bàng đen trong một cánh đồng vàng (liên quan đến tình trạng cũ của khu vực như reichsfrei) trên hai cánh đồng màu cantonal đỏ và đen.

Các phương ngữ tiếng Đức Thụy Sĩ được người ta nói ở Berner Oberland là tiếng Đức Alemanic Cao nhất, trái ngược với tiếng Đức Bern Alemannic Cao được người ta sử dụng ở các khu vực phía bắc của bang.

Trong nước cộng hòa Helvetic tồn tại ngắn ngủi (1798-1803), Berner Oberland đã từng là một bang riêng biệt.
Biak

Biak là một hòn đảo nhỏ nằm ở vịnh Cenderawasih gần bờ biển phía bắc của Papua, một tỉnh của Indonesia, và chỉ là phía tây bắc của New Guinea. Biak là hòn đảo lớn nhất trong quần đảo nhỏ của nó, có nhiều đảo san hô, rạn san hô và san hô.

Trung tâm dân số lớn nhất là ở Kota Biak (thành phố Biak) ở bờ biển phía nam. Phần còn lại của hòn đảo này ít dân cư với những ngôi làng nhỏ.

Biak là một phần của Quần đảo Biak (Kepulauan Biak).

== Khí hậu ==
Biak có khí hậu rừng mưa nhiệt đới với nhiệt độ gần như trong suốt cả năm. Nhiệt độ trung bình hàng năm ở thành phố là 26 °C (79 °F), cũng thường là nhiệt độ trung bình mỗi ngày ở Biak. Thành phố nhìn thấy lượng mưa trong mỗi tháng trong suốt cả năm, trung bình khoảng 2.816 milimét (110.9 in) lượng mưa trong một năm. Những tháng khô hạn nhất tháng mười một, trung bình ít hơn 200 milimet (7.9 inch) mưa mỗi tháng, và tháng ẩm nhất ở Biak, Indonesia là tháng 3 mưa TB gần 280mm (gần 11 inch) mưa mỗi tháng
Unit testing

Trong lập trình máy tính, unit testing (tiếng Việt: kiểm thử đơn vị) là một phương pháp kiểm thử phần mềm mà mỗi đơn vị mã nguồn, tập hợp một hoặc nhiều các môđun chương trình máy tính cùng với dữ liệu kiểm soát liên quan, thủ tục sử dụng, và các quy trình vận hành, được kiểm tra để xác định chúng có phù hợp để sử dụng hay không.

Kiểm thử đơn vị là một loại kiểm thử phần mềm, trong đó sẽ tiến hành kiểm tra từng phần nhỏ - module hoặc các thành phần của phần mềm.

Mục đích của nó nhằm đảm bảo mỗi đoạn code (mỗi phần của chương trình) đều hoạt động hoàn hảo.

Kiểm thử đơn vị được thực hiện bởi người phát triển(có một số trường hợp có thể là kiểm thử viên - tester hoặc QA) ở giai đoạn đang phát triển phần mềm.

Quá trình kiểm thử đơn vị sẽ tách code thành các đoạn mã đơn vị (một hàm, một phương thức, một thủ tục, một module hoặc là một đối tượng) và kiểm tra độ chính xác của nó.

Trong chu trình phát triển phần mềm SDLC, STLC, V-Model thì kiểm thử đơn vị là lần kiểm tra đầu tiên trước khi tiến hành kiểm tra tích hợp (intergration testing).

Unit Testing => Integration Testing => System Testing => Acceptance Testing

Kiểm thử đơn vị là phương pháp kiểm thử Whitebox, thường được thực hiện bởi người phát triển phần mềm (developer).

== Liên kết ngoài ==
- Test Driven Development (Ward Cunningham's Wiki)
Dữ liệu sơ cấp

Dữ liệu sơ cấp là những dữ liệu chưa có sẵn, được thu thập lần đầu, do chính người nghiên cứu thu thập.
Trong thực tế, khi dữ liệu thứ cấp không đáp ứng được yêu cầu nghiên cứu, hoặc không tìm được dữ liệu thứ cấp phù hợp thì các nhà nghiên cứu sẽ phải tiến hành thu thập dữ liệu sơ cấp.

== Đặc điểm của dữ liệu sơ cấp ==
Các dữ liệu sơ cấp sẽ giúp giải quyết cấp bách và kịp thời những vấn đề đặt ra. Dữ liệu sơ cấp là do trực tiếp thu thập nên độ chính xác cao hơn. Tuy nhiên, dữ liệu sơ cấp phải qua quá trình nghiên cứu thực tế mới có được, vì vậy việc thu thập dữ liệu sơ cấp thường tốn nhiều thời gian và chi phí. Vì vậy, các nhà nghiên cứu sẽ phải cân nhắc khi nào sẽ phải thu thập dữ liệu sơ cấp và lựa chọn phương pháp thu thập hiệu quả để hạn chế nhược điểm này.
==Các bước thu thập dữ liệu sơ cấp==
1. Xác định vấn đề cần nghiên cứu.
2. Thiết lập kế hoạch nghiên cứu.
3. Tiến hành thu thập dữ liệu.
4. Phân tích dữ liệu thu thập được.
5. Phân bổ các kết quả phân tích.

==Các phương pháp thu thập dữ liệu sơ cấp==
===Phương pháp điều tra trực tiếp===
Đây là phương pháp thu thập dữ liệu trực tiếp qua đối tượng nghiên cứu. Phương pháp này được thực hiện bằng một số hình thức như phỏng vấn trực tiếp, phỏng vấn qua điện thoại, trả lời bảng câu hỏi...
===Phương pháp quan sát===
Phương pháp này được áp dụng khi đối tượng nghiên cứu không sẵn sàng cung cấp thông tin, hoặc cố tình cung cấp thông tin không chính xác Lúc này, người nghiên cứu sẽ phải dùng các giác quan hoặc máy móc để quan sát các hành vi, thói quen của đối tượng nghiên cứu trong một khoảng thời gian cố định. Từ đó phân tích kết quả và có được dữ liệu.

===Phương pháp khảo sát trực tuyến===
Với sự xuất hiện của Internet, các dữ liệu có thể thu thập được bằng các khảo sát qua thư điện tử hay các website. Ưu điểm của phương pháp này là thu thập dữ liệu rất nhanh với số lượng lớn, tiết kiệm chi phí hơn so với phương pháp thu thập truyền thống.

==Xem thêm==
- Dữ liệu
- Dữ liệu thứ cấp
Marcos Pereira

Marcos Antônio Pereira (sinh ngày 2 tháng 4 năm 1975) là một cầu thủ bóng đá người Brazil, chơi ở vị trí tiền đạo. Sau khi bắt đầu sự nghiệp cầu thủ tại Internacional de Limeira, ông đã chuyển đến chơi cho một số câu lạc bộ tại giải vô địch quốc gia Bỉ Belgian Pro League, bao gồm K.V. Mechelen, Sint-Truidense VV., và Royal Antwerp.

Con trai ông Andreas Pereira chơi ở vị tri tiền vệ cho câu lạc bộ Manchester United
Mutua Madrid Open 2017 - Đơn nam

Novak Djokovic là đương kim vô địch, nhưng thua ở vòng bán kết trước tay vợt sau đó là nhà vô địch là Rafael Nadal.

Nadal đi tiếo để dành chiến thắng danh hiệuMadrid Open thứ năm của mình, đánh bại Dominic Thiem ở trận chung kết, 7–6, 6–4. 
Với chiến thắng của Nadal và Djokovic với 30 Masters 1000 đơn.

==Hạt giống==
8 hạt giống hàng đầu được đặc cách vào vòng hai 

== Tham khảo ==
- Main Draw
- Qualifying Draw
Đệ Nhất Cộng hòa Brasil

Đệ Nhất Cộng hoà Brasil (, , "Cựu Cộng hoà") là giai đoạn của Lịch sử Brasil từ năm 1889 đến năm 1930. Nền Cộng hoà Velha kết thúc năm 1930 với cuộc đảo chính quân sự, còn được biết đến Cách mạng Brazil 1930 và thành lập chính quyền
độc tài Getúlio Vargas.
Xây dựng phần mềm

Xây dựng phần mềm (tiếng Anh:"Software construction") là một quy tắc kỹ thuật phần mềm. Nó là quá trình tạo ra chi tiết của phần mềm thông qua sự kết hợp của viết mã, xác minh, kiểm thử đơn vị, kiểm thử tích hợp, và gỡ lỗi. Nó được liên kết tới tất cả các quy tắc công nghệ phần mềm, nhất là với thiết kế phần mềm và kiểm thử phần mềm.

== Các nguyên tắc cơ bản về xây dựng phần mềm ==
=== Giảm thiểu sự phức tạp ===
Sự cần thiết phải giảm sự phức tạp chủ yếu là do khả năng hạn chế của hầu hết mọi người khi phải giữ cấu trúc phức tạp và thông tin trong ký ức làm việc của họ

=== Tái sử dụng ===
Sử dụng lại có hệ thống có thể cho phép cải thiện năng suất, chất lượng và chi phí phần mềm đáng kể

== Cân nhắc thực tiễn ==
=== Kiểm thử xây dựng ===
Mục đích của kiểm thử xây dựng là để giảm khoảng cách giữa thời gian lỗi được đưa vào trong mã và thời gian lỗi được phát hiện. Trong một số trường hợp, kiểm thử xây dựng được thực hiện sau khi mã đã được viết. Trong mô hình phát triển hướng về kiểm thử (TDD), các bài kiểm thử được tạo ra trước khi mã được viết. Xây dựng liên quan đến hai dạng kiểm thử vốn thường được thực hiện bởi kĩ sư phần mềm là người viết mã:
- Kiểm thử đơn vị
- Kiểm thử tích hợp

=== Tái sử dụng ===
Hiện thực tái sử dụng phần mềm đòi hỏi nhiều hơn là tạo ra và sử dụng thư viện tài sản.

=== Chất lượng xây dựng ===
Các kĩ thuật chính được sử dụng để bảo đảm chất lượng mã nguồn khi được xây dựng gồm:
- Kiểm thử đơn vị và kiểm thử tích hợp. Một nghiên cứu cho thấy tỷ lệ phát hiện lỗi trung bình của kiểm thử đơn vị và tích hợp lần lượt là 30% và 35%.
- Phát triển hướng về kiểm thử
- Sử dụng assertions và defensive programming
- Gỡ lỗi
- Inspections.
- Technical reviews.
- Static analysis

== Xem thêm ==
- Công nghệ phần mềm
- Phát triển phần mềm

== Liên kết ngoài ==
- Guide to the Software Engineering Body of Knowledge - 2004 Version By IEEE Computer Society
- Guide to the Software Engineering Body of Knowledge, Version 3.0, IEEE Computer Society, 2014
Xác minh phần mềm

Xác minh phần mềm (tiếng Anh: "Software verification") là một quy tắc của công nghệ phần mềm với mục tiêu đảm bảo rằng phần mềm đáp ứng đầy đủ tất cả các yêu cầu dự kiến.

Có hai cách tiếp cận cơ bản để xác minh:
- "Xác minh động", còn được gọi là Kiểm thử hay Thí nghiệm - thích hợp cho tìm lỗi
- "Xác minh tĩnh", còn được gọi là Phân tích - hữu ích cho việc chứng minh tính chính xác của một chương trình mặc dù đôi khi nó dẫn đến các lỗi sai

== Xem thêm ==
- Xác minh và xác nhận (phần mềm)
- Runtime verification
- Hardware verification

== Tham khảo ==
- IEEE: "SWEBOK: Guide to the Software Engineering Body of Knowledge"
- Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: "Fundamentals of Software Engineering", Prentice Hall, ISBN 0-13-099183-X
- Alan L. Breitler: "A Verification Procedure for Software Derived from Artificial Neural Networks", Journal of the International Test and Evaluation Association, Jan 2004, Vol 25, No 4.
- Vijay D'Silva, Daniel Kroening, Georg Weissenbacher: A Survey of Automated Techniques for Formal Software Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1165-1178 (2008)
Phân tích chương trình tĩnh

Phân tích chương trình tĩnh là quá trình phân tích phần mềm máy tính được thực hiện mà không thực sự chạy chương trình đó (ngược lại, phân tích một chương trình đang chạy gọi là phân tích động). Trong hầu hết các trường hợp, phân tích được thực hiện trên một số phiên bản của mã nguồn, và trong các trường hợp khác, trên vài dạng của mã đối tượng.

Thuật ngữ này thường được áp dụng cho phân tích được thực hiện bởi một công cụ tự động, với sự tham gia của người hiểu về chương trình, program comprehension, hay code review. Software inspection và software walkthrough cũng được sử dụng trong trường hợp sau.

== Xem thêm ==
- Kiểm tra mã
- Bộ sinh tài liệu
- Ngữ nghĩa của ngôn ngữ lập trình
- Formal verification
- Danh sách công cụ phân tích mã tĩnh
- Phân tích hình khối (phần mềm)

== Tham khảo ==
=== Nguồn ===
- Kaner, Cem; Nguyen, Hung Q; Falk, Jack (1988). "Testing Computer Software" (Second ed.). Boston: Thomson Computer Press. ISBN 0-47135-846-0.
- Static Testing C++ Code: A utility to check library usability

== Đọc thêm ==
- Syllabus and readings for Alex Aiken’s Stanford CS295 course.
- "Abstract interpretation and static analysis," International Winter School on Semantics and Applications 2003, by David A. Schmidt

== Liên kết ngoài ==
- Code Quality Improvement - Coding standards conformance checking (DDJ)
- Competition on Software Verification (SV-COMP)
- Episode 59: Static Code Analysis Interview (Podcast) at "Software Engineering Radio"
- Implementing Automated Governance for Coding Standards Explains why and how to integrate static code analysis into the build process
- Integrate static analysis into a software development process
- Static Analysis (InfoQ)
- Static Code Analysis - Polyspace
- The SAMATE Project, a resource for Automated Static Analysis tools
Kiểm thử tích hợp

Kiểm thử tích hợp (tiếng Anh: "Integration testing") thỉnh thoảng còn gọi là tích hợp và kiểm thử ("integration and testing", viết tắt: I&T) là một giai đoạn trong kiểm thử phần mềm mà mỗi môđun phần mềm riêng biệt được kết hợp lại và thử nghiệm theo nhóm. Nó xảy ra sau kiểm thử đơn vị và trước kiểm thử xác nhận. Kiểm thử tích hợp nhận các môđun đầu vào đã được kiểm thử đơn vị, nhóm chúng vào các tập hợp lớn hơn, áp dụng các bài kiểm tra đã được định nghĩa trong kế hoạch kiểm thử tích hợp vào tập hợp đó, và cung cấp đầu ra cho hệ thống tích hợp để sẵn sàng chạy kiểm thử hệ thống.

== Xem thêm ==
- Kiểm thử hàm
- Tích hợp liên tục
Gỡ lỗi

Gỡ lỗi (tiếng Anh: "Debugging") là quá trình tìm ra lỗi khiến chương trình máy tính hay hệ thống không hoạt động đúng.

Các kĩ thuật debug có thể bao gồm debug tương tác trực tiếp (interactive debugging), phân tích luồng chương trình (control flow analysis), kiểm thử đơn vị (unit testing), Kiểm thử tích hợp (integration testing), phân tích log file (log file analysis), giám sát hoạt động của phần mềm ở tầng ứng dụng hoặc ở cấp hệ thống, memory dumps, và profiling. Nhiều ngôn ngữ lập trình và các công cụ phát triển phần mềm có hỗ trợ thêm các công cụ debug, gọi là debugger.

== Xem thêm ==
- Trình gỡ lỗi
- Lỗi phần mềm
- Kiểm thử phần mềm
== Đọc thêm ==
- David J. Agans: Debugging: The Nine Indispensable Rules for Finding Even the Most Elusive Software and Hardware Problems, AMACOM, 2002. ISBN 0-8144-7168-4
- Bill Blunden: Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code, APress, 2003. ISBN 1-59059-234-4
- Ann R. Ford, Toby J. Teorey: Practical Debugging in C++, Prentice Hall, 2002. ISBN 0-13-065394-2
- Thorsten Grötker, Ulrich Holtmann, Holger Keding, Markus Wloka, The Developer's Guide to Debugging, Second Edition, Createspace, 2012. ISBN 1-4701-8552-0
- Robert C. Metzger: Debugging by Thinking: A Multidisciplinary Approach, Digital Press, 2003. ISBN 1-55558-307-5
- Glenford J Myers: *The Art of Software Testing, John Wiley & Sons inc, 2004. ISBN 0-471-04328-1
- John Robbins: Debugging Applications, Microsoft Press, 2000. ISBN 0-7356-0886-5
- Matthew A. Telles, Yuan Hsieh: The Science of Debugging, The Coriolis Group, 2001. ISBN 1-57610-917-8
- Dmitry Vostokov: Memory Dump Analysis Anthology, Volume 1, OpenTask, 2008. ISBN 978-0-9558328-0-2
- Andreas Zeller: Why Programs Fail, Second Edition: A Guide to Systematic Debugging, Morgan Kaufmann, 2009. ISBN 0-1237-4515-2

== Liên kết ngoài==
- Crash dump analysis patterns in-depth articles on analyzing and finding bugs in crash dumps
- Learn the essentials of debugging how to improve your debugging skills, a good article at IBM developerWorks (archived from the original on ngày 18 tháng 2 năm 2007)
- Plug-in Based Debugging For Embedded Systems
- Embedded Systems test and debug - about digital input generation results of a survey about embedded system test and debug, Byte Paradigm (archived from the original on ngày 12 tháng 1 năm 2012)
Trình gỡ lỗi

Một trình gỡ lỗi hay công cụ gỡ lỗi (tiếng Anh: "debugger" hay "debugging tool") là một chương trình máy tính được dùng để kiểm thử và gỡ lỗi cho chương trình khác (chương trình "đích").

== Tham khảo ==
- Tổng quát
- Đặc biệt
== Liên kết ngoài ==
- Debugging Tools for Windows
- OpenRCE: Various Debugger Resources and Plug-ins
- IntelliTrace MSDN, Visual Studio 2015
Tiếng Twi

Tiếng Twi (phát âm ) hay tiếng Asante Twi, là một ngôn ngữ được bởi khoảng 6–9 triệu người Ashanti như một bản ngữ hoặc ngôn ngữ thứ hai. Tiếng Twi (hay Asante Twi) thực chất là tên thường gọi dành cho hai phương ngữ được chuẩn hóa của tiếng Akan, Asante (Ashanti) và Akuapem, cả hai có thể hiểu lẫn nhau. 9 triệu người nói tiếng Twi chủ yếu sinh sống tại vùng Ashanti. Akuapem là phương ngữ tiếng Akan đầu tiên được sử dụng để dịch Kinh Thánh, và do đó đã trở thành phương ngữ uy tín.
Phát triển theo hướng thử nghiệm

Phát triển theo hướng thử nghiệm (tiếng Anh: Test-driven development, viết tắt: TDD) là một quy trình phát triển phần mềm dựa trên sự lặp lại của một chu kỳ phát triển rất ngắn: thay cho các yêu cầu kỹ thuật là các trường hợp thử nghiệm thật cụ thể, sau đó phần mềm được cải thiện chỉ để vượt qua các bài thử nghiệm mới. Điều này trái ngược với phát triển phần mềm mà cho phép thêm tính năng vào mà chưa được chứng minh là đáp ứng được yêu cầu.

Kent Beck, người được ghi nhận là đã phát triển hoặc 'tái khám phá' kỹ thuật lập trình này, đã tuyên bố vào năm 2003 rằng TDD hỗ trợ những thiết kế đơn giản và tạo sự tin cậy cao.
Phát triển hướng kiểm thử có liên quan đến các khái niệm lập trình theo kiểu kiểm thử trước của eXtreme Programming, khởi đầu vào năm 1999, nhưng gần đây đã tạo ra nhiều mối quan tâm chung hơn theo đúng nghĩa của nó.

== Liên kết ngoài ==
- on WikiWikiWeb
- Microsoft Visual Studio Team Test from a TDD approach
- Write Maintainable Unit Tests That Will Save You Time And Tears
- Improving Application Quality Using Test-Driven Development (TDD)
Chuyến bay 507 của Kenya Airways

Chuyến bay 507 của hãng hàng không Kenya Airways là một dịch vụ hành khách của Abidjan-Douala-Nairobi, hoạt động với một chiếc Boeing 737-800, đã rơi vào giai đoạn đầu của chuyến bay thứ hai vào ngày 5 tháng 5 năm 2007, ngay sau khi cất cánh từ sân bay quốc tế Douala ở Cameroon.
Chiếc máy bay đã vỡ thành những mảnh nhỏ và gần như bị chìm trong đầm lầy ngập mặn, phía nam (176 độ) là 5.4 km (3,4 dặm) về phía cuối của đường băng sân bay quốc tế Douala. Không có người nào còn sống sót. Cuộc điều tra của Cơ quan Hàng không dân dụng Cameroon xác định rằng các phi công không thông báo và sửa chữa ngân hàng quá mức sau khi cất cánh. Điều này dẫn đến việc mất kiểm soát và khiến máy bay rơi.

==Hành khách và phi hành đoàn==
===Những hành khách đặc biệt===
- Campbell Utton – CEO MTN Group Cameroon
- Sarah Stewart – CFO MTN Group Cameroon
- Amol Chauhan – Giám đốc Parle Products, Ấn Độ
- Anthony Mitchell – phóng viên Associated Press đóng ở Kenya
- Siaka Diarra – Chủ tịch khu vực nói tiếng Pháp ở Tây Phi, Liên hiệp người mù châu Phi, Chủ tịch Hiệp hội người mù Burkina Faso
– Nguồn:

==Liên kết ngoài==
- Cameroon Civil Aviation Authority
- "Technical Investigation ."
-  Official Report (ngày 28 tháng 4 năm 2010, Alt )
-  Official Report ( )
- "DECLARATION OF THE MINISTER OF STATE, MINISTER OF TRANSPORT." (Archive)
- Wadem, Joël. "Crash de Kenya airways: l'enquête se poursuit." (Archive)
- Galabe, Mirielle. "Mbanga Pongo: Les circonstances du crash demeurent un mystère." (Archive)
- Kenya Airways website information
- 9 May: https://web.archive.org/web/20070509002518/http://84.40.1.214/ ()
- 13 May: https://web.archive.org/web/20070513121401/http://84.40.1.214/index.html ()
- 16 May: https://web.archive.org/web/20070516121429/http://84.40.1.214/ ()
- "Full list of Passengers on Flight KQ 507." (Archive)
- NTSB Factual Report (PDF)
- Reconstructing the last moments of Kenya Airways Flight 507 ngày 11 tháng 5 năm 2007 IHT
Giải bóng đá vô địch quốc gia Bỉ

Giải bóng đá vô địch quốc gia Bỉ (Pro League), tên chính thức là Jupiler Pro League vì lý do tài trợ, là giải đấu hàng đầu của các câu lạc bộ bóng đá tại Bỉ. Được thi đấu bởi 16 câu lạc bộ từ mùa giải 2023–24, giải đấu hoạt động theo hệ thống thăng hạng và xuống hạng với Challenger Pro League.

Mùa giải diễn ra từ đầu tháng 8 đến cuối tháng 3 năm sau, các đội thi đấu 30 trận trong mùa giải thông thường. Sau đó 16 đội tùy theo thứ hạng được chia làm 3 bảng: hạng 1 đến 6 thuộc bảng Play-off I, hạng 7 đến 12 thuộc bảng Play-off II và hạng 13 đến 16 thuộc bảng Play-off III. Các đội trong các bảng sẽ thi đấu vòng tròn hai lượt. Play-off I còn gọi là Play-off Champions để chọn ra nhà vô địch của mùa giải. Play-off III sẽ xác định 2 đội xuống hạng cùng 1 đội đá play-off với đội đứng thứ 3 của Challenger Pro League.

Giải đấu được Hiệp hội bóng đá Hoàng gia Bỉ thành lập năm 1895 và FC Liégeois là đội đầu tiên giành chiến thắng. Trong số 74 câu lạc bộ đã thi đấu ở giải hạng nhất kể từ khi thành lập, 16 câu lạc bộ đã lên ngôi vô địch Bỉ. Anderlecht là câu lạc bộ thành công nhất với 34 chức vô địch, tiếp theo là Club Brugge (19), Union Saint-Gilloise (12) và Standard Liège (10). Giải hiện đang đứng thứ 8 trong bảng xếp hạng các giải đấu của UEFA dựa trên thành tích ở các giải đấu châu Âu trong 5 năm qua. Giải đấu được xếp thứ 3 khi UEFA lần đầu tiên công bố bảng xếp hạng của họ vào năm 1979 và cả năm tiếp theo là 1980, đây là thứ hạng tốt nhất mà Giải hạng nhất Bỉ (First Division) từng đạt được.

== Thống kê ==
- In đậm: thi đấu ở mùa giải 2025–26.
- "In nghiêng": đã giải thể hoặc sáp nhập.
Đấng đáng kính

Đấng đáng kính là một chức danh được sử dụng trong một số Giáo hội Kitô giáo và Phật giáo. Đôi khi nó cũng được sử dụng như một lời khen ngợi.
Trong Giáo hội Công giáo Rôma, sau khi một Tín hữu Công giáo qua đời mà được một giám mục tuyên bố là Tôi tớ của Đức Chúa Trời rồi đề nghị giáo hoàng phong Chân phước, thì người mang danh hiệu Tôi tớ Chúa đó phải là một Đấng đáng kính trọng tức là "anh hùng trong đức hạnh". Quá trình điều tra dẫn đến việc phong Hiển thánh cho người tín hữu đó phải trải qua nhiều giai đoạn. Khi một người được coi là Đấng đáng kính, người đó phải được chính đức Giáo Hoàng công bố và phê chuẩn rằng người đó đã sống một cuộc sống "Anh hùng và nhân đức", những đức tính thần học của đức tin, hy vọng và Lòng bác ái. Đây là những đức tính trọng yếu của sự khôn ngoan, công bằng, gan dạ, và bình tĩnh. Các bước tiếp theo là phong chân phước và cuối cùng là phong thánh. Như trường hợp của Giáo hoàng Piô XII và Giáo hoàng Gioan Phaolô II đã được Giáo hoàng Bênêđíctô XVI công nhận vào tháng 12 năm 2009, sau đó Giáo hoàng Gioan Phaolô II đã được tuyên bố là vị thánh vào năm 2014.[1]

== Kitô giáo ==
=== Công giáo ===
Trong Giáo hội Công giáo Rôma, sau khi một Tín hữu Công giáo qua đời mà được một giám mục tuyên bố là Tôi tớ Chúa rồi đề nghị Giáo hoàng phong chân phước, thì người mang danh hiệu Tôi tớ Chúa đó phải là một Đấng đáng kính trọng tức là "anh hùng trong đức hạnh". Quá trình điều tra dẫn đến việc phong Hiển thánh cho người tín hữu đó phải trải qua nhiều giai đoạn. Khi một người được coi là Đấng đáng kính, người đó phải được chính Giáo hoàng công bố và phê chuẩn rằng người đó đã sống một cuộc sống "anh hùng và nhân đức", những đức tính thần học của đức tin, hy vọng và lòng bác ái. Đây là những đức tính trọng yếu của sự khôn ngoan, công bằng, gan dạ, và bình tĩnh. Các bước tiếp theo là phong chân phước và cuối cùng là phong thánh.
Ví dụ như trường hợp của Giáo hoàng Piô XII và Giáo hoàng Gioan Phaolô II đã được Giáo hoàng Biển Đức XVI công nhận vào tháng 12 năm 2009, sau đó Giáo hoàng Gioan Phaolô II đã được tuyên thánh vào năm 2014.

Tu sĩ người Anh Thánh Bêđa được gọi là "Đấng đáng kính" ngay sau khi qua đời và bây giờ vẫn thường gọi là Bêđa Khả kính mặc dù đã được tuyên thánh vào năm 1899.

=== Chính thống giáo Đông phương ===
Trong Chính thống giáo Đông phương, "Đấng đáng kính" thường được dùng để chỉ danh hiệu phong cho các thánh tu sĩ. Một vị thánh tu sĩ tử đạo vì đức tin Chính thống giáo được gọi là "Tử đạo Đáng kính"

== Phật giáo ==
Trong Phật giáo, danh hiệu Đấng đáng kính (bậc tôn giả) được dùng để phong chức cho các tì-kheo và tỉ-khâu-ni. Người ta thường gọi là Thánh Tăng.
Kiểm thử tự động

Trong kiểm thử phần mềm, kiểm thử tự động (tiếng Anh: test automation) là việc sử dụng phần mềm đặc biệt (tách biệt với phần mềm đang được kiểm thử) để kiểm soát việc thực hiện các bài kiểm tra và so kết quả thực tế với kết quả dự đoán. Tự động kiểm thử có thể tự động hóa một số nhiệm vụ lặp đi lặp lại nhưng cần thiết trong một quá trình thử nghiệm đã được chính thức hóa, hay là các kiểm thử bổ sung nhưng sẽ khó thực hiện thủ công. Kiểm thử tự động là rất quan trọng cho phân phối liên tục và kiểm thử liên tục.

== Tổng quan==
Một số nhiệm vụ kiểm thử phần mềm, như kiểm thử hồi quy giao diện cấp thấp rộng, có thể tốn nhiều thời gian và công sức để thực hiện. Ngoài ra, phương pháp thủ công có thể không phải lúc nào cũng có hiệu quả trong việc tìm kiếm các lớp lỗi. Kiểm tra tự động cung cấp một khả năng để thực hiện các loại kiểm thử một cách hiệu quả. Khi các bài kiểm thử tự động được phát triển, chúng có thể chạy nhanh và liên tục.

== Kiểm thử hướng về API ==
Kiểm thử API cũng được các nhà kiểm thử phần mềm sử dụng nhiều do sự khó khăn của việc tạo ra và duy trì kiểm thử tự động dựa trên giao diện đồ họa.

== Cần kiểm thử gì==
Công cụ kiểm thử có thể giúp các tác vụ tự động như cài đặt sản phẩm, tạo dữ liệu kiểm thử, tương tác với giao diện, phát hiện vấn đề, ghi lại lỗi... mà không nhất thiết phải thực tự động kiểm thử từ đầu đến cuối.

== Xem thêm ==
- Kiểm thử fuzz
- Danh sách công cụ kiểm thử giao diện người dùng đồ họa
- Danh sách công cụ kiểm thử web
- Kiểm thử phần mềm
- Kiểm thử hệ thống
- Kiểm thử đơn vị
- Kiểm thử liên tục

== Tham khảo ==
- Ghi chú
- Roman Savenkov: "How to Become a Software Tester." Roman Savenkov Consulting, 2008, ISBN 978-0-615-23372-7
- Hayes, Linda G., "Automated Testing Handbook", Software Testing Institute, 2nd Edition, March 2004
- Kaner, Cem, "Architectures of Test Automation ", August 2000

== Liên kết ngoài ==
- Practical Experience in Automated Testing
- Test Automation: Delivering Business Value
- Test Automation Snake Oil by James Bach
- When Should a Test Be Automated? by Brian Marick
- Guidelines for Test Automation framework
- Advanced Test Automation
- Success Factors for Keyword Driven Testing by Hans Buwalda
- Automation That Learns: Making Your Computer Work for You by Jeremy Carey-Dressler
Kiểm thử thủ công

Kiểm thử thủ công là quá trình kiểm thử phần mềm thủ công để tìm sai sót. Nó yêu cầu một kiểm thử viên đóng vai trò người dùng cuối, theo đó họ sử dụng hầu hết tính năng của ứng dụng để bảo đảm hành vi đúng. Để bảo đảm tính đầy đủ của kiểm thử, kiểm thử viên thường làm theo một kế hoạch kiểm thử bằng văn bản, dẫn họ qua các trường hợp kiểm thử quan trọng.

== Tổng quan ==
Một bước quan trọng trong quá trình này là, kiểm tra hành vi đúng trước của phần mềm trước khi phát hành cho người dùng cuối.

Đối với các nỗ lực kỹ thuật quy mô nhỏ (kể cả nguyên mẫu), kiểm thử thăm dò có thể là đủ.

== Xem thêm ==
- Phương pháp kiểm thử
- Kiểm thử khả dụng
- Kiểm thử giao diện người dùng đồ họa
- Kiểm thử phần mềm
- Kiểm thử tự động
Kế hoạch kiểm thử

Kế hoạch kiểm thử (tiếng Anh: test plan) là một tài liệu mô tả chi tiết các mục tiêu, thị trường đích, nhóm beta nội bộ, và các quy trình cho một thử nghiệm beta cụ thể cho một sản phẩm phần mềm hay phần cứng. Thông thường kế hoạch này chứa đựng hiểu biết chi tiết về luồng làm việc sẽ xảy ra.

== Xem thêm ==
- Kiểm thử phần mềm
- Bộ trường hợp kiểm thử
- Trường hợp kiểm thử
- Script kiểm thử
- Kiểm thử kịch bản

== Liên kết ngoài ==
- Public domain RUP test plan template at Sourceforge (templates are currently inaccessible but sample documents can be seen here: DBV Samples)
Trường hợp kiểm thử

Trường hợp kiểm thử (tiếng Anh: test case), là một tập hợp các thông số đầu vào kiểm thử, điều kiện thực thi, và kết quả mong đợi được phát triển cho một mục tiêu cụ thể, như thực hiện một chương trình cụ thể hay kiểm tra sự tuân thủ với một yêu cầu cụ thể. Một trường hợp kiểm thử có thể chỉ đơn giản là một câu hỏi cho chương trình. Mục đích mà kiểm thử cần chạy là để lấy thông tin, ví dụ như chương trình sẽ vượt qua bài kiểm thử hay không. Trường hợp kiểm thử là nền tảng của Đảm bảo chất lượng trong khi chúng được phát triển để xác minh chất lượng và hành vi của sản phẩm.

== Xem thêm ==
- Classification Tree Method

== Liên kết ngoài ==
- Writing Software Security Test Cases - Putting security test cases into your test plan by Robert Auger
- Software Test Case Engineering By Ajay Bhagwat
Kiểm thử thăm dò

Kiểm thử thăm dò (tiếng Anh: Exploratory testing) là một cách tiếp cận kiểm thử phần mềm được mô tả ngắn gọn là đồng thời học hỏi, thiết kế kiểm thử và thực thi kiểm thử. Cem Kaner, người đặt ra thuật ngữ này vào năm 1984, định nghĩa kiểm thử thăm dò là "một phong cách thử nghiệm phần mềm nhấn mạnh đến tự do cá nhân và trách nhiệm của cá nhân kiểm thử viên nhằm liên tục tối ưu hóa chất lượng công việc của họ bằng cách xử lí việc học hỏi liên quan đến kiểm thử, thiết kế kiểm thử và thực thi kiểm thử, và giải thích kết quả kiểm thử như là các hoạt động hỗ trợ lẫn nhau chạy song song trong suốt dự án."

Trong khi phần mềm đang được kiểm thử, kiểm thử viên học được những điều cùng với kinh nghiệm và sự sáng tạo sẽ sinh ra các bài kiểm thử tốt để chạy. Kiểm thử thăm dò thường được xem là một dạng kĩ thuật kiểm thử hộp đen.

== Cách dùng ==
Kiểm thử thăm dò đặc biệt phù hợp nếu yêu cầu phần mềm và đặc tả phần mềm chưa được hoàn chỉnh, hoặc thiếu thời gian.
Cách tiếp cận này cũng có thể được dùng để xác minh rằng kiểm thử trước đã tìm ra các sai sót quan trọng nhất.

== Xem thêm ==
- Kiểm thử Ad hoc

== Liên kết ngoài ==
- James Bach, "Exploratory Testing Explained"
- Cem Kaner, James Bach, "The Nature of Exploratory Testing ", 2004
- Cem Kaner, James Bach, "The Seven Basic Principles of the Context-Driven School"
- Jonathan Kohl, "Exploratory Testing: Finding the Music of Software Investigation", Kohl Concepts Inc., 2007
Kiểm thử ad hoc

Kiểm thử Ad hoc (tiếng Anh: Ad hoc testing) là một thuật ngữ được sử dụng phổ biến khi thực hiện kiểm thử phần mềm mà không có kế hoạch hay tài liệu, nhưng có thể được áp dụng cho các nghiên cứu thử nghiệm khoa học trong giai đoạn đầu.

Các bài kiểm tra chỉ được chạy một lần, trừ khi một lỗi được phát hiện. Kiểm thử ad hoc là phương pháp kiểm thử ít chính thức nhất. Như vậy, nó đã bị chỉ trích bởi vì nó không có cấu trúc và do đó các sai sót được tìm thấy bằng cách sử dụng phương pháp này có thể khó tái hiện thực (vì không có tài liệu trường hợp kiểm thử). Tuy nhiên, ưu điểm của kiểm thử ad hoc là những sai sót quan trọng có thể được tìm thấy một cách nhanh chóng.

Nó được thực hiện bởi sự ngẫu hứng: kiểm thử viên tìm kiếm lỗi bằng bất cứ cách nào thích hợp. Kiểm thử ad hoc có thể được xem là một phiên bản nhẹ của đoán lỗi, vốn cũng là một phiên bản nhẹ của kiểm thử thăm dò.Ad hoc là một từ mượn trong tiếng Latin và có thể sử dụng như một tính từ với nghĩa “arranged when necessary” (được hình hành khi cần thiết) hoặc như một trạng từ với nghĩa “for the particular aim” (dành cho mục đích cụ thể).

== Tham khảo ==
- Exploratory Testing Explained
- Context-Driven School of testing
Kiểm thử liên tục

Kiểm thử liên tục (tiếng Anh: Continuous testing) là quá trình thực hiện các bài kiểm thử tự động như là một phần của quy trình phân phối phần mềm để có được phải hồi lập tức về những rủi ro kinh doanh liên quan đến ứng viên phát hành phần mềm.

Đối với kiểm thử liên tục, phạm vi kiểm thử mở rộng từ xác nhận các yêu cầu phần mềm từ dưới lên hay user story để đánh giá các yêu cầu hệ thống liên quan đến mục tiêu kinh doanh tổng quát.

== Xem thêm ==
- Kiểm thử tự động
- Phân phối liên tục
- Tích hợp liên tục
- DevOps
- Quản lí phát hành
- Ảo hóa dịch vụ
- Kiểm thử phần mềm
Kiểm thử hồi quy

Kiểm thử hồi quy (tiếng Anh: Regression testing) là một dạng kiểm thử phần mềm để xác minh rằng phần mềm vốn đã được phát triển và kiểm thử từ trước vẫn sẽ hoạt động chính xác sau khi bị thay đổi hoặc giao tiếp với các phần mềm khác. Thay đổi có thể gồm cải tiến phần mềm, bản vá lỗi, thay đổi cấu hình... Trong quá trình kiểm thử hồi quy, lỗi phần mềm mới hoặc "lỗi hồi quy" có thể được phát hiện.

== Xem thêm ==
- Kiểm thử đặc tính
- Kiểm soát chất lượng
- Smoke testing
- Phát triển hướng về kiểm thử

== Liên kết ngoài ==
- Microsoft regression testing recommendations
- Gauger performance regression visualization tool
- What is Regression Testing by Scott Barber and Tom Huston