도쿄 증권 거래소의 설계 문서를 타겟팅하는 실험을 통해 사설토토 방법의 효과를 보여줍니다

~ DSF는 실험 결과를 기반으로 "공식 방법 활용 안내서"를 완료합니다 ~

사설토토독립 행정 기관 정보 기술 촉진 기관 (이하 IPA라고 불리는*1공식적인 방법 활용 안내서 (이하 "이 가이드"라고 함)를 기반으로 한 공식 방법으로, 이는 신뢰할 수있는 소프트웨어 포럼 (이하 "이 가이드")의 활동의 결과이며, 실제로 도쿄 증권 거래소에서 운영되는 시스템에 대한 설계 문서를 다루고 있습니다.*2응용 시연 실험 (이하 "이 실험")은 2011 년 8 월 공식 방법의 효과를 보여주기 위해 수행되었습니다. IPA는이 실험의 결과를 보고서 (이후 "이 책")에서 컴파일하고 공식 IPA 웹 사이트에 게시합니다.

• IPA 사설토토 웹 사이트

사설토토 DSF는 2009 년부터 실패를 유발하지 않는 소프트웨어 (신뢰할 수있는 소프트웨어)를 실현하기 위해 소프트웨어 개발에 공식적인 방법을 도입하기 위해 활성화되었지만,이 실험 결과에 따라이 안내서는 개정되며 최종 버전은 공식 DSF 웹 사이트에 게시 될 것입니다.

• DSF 사설토토 웹 사이트

사설토토                                                                             *3참여 중입니다.

요약

사설토토DSF는 신뢰할 수있는 소프트웨어를 실현하기 위해 실용적이고 체계적이며 논리적 인 설계 기술을 확립하는 연구 및 개발을 수행하여 소프트웨어로 인한 시스템 실패를 줄이기 위해 노력하고 있습니다. 특히 엔터프라이즈 소프트웨어*4의 분야에서 사설토토 방법을 개발 사이트에 도입하는 데 도움이되는 안내서는 없었으므로 DSF는 일본에서 처음 으로이 안내서를 만들었습니다.이 안내서는 전형적인 사설토토 설명의 사설토토 방법과 예를 적용하는 절차를 요약하고 2011 년 7 월 21 일에 게시했습니다.

사설토토 또한 IPA는 공식적인 방법이 요즘 사용되지 않는 이유는 공식적인 방법이 참조로 적용되는 사례 정보가 부족하기 때문에 2011 년 8 월에 공식적인 방법을 운영중인 시스템 및 특정 인공 작업에 적용하는 효과를 측정하기 위해이 실험을 수행했기 때문이라고 생각합니다.
 구체적으로, 실제로 도쿄 증권 거래소에서 작동하는 시스템에 대해 이미 검토 된 설계 문서에 사설토토적인 방법이 적용될 때, 디자인 문서 검토에서 포인트는 발견되지 않았습니다.*5를 발견 할 수있었습니다. 또한 도쿄 증권 거래소가 설계 문서를 수정 해야하는 것으로 평가 한 포인트의 절반 이상이 구현 및 테스트와 같은 설계 프로세스 후에 이전에 발견되었지만 이번에는 사설토토적인 방법을 사용하여 검사를 통해 설계 프로세스 중에 발견이 가능했으며, 설계 프로세스 후에 발생하는 작업의 재 작업이 줄어들 수 있습니다.
사설토토DSF는이 실험에서 회원으로 참여했으며 실험의 실제 작업을 담당했습니다. 또한, DSF는이 실험 에이 가이드에 대한보다 실용적인 통찰력으로 새롭고 개선 된 절차 및 설명 방법을 통합 할 것이며, 오늘이 안내서의 최종 버전을 활동의 정점으로 발표 할 것입니다.

사설토토사설토토 또한, IPA는이 실험 결과를 지상에 공식적인 방법을 퍼뜨리는 교재에 통합 할 것이며, 개발 현장이 공식적인 방법을 적절하게 사용할 수 있도록 홍보 할 것입니다. 또한, 우리는이 실험과 다른 관점을 포함하여 공식적인 방법에 대한 시연 실험을 계속 수행하고 공식적인 방법을 효과적으로 사용하기 위해 지식 시스템을 구성 할 것입니다.

 이 실험 및이 안내서에 대한 자세한 내용은 첨부 된 시트를 참조하십시오.

• 이 실험 및이 안내서 (PDF 첨부)

*1

Fujie Kazumasa, 정보 기술 프로모션 기관의 회장, 독립 행정 기관

*2

사설토토 방법
수학적 논리를 사용하여 대상 시스템 및 소프트웨어의 기능과 동작을 정확하게 설명하고 체계적으로 검증하는 방법과 기술에 대한 일반적인 용어. 주제를 엄격하게 설명하면 수요, 디자인 또는 누락 된 항목의 모순과 같은 오류가 나타납니다. 또한 도구를 사용하여 제품을 확인함으로써 요구 사항의 불일치, 설계 사양 또는 누락 된 항목과 같은 오류를 감지 할 수 있습니다.

*3

NTT Data Co., Ltd. (CEO : Yamashita Toru), Fujitsu Limited (CEO : Yamamoto Masami), NEC Corporation (CEO : Endo Nobuhiro), Hitachi Co., Ltd. (CEO : Nakanishi Hiroaki), Ltdd. (Toshibi) Norio) 및 Scsk Co., Ltd. (CEO : Nakaido Nobuhide) 및 National Institute of Informatics, National Information and Systems Institute, 대학 공동 사용 기관, 정보 및 시스템 연구 연구소,

*4

엔터프라이즈 소프트웨어
소셜 인프라를 지원하는 기업 활동 및 정보 시스템을 운영하기위한 비즈니스 시스템의 기능을 실현하는 소프트웨어.

*5

시사점
사설토토적인 방법을 사용하여 설계 문서의 기능적 사양을 설명하고 검증했을 때 사설토토적인 방법의 신청자가 지적한 것은 문제입니다.

이 문제에 대한 문의

Ntt Data Co., Ltd.

기술 개발 본부
Tsukamoto/tabata
전화 : 050-5546-8779

Fujitsu Corporation

공통 기술 본사
Ginrin
전화 : 03-6424-6276

NEC Corporation

소프트웨어 생산 혁신 부서
Iwasaki
전화 : 03-3798-8405

토토 사이트.

정보 및 통신 시스템
프로젝트 관리 일반 프로모션 본부
Fukuchi
전화 : 03-5471-2942

Toshiba Co., Ltd.

소프트웨어 기술 센터
Hasegawa
전화 : 044-549-2458

SCSK Inc.

솔루션 및 기능 비즈니스 부서
개발 솔루션 비즈니스 부서, 개발 부서
Plant
전화 : 03-5290-3872

University Joint Use Institution Corporation

정보 및 시스템 연구소
National Institute of Informatics
건축 과학 연구
Nakajima
전화 : 03-4212-2507

정보 기술 프로모션 에이전시

기술 본사
소프트웨어 엔지니어링 센터
Mukuyama
전화 : 03-5978-7543

위