Chứng minh tính hiệu quả của các tỷ lệ cá cược hôm nay hình thức trong thử nghiệm nhắm vào tài liệu thiết kế của Sở giao dịch chứng khoán Tokyo
～DSF hoàn thành “Hướng dẫn sử dụng tỷ lệ cá cược hôm nay chính thức” dựa trên kết quả thử nghiệm～

Cục Xúc tiến Công nghệ thông tin (Cơ quan Xúc tiến Công nghệ thông tin) (sau đây gọi tắt là IPA)^{(Chú ý 1)}là một tỷ lệ cá cược hôm nay chính thức^{(Chú ý 2)}Một thử nghiệm trình diễn ứng dụng (sau đây gọi là "thí nghiệm") đã được tiến hành vào tháng 8 năm 2011 để chứng minh tính hiệu quả của tỷ lệ cá cược hôm nay chính thức IPA đã tóm tắt kết quả của thử nghiệm này trong một báo cáo (sau đây gọi là “tài liệu này”),

DSF đã hoạt động từ năm 2009 với mục đích đưa các tỷ lệ cá cược hôm nay chính thức vào phát triển phần mềm nhằm hiện thực hóa phần mềm không gây ra lỗi (phần mềm đáng tin cậy) Dựa trên kết quả của thử nghiệm này, chúng tôi đã sửa đổi hướng dẫn này và xuất bản phiên bản cuối cùng

DSF bao gồm sáu công ty: NTT Data Corporation, Fujitsu Corporation, NEC Corporation, Hitachi Corporation, Toshiba Corporation và SCSK Corporation, cũng như Interuniversity Research Institute Corporation Research Information and Systems, National Institute of Tin học^{(Chú ý 3)}đang tham gia

[Tóm tắt]

DSF đã tiến hành nghiên cứu và phát triển để thiết lập các kỹ thuật thiết kế thực tế, có hệ thống và logic nhằm tạo ra phần mềm đáng tin cậy, đồng thời nỗ lực giảm thiểu các lỗi hệ thống do phần mềm gây ra Cụ thể là phần mềm doanh nghiệp^{(Chú ý 4)}, chưa bao giờ có hướng dẫn hỗ trợ việc đưa các tỷ lệ cá cược hôm nay chính thức vào các trang web phát triển, vì vậy DSF đã tạo hướng dẫn này lần đầu tiên tại Nhật Bản, trong đó tóm tắt các quy trình áp dụng các tỷ lệ cá cược hôm nay chính thức và ví dụ về mô tả chính thức điển hình và phát hành nó vào ngày 21 tháng 7 năm 2011

Ngoài ra, IPA tin rằng lý do tại sao việc sử dụng các tỷ lệ cá cược hôm nay chính thức không tiến triển trong những năm gần đây là do không có thông tin tham khảo về các nghiên cứu điển hình trong đó các tỷ lệ cá cược hôm nay chính thức đã được áp dụng nên chúng tôi đã tiến hành thử nghiệm này theo hướng dẫn này vào tháng 8 năm 2011 với mục đích đo lường hiệu quả và số giờ làm việc cụ thể của việc áp dụng các tỷ lệ cá cược hôm nay chính thức vào các hệ thống trong hoạt động thực tế

Cụ thể, khi chúng tôi áp dụng tỷ lệ cá cược hôm nay chính thức cho tài liệu thiết kế đã được xem xét cho một hệ thống thực tế đang được Sở giao dịch chứng khoán Tokyo vận hành, chúng tôi nhận thấy rằng có những vấn đề chưa được phát hiện trong quá trình xem xét tài liệu thiết kế^{(Lưu ý 5)}đã được tìm thấy Ngoài ra, hơn một nửa số phát hiện mà Sở giao dịch chứng khoán Tokyo đánh giá là yêu cầu sửa đổi tài liệu thiết kế trước đây được phát hiện sau quá trình thiết kế, chẳng hạn như triển khai và thử nghiệm, nhưng lần này, các cuộc thanh tra bằng tỷ lệ cá cược hôm nay chính thức đã phát hiện ra chúng trong quá trình thiết kế, chứng tỏ khả năng giảm việc làm lại xảy ra sau quá trình thiết kế

DSF đã tham gia thử nghiệm này với tư cách là thành viên và chịu trách nhiệm về công việc thực tế của thử nghiệm Hơn nữa, DSF đã kết hợp các quy trình và tỷ lệ cá cược hôm nay mô tả mới được phát minh hoặc cải tiến từ thử nghiệm này vào hướng dẫn này như một kiến ​​thức thực tế hơn và hôm nay sẽ phát hành phiên bản cuối cùng của hướng dẫn này như là đỉnh cao của các hoạt động của mình

Xin lưu ý rằng DSF có kế hoạch chuyển bản quyền các sản phẩm của mình sang IPA vào tháng 6 năm 2012 và các hoạt động của DSF sẽ kết thúc vào cuối tháng 6 năm 2012, nhưng mỗi công ty tham gia sẽ cố gắng phổ biến tỷ lệ cá cược hôm nay chính thức bằng cách tận dụng kết quả của sáng kiến này Ngoài ra, IPA sẽ kết hợp các kết quả của thí nghiệm này vào tài liệu giảng dạy nhằm phổ biến các tỷ lệ cá cược hôm nay chính thức tại hiện trường và sẽ nỗ lực phổ biến chúng để các địa điểm phát triển có thể sử dụng các tỷ lệ cá cược hôm nay chính thức một cách thích hợp Hơn nữa, chúng tôi dự định tiếp tục tiến hành các thử nghiệm trình diễn về các tỷ lệ cá cược hôm nay hình thức bao gồm các quan điểm khác với những quan điểm trong thử nghiệm này và tổ chức một khối kiến ​​thức để sử dụng hiệu quả các tỷ lệ cá cược hôm nay hình thức

Dành cho thử nghiệm này và hướng dẫn nàyĐính kèm (PDF 128KB)

(Lưu ý 1) Kazumasa Fujie, Chủ tịch, Cơ quan Xúc tiến Công nghệ Thông tin, Cơ quan Hành chính Độc lập

(Lưu ý 2) tỷ lệ cá cược hôm nay chính thức
Thuật ngữ chung cho các tỷ lệ cá cược hôm nay và kỹ thuật mô tả chính xác và xác minh một cách có hệ thống các chức năng cũng như hành vi của hệ thống mục tiêu và phần mềm dựa trên logic toán học Bằng cách mô tả chặt chẽ mục tiêu, có thể phát hiện được các lỗi như sự không nhất quán và thiếu sót trong các yêu cầu và thiết kế Hơn nữa, bằng cách xác minh bằng các công cụ, có thể phát hiện ra các lỗi như sự không nhất quán trong yêu cầu và thông số thiết kế cũng như những thiếu sót

(Lưu ý 3) NTT Data Corporation (Giám đốc đại diện và Chủ tịch: Toru Yamashita), Fujitsu Limited (Giám đốc đại diện và Chủ tịch: Masami Yamamoto), NEC Corporation (Giám đốc đại diện và Chủ tịch kiêm Giám đốc điều hành: Nobuhiro Endo), Hitachi, Ltd (Giám đốc đại diện và Chủ tịch kiêm Giám đốc điều hành: Sáu công ty: Toshiba Corporation (Chủ tịch và Giám đốc điều hành: Norio Sasaki), SCSK Corporation (Chủ tịch và Giám đốc đại diện: Nobuhide Nakaido), và Tập đoàn Viện Nghiên cứu Liên Đại học, Viện Nghiên cứu Thông tin và Hệ thống, Viện Tin học Quốc gia (Giám đốc: Masao Sakauchi)

(Lưu ý 4) Phần mềm doanh nghiệp
Phần mềm hiện thực hóa chức năng của hệ thống kinh doanh nhằm thực hiện các hoạt động của công ty và hệ thống thông tin hỗ trợ cơ sở hạ tầng xã hội

(Lưu ý 5) Các điểm đã được chỉ ra
Các mục được chỉ ra bởi những người áp dụng tỷ lệ cá cược hôm nay hình thức khi mô tả và xác minh các đặc tính chức năng của tài liệu thiết kế bằng các tỷ lệ cá cược hôm nay hình thức

Thông tin liên hệ về vấn đề này

[Yêu cầu báo chí]	[Các câu hỏi khác]
Công ty cổ phần dữ liệu NTT Phòng quan hệ công chúng Hirakata/Takahashi ĐT: 03-5546-8051	Công ty cổ phần dữ liệu NTT Trụ sở phát triển công nghệ Tsukamoto/Tabata ĐT: 050-5546-8779
Công ty TNHH Fujitsu Trụ sở quan hệ công chúng Văn phòng Quan hệ công chúng và IR Ogawa/Endo ĐT: 03-6252-2174	Công ty TNHH Fujitsu Trụ sở công nghệ chung Ginbayashi ĐT: 03-6424-6276
Tập đoàn NEC Phòng Truyền thông Doanh nghiệp Ueda ĐT: 03-3798-6511	Tập đoàn NEC Phòng Đổi mới Sản xuất Phần mềm Iwasaki ĐT: 03-3798-8405
Hitachi, Ltd Công ty Hệ thống Thông tin và Truyền thông Sở quan hệ công chúng Kikuchi ĐT: 03-5471-8900	Hitachi, Ltd Công ty Hệ thống Thông tin và Truyền thông Trụ sở xúc tiến quản lý dự án Fukuchi ĐT: 03-5471-2942
Tập đoàn Toshiba Văn phòng quan hệ công chúng Yoshimura ĐT: 03-3457-2100	Tập đoàn Toshiba Trung tâm công nghệ phần mềm Hasegawa ĐT: 044-549-2458
tỷ lệ cá cược Phòng quan hệ công chúng Hata/Kamiya ĐT: 03-5166-1150	tỷ lệ cá cược Bộ phận Giải pháp/Kinh doanh chức năng Giải pháp phát triển Trụ sở kinh doanh Phòng phát triển Ueki ĐT: 03-5290-3872
Tập đoàn Viện nghiên cứu liên trường đại học Tổ chức nghiên cứu hệ thống và thông tin Viện Tin học Quốc gia Phòng Kế hoạch Tổng hợp Nhóm quan hệ công chúng Sakauchi ĐT: 03-4212-2164 E-mail:kouhou@niiacjp	Tập đoàn Viện nghiên cứu liên trường đại học Tổ chức nghiên cứu hệ thống và thông tin Viện Tin học Quốc gia Phòng nghiên cứu khoa học kiến trúc Nakajima ĐT: 03-4212-2507
Cơ quan hành chính độc lập Cơ quan xúc tiến công nghệ thông tin Phòng Kế hoạch Chiến lược Nhóm Quan hệ Công chúng Yokoyama/Shiraishi ĐT: 03-5978-7503	Cơ quan hành chính độc lập Cơ quan xúc tiến công nghệ thông tin Trụ sở công nghệ Trung tâm Kỹ thuật Phần mềm Mukaiyama ĐT: 03-5978-7543

*Tất cả tên sản phẩm, tên công ty và tên dịch vụ được liệt kê đều là nhãn hiệu hoặc nhãn hiệu đã đăng ký của mỗi công ty