일본 카지노 제목 : 공식 요구 사항 모델에서 자동화 된 프로토 타입 생성
일본 카지노 시간 : 2019 년 6 월 18 일 오후 3시
보고서 위치 : 회의실 308, 컴퓨터 건물, 일본 카지노 본부
화자 : Dr. Yang Yilong (Macau University)
초록 : 프로토 타이핑은 소프트웨어 개발 초기 단계에서 오류를 도입하지 않기 위해 효과적이고 효율적인 요구 사항 검증 방법입니다. 그러나 소프트웨어 시스템의 프로토 타입을 수동으로 개발하려면 추가 노력이 필요하므로 소프트웨어 개발의 전반적인 비용이 증가 할 것입니다. 우리는 요구 사항 검증을위한 공식 요구 사항 모델에서 개발 된 도구 RM2PT와 자동화 된 프로토 타입 생성에 대한 접근 방식을 제시합니다. 요구 사항 모델은 사용 사례 다이어그램, 개념적 클래스 다이어그램, 시스템 시퀀스 다이어그램으로 지정된 사용 사례 정의 및 시스템 작업 계약으로 구성됩니다. 시스템 운영 계약은 OCL의 한 쌍의 사전 및 사후 조건에 의해 공식적으로 지정됩니다. 우리는 계약을 실행 가능한 부품 및 실행 불가능 부품으로 분해하는 일련의 변환 규칙이있는 방법을 제안합니다. 실행 가능 부품은 해당 규칙을 적용하여 일련의 원시 작업으로 자동 변환 될 수 있으며, 규칙에 따라 실행 불가능한 부분을 변환 할 수 없습니다. 도구 RM2PT는 개발자가 수동으로 실행 불가능한 부품에 대한 프로그램 조각을 개발할 수있는 메커니즘을 제공하며, 이는 생성 된 프로토 타입 소스 코드에 자동으로 연결될 수 있습니다. 우리는 50 개가 넘는 사용 사례로 4 개의 사례 연구를 수행했습니다. 실험 결과는 93.65% 시스템 운영이 실행 가능하며 6.35%만이 실행 불가능하며 개발자가 수동으로 구현하거나 타사 API를 호출 할 수 있음을 보여줍니다. 전반적으로 결과는 만족됩니다. 4 개의 사례 연구의 1 초 생성 프로토 타입은 숙련 된 프로그래머가 약 1 일의 수동 구현이 필요합니다. 개발 된 사례 도구와 함께 제안 된 접근 방식은 요구 사항 엔지니어링을 위해 소프트웨어 산업에 적용 할 수 있습니다.
전기 : Yilong Yang은 B.S.를 받았습니다. 중국 광업 기술 대일본 카지노에서 컴퓨터 과학 학위, 2010 년 M.S. 2013 년 중국의 기숙해 대일본 카지노 학위, 박사 학위 2019 년 마카오 대일본 카지노 (University of Macau)와 소프트웨어 공학 학위를 받았으며, 그는 유엔 대학의 국제 소프트웨어 기술 연구소 (International Institute for Software Technology)와 동료로 재직했습니다. 그의 연구 관심사는 자동화 된 소프트웨어 엔지니어링 및 머신 러닝 응용 프로그램입니다.
