| 1 |
1
API(Application Program Interface)의 호출순서에 따른 제약사항 및 시스템(Operating System; OS)의 형상과 관련된 제약사항을 수신하여, 오토마타로 표현된 제약사항 모델을 생성하는 단계;소프트웨어 개발자에 의해 입력되는 소스코드에 나타나는 API 호출을 상기 제약사항 모델에 전이하여, 상기 API 호출의 정당성을 실시간으로 검증하는 단계; 및상기 API가 상기 제약사항 모델의 제약사항을 위배하는 경우, 위배된 API를 사용자에게 보고하는 단계를 포함하는, API 호출 정당성의 자동검증 방법
|
| 2 |
2
제1항에 있어서, 상기 위배된 API를 사용자에게 보고하는 단계는,상기 위배된 API에 따른 오류를 수정하기 위한 조치를 추천하는 단계를 더 포함하는, API 호출 정당성의 자동검증 방법
|
| 3 |
3
제1항에 있어서, 상기 위배된 API를 사용자에게 보고하는 단계는,상기 위배된 API에 밑줄, 색 변화, 플리커(flicker), 팝업 메시지 중 적어도 하나를 통해 오류를 표시하는, API 호출 정당성의 자동검증 방법
|
| 4 |
4
제1항에 있어서, 상기 API 호출의 정당성을 실시간으로 검증하는 단계는,상기 소스코드에 나타나는 API를 추출하는 단계; 및상기 소스코드에 나타나는 API와 상기 제약사항 모델의 오토마타를 비교하는 단계를 포함하는, API 호출 정당성의 자동검증 방법
|
| 5 |
5
제1항에 있어서,상기 API의 호출순서에 따른 제약사항 및 상기 시스템의 형상과 관련된 제약사항은 미리 정의된 제약사항을 수신하는, API 호출 정당성의 자동검증 방법
|
| 6 |
6
제1항에 있어서,상기 API의 호출순서에 따른 제약사항 및 상기 시스템의 형상과 관련된 제약사항은 사용자로부터 입력 받는, API 호출 정당성의 자동검증 방법
|
| 7 |
7
제1항에 있어서, 상기 오토마타로 표현된 제약사항 모델을 생성하는 단계는,상기 API의 호출순서에 따른 제약사항 또는 상기 시스템의 형상과 관련된 제약사항이 추가로 입력되는 단계; 및추가된 상기 제약사항을 반영하여 오토마타로 표현된 제약사항 모델을 업데이트하는 단계를 더 포함하는, API 호출 정당성의 자동검증 방법
|
| 8 |
8
제1항에 있어서,상기 소스코드는 차량 전장용 소프트웨어 개발을 위한, API 호출 정당성의 자동검증 방법
|
| 9 |
9
제1항에 있어서,통합 개발 환경(Integrated Development Environment, IDE)에서 자동완성(content assist) 기능으로 동작하는, API 호출 정당성의 자동검증 방법
|
| 10 |
10
제1항 내지 제9항 중 어느 하나의 항에 따른 API 호출 정당성의 자동검증 방법을 수행하기 위한, 컴퓨터 프로그램이 기록된 컴퓨터로 판독 가능한 기록 매체
|
| 11 |
11
API(Application Program Interface)의 호출순서에 따른 제약사항 및 시스템(Operating System; OS)의 형상과 관련된 제약사항을 수신하여, 오토마타로 표현된 제약사항 모델을 생성하는 제약사항 모델 형성부;소프트웨어 개발자에 의해 입력되는 소스코드에 나타나는 API 호출을 상기 제약사항 모델에 전이하여 상기 API 호출의 정당성을 실시간으로 검증하는 API 호출 정당성 검증부; 및상기 API가 상기 제약사항 모델의 제약사항을 위배하는 경우, 위배된 API를 사용자에게 보고하는 경고 발생부를 포함하는, API 호출 정당성의 자동검증 장치
|
| 12 |
12
제11항에 있어서, 상기 경고 발생부는,상기 위배된 API에 따른 오류를 수정하기 위한 조치를 추천하는, API 호출 정당성의 자동검증 장치
|
| 13 |
13
제11항에 있어서, 상기 경고 발생부는,상기 위배된 API에 밑줄, 색 변화, 플리커(flicker), 팝업 메시지 중 적어도 하나를 통해 오류를 표시하는, API 호출 정당성의 자동검증 장치
|
| 14 |
14
제11항에 있어서, 상기 API 호출 정당성 검증부는,상기 소스코드에 나타나는 API를 추출하고, 상기 소스코드에 나타나는 API와 상기 제약사항 모델의 오토마타를 비교하는, API 호출 정당성의 자동검증 장치
|
| 15 |
15
제11항에 있어서, 상기 제약사항 모델 형성부는,미리 정의된 상기 API의 호출순서에 따른 제약사항 및 상기 시스템의 형상과 관련된 제약사항을 수신하는, API 호출 정당성의 자동검증 장치
|
| 16 |
16
제11항에 있어서, 상기 제약사항 모델 형성부는,상기 API의 호출순서에 따른 제약사항 및 상기 시스템의 형상과 관련된 제약사항을 사용자로부터 입력 받는, API 호출 정당성의 자동검증 장치
|
| 17 |
17
제11항에 있어서, 상기 제약사항 모델 형성부는,상기 API의 호출순서에 따른 제약사항 또는 상기 시스템의 형상과 관련된 제약사항이 추가되면, 추가된 상기 제약사항을 반영하여 오토마타로 표현된 제약사항 모델을 업데이트하는, API 호출 정당성의 자동검증 장치
|
| 18 |
18
제11항에 있어서,상기 소스코드는 차량 전장용 소프트웨어 개발을 위한, API 호출 정당성의 자동검증 장치
|
| 19 |
19
제11항에 있어서,통합 개발 환경(Integrated Development Environment, IDE)에서 플러그인으로 제작된, API 호출 정당성의 자동검증 장치
|
| 20 |
20
제19항에 있어서,상기 통합 개발 환경에서 자동완성(content assist) 기능을 제공하는, API 호출 정당성의 자동검증 장치
|
