맞춤기술찾기

홈으로 가기
맞춤기술찾기
이전대상기술
프린트하기

이전대상기술

소프트웨어의 검증 방법 및 소프트웨어 검증 방법이 기록된 기록 매체

  • 기술번호 : KST2014027874
  • 담당센터 : 경기기술혁신센터
  • 전화번호 : 031-8006-1570
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 소프트웨어의 개발 단계에서 소프트웨어의 비기능적 요구사항을 검증할 수 있는 소프트웨어의 검증 방법 및 소프트웨어 검증 방법이 기록된 기록 매체가 개시된다. 먼저, 하드웨어 및 소프트웨어로 구성된 시스템을 계층형 큐잉 페트리 넷으로 모델링 하고, 모델링된 계층형 큐잉 페트리 넷을 마코프 체인으로 변환한 후, 변환된 마코프 체인에 리워드율을 적용하여 마코프 리워드 모델로 변환하고, 마코프 리워드 모델에 기초하여 소프트웨어의 가용성을 계산한다. 따라서, 소프트웨어의 개발 단계에서 소프트웨어의 비기능적 요소를 검증할 수 있고, 이로인해 소프트웨어의 개발 효율성을 증가시킬 수 있다. 소프트웨어, 비기능, 가용성, HQPN, MC, MRM
Int. CL G06F 17/00 (2006.01) G06F 9/06 (2006.01) G06F 9/44 (2006.01)
CPC G06F 11/3604(2013.01) G06F 11/3604(2013.01) G06F 11/3604(2013.01)
출원번호/일자 1020090015590 (2009.02.25)
출원인 성균관대학교산학협력단
등록번호/일자 10-1038849-0000 (2011.05.27)
공개번호/일자 10-2010-0096621 (2010.09.02) 문서열기
공고번호/일자 (20110602) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2009.02.25)
심사청구항수 12

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 성균관대학교산학협력단 대한민국 경기도 수원시 장안구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 이은석 대한민국 경기도 성남시 분당구
2 윤현상 대한민국 서울특별시 구로구
3 이준훈 대한민국 경기도 수원시 장안구
4 조병일 대한민국 경기도 수원시 장안구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 특허법인이상 대한민국 서울특별시 서초구 바우뫼로 ***(양재동, 우도빌딩 *층)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 성균관대학교산학협력단 대한민국 경기도 수원시 장안구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application		 2009.02.25 수리 (Accepted) 1-1-2009-0115821-45
2 선행기술조사의뢰서
Request for Prior Art Search		 2009.12.02 수리 (Accepted) 9-1-9999-9999999-89
3 선행기술조사보고서
Report of Prior Art Search		 2010.01.15 수리 (Accepted) 9-1-2010-0004880-25
4 의견제출통지서
Notification of reason for refusal		 2010.09.24 발송처리완료 (Completion of Transmission) 9-5-2010-0421209-27
5 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment		 2010.11.23 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2010-0765323-56
6 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)		 2010.11.23 수리 (Accepted) 1-1-2010-0765354-61
7 등록결정서
Decision to grant		 2011.05.24 발송처리완료 (Completion of Transmission) 9-5-2011-0278183-41
8 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2012.04.26 수리 (Accepted) 4-1-2012-5090770-53
9 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2012.06.20 수리 (Accepted) 4-1-2012-5131828-19
10 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2012.06.27 수리 (Accepted) 4-1-2012-5137236-29
11 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2017.02.23 수리 (Accepted) 4-1-2017-5028829-43
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
하드웨어 및 소프트웨어로 구성된 시스템을 계층형 큐잉 페트리 넷으로 모델링 하는 단계; 상기 모델링된 계층형 큐잉 페트리 넷을 마코프 체인으로 변환하는 단계; 상기 변환된 마코프 체인에 리워드율을 적용하여 마코프 리워드 모델로 변환하는 단계; 및 상기 마코프 리워드 모델에 기초하여 상기 소프트웨어의 가용성을 계산하는 단계를 포함하는 소프트웨어의 검증 방법
2 2
제1항에 있어서, 상기 하드웨어 및 소프트웨어로 구성된 시스템을 계층형 큐잉 페트리 넷으로 모델링 하는 단계는, 상기 시스템의 컴포넌트 및/또는 리소스를 플레이스(place) 및 토큰(token)으로 모델링하는 단계; 상기 시스템에서 처리되는 작업부하(workload)들을 모델링하는 단계; 상기 시스템 컴포넌트 상호간의 트랜잭션(transaction) 및/또는 상기 트랜잭션의 프로세싱을 모델링하는 단계; 및 상기 플레이스에 포함된 토큰의 수, 토큰의 서비스 시간, 플레이스들 상호간의 트랜지션(transition)의 파이어링(firing) 가중치, 파이어링 딜레이값 중 적어도 하나의 파라미터를 결정하는 단계를 포함하는 것을 특징으로 하는 소프트웨어의 검증 방법
3 3
제2항에 있어서, 상기 시스템의 컴포넌트 및/또는 리소스를 플레이스 및 토큰으로 모델링하는 단계는, 상기 시스템의 자원들을 능동적인 자원과 수동적인 자원으로 구분하고 능동적인 자원은 상기 플레이스로 표현하고, 수동적인 자원은 상기 토큰으로 표시하는 것을 특징으로 하는 소프트웨어의 검증 방법
4 4
제3항에 있어서, 상기 시스템에서 처리되는 작업부하들을 모델링하는 단계는, 상기 작업부하들의 컴포넌트들을 토큰으로 모델링한 후, 각 작업부하의 트랜잭션 또는 트랜잭션의 프로세싱 단계인 서브트랜잭션을 구분하기 위해 상기 모델링된 토큰에 서로 다른 식별정보를 부여하는 것을 특징으로 하는 소프트웨어의 검증 방법
5 5
제3항에 있어서, 상기 시스템 컴포넌트 상호간의 트랜잭션(transaction) 및/또는 상기 트랜잭션의 프로세싱을 모델링하는 단계는, 상기 플레이스들 사이에 트랜지션(transition)을 배치하여 표시하는 것을 특징으로 하는 소프트웨어의 검증 방법
6 6
삭제
7 7
제2항에 있어서, 상기 하드웨어 및 소프트웨어로 구성된 시스템을 계층형 큐잉 페트리 넷으로 모델링 하는 단계는, 상기 시스템이 계층형 큐잉 페트리 넷으로 모델링된 후, 상기 모델링된 계층형 큐잉 페트리 넷에 상기 시스템의 비가용적 상태를 의미하는 토큰의 유출을 적용하여 상기 모델링된 계층형 큐잉 페트리 넷을 변경하는 단계를 포함하는 것을 특징으로 하는 소프트웨어의 검증 방법
8 8
제7항에 있어서, 상기 하드웨어 및 소프트웨어로 구성된 시스템을 계층형 큐잉 페트리 넷으로 모델링 하는 단계는, 상기 토큰의 유출이 적용됨에 상응하여 상기 플레이스에 포함된 토큰의 수, 토큰의 서비스 시간, 플레이스들 상호간의 트랜지션의 파이어링 가중치, 파이어링 딜레이값 중 적어도 하나의 파라미터를 조정하는 단계를 더 포함하는 것을 특징으로 하는 소프트웨어 검증 방법
9 9
제1항에 있어서, 상기 모델링된 계층형 큐잉 페트리 넷을 마코프 체인으로 변환하는 단계는, 상기 계층형 큐잉 페트리 넷으로부터 상기 시스템의 초기상태에서 마킹 공간 및 초기 생성자 행렬을 구하는 단계; 상태 전이에 기초하여 상기 초기 생성자 행렬을 생성자 행렬로 변경하는 단계; 및 상기 마킹 공간 및 상기 생성자 행렬에 기초하여 마코프 체인을 생성하는 단계를 포함하는 소프트웨어의 검증 방법
10 10
제9항에 있어서, 상기 상태 전이에 기초하여 상기 초기 생성자 행렬을 생성자 행렬로 변경하는 단계는, 상기 상태 전이가 이미디에이트 트랜지션(immediate transition)인 경우에는 파이어링 가중치를 통해 상기 생성자 행렬을 구하고, 상기 상태 전이가 타임드 트랜지션(timed transition)인 경우에는 입력 대기율(input latency)을 통해 상기 생성자 행렬을 구하는 것을 특징으로 하는 소프트웨어의 검증 방법
11 11
제1항에 있어서, 상기 변환된 마코프 체인에 리워드율을 적용하여 마코프 리워드 모델로 변환하는 단계는, 상기 마코프 체인의 상태를 가용적 상태와 비가용적 상태로 구분하는 단계; 상기 가용적 상태에는 리워드율 1을 부과하고, 상기 비가용적 상태에는 리워드율 0을 부과하는 단계를 포함하는 소프트웨어의 검증 방법
12 12
제1항에 있어서, 상기 마코프 리워드 모델에 기초하여 상기 소프트웨어의 가용성을 계산하는 단계는, 수학식 (여기서,는 정상상태에서 기대 리워드율을 의미하고, 는 상태 i에서의 리워드율을 의미하며, 는 정상상태에서 상태 i의 확률 벡터를 의미한다
13 13
소프트웨어의 검증을 수행하는 디지털 처리 장치에 의해 실행될 수 있는 명령어의 프로그램이 유형적으로 구현되어 있으며, 상기 디지털 처리 장치에 의해 판독될 수 있는 프로그램을 기록한 기록매체에 있어서, 시스템이 모델링된 계층형 큐잉 페트리 넷을 마코프 체인으로 변환하는 단계; 상기 변환된 마코프 체인에 리워드율을 적용하여 마코프 리워드 모델로 변환하는 단계; 및 상기 마코프 리워드 모델에 기초하여 소프트웨어의 가용성을 계산하는 단계를 수행하는 프로그램을 기록한 기록매체
지정국 정보가 없습니다
패밀리정보가 없습니다
국가 R&D 정보가 없습니다.