보고서 제목: 형식 베트365 코리아로부터 자동화된 프로토타입 생성
신고 베트365 코리아8일 오후 3시
신고장소 : 학교본부 컴퓨터동 308호 회의실
기자: 양이롱 박사(마카오베트365 코리아교)
요약:프로토타이핑은 소프트웨어 베트365 코리아 초기 단계에서 오류 발생을 방지하기 위한 요구사항 검증의 효과적이고 효율적인 방법입니다.. 그러나, 소프트웨어 시스템의 프로토타입을 수동으로 베트365 코리아하려면 추가적인 노력이 필요합니다., 소프트웨어 베트365 코리아의 전체 비용이 증가함. 요구사항 검증을 위해 공식 요구사항 모델에서 자동화된 프로토타입 생성을 위해 베트365 코리아된 도구 RM2PT를 사용하는 접근 방식을 제시합니다.. 요구사항 모델은 사용 사례 다이어그램으로 구성됩니다., 개념적 클래스 다이어그램, 시스템 시퀀스 다이어그램 및 시스템 운영 계약에 의해 지정된 사용 사례 정의. 시스템 운영 계약은 OCL의 사전 및 사후 조건 쌍으로 공식적으로 지정됩니다.. 우리는 계약을 실행 가능한 부분과 실행 불가능한 부분으로 분해하기 위한 일련의 변환 규칙이 있는 방법을 제안합니다.. 실행 가능한 부분은 해당 규칙을 적용하여 일련의 기본 작업으로 자동 변환될 수 있습니다., 실행할 수 없는 부분은 규칙으로 변환할 수 없습니다.. RM2PT 도구는 베트365 코리아자가 실행할 수 없는 각 부분에 대한 프로그램 조각을 수동으로 베트365 코리아할 수 있는 메커니즘을 제공합니다., 생성된 프로토타입 소스 코드에 자동으로 연결될 수 있음. 우리는 50개 이상의 사용 사례를 포함한 4개의 사례 연구를 수행했습니다.. 실험 결과는 93.65% 시스템 작업이 실행 가능, 그리고 단 6.35%는 실행할 수 없습니다., 베트365 코리아자가 수동으로 구현하거나 타사 API를 호출하여 구현할 수 있음. 전체, 결과는 만족스럽습니다. 네 가지 사례 연구로 생성된 각 1초 프로토타입에는 숙련된 프로그래머가 약 1일 동안 수동으로 구현해야 합니다.. 베트365 코리아된 CASE 도구를 사용하여 제안된 접근 방식은 요구 사항 엔지니어링을 위한 소프트웨어 산업에 적용될 수 있습니다..
전기:YILONG YANG은 B를 받았습니다.S. 중국 광업기술베트365 코리아 컴퓨터 과학 학위, 중국, 2010년, 엠.S. 귀주베트365 코리아교 학위, 중국, 2013년, 박사.D. 마카오 베트365 코리아교 소프트웨어 공학 학위, 2019년. 그는 국제 소프트웨어 기술 연구소의 연구원이었습니다, 유엔베트365 코리아교, 마카오. 그의 연구 관심 분야는 자동화된 소프트웨어 엔지니어링 및 기계 학습 응용 프로그램입니다..
