• 한국항공우주학회지
• /
• 제42권5호
• /
• pp.398-405
• /
• 2014

내장형 소프트웨어 기술이 항공 및 방위산업과 같은 안전-필수 시스템에 적용됨에 따라 보다 높은 소프트웨어의 신뢰성이 요구되고 있다. 그 중에서 소프트웨어의 무결성은 주로 정적 분석 도구를 이용해 검증이 이뤄지고 있으며 최근에 개발된 정적 분석 도구는 수학적인 분석 방법을 통해 코드의 무결성을 평가하고 있다. 본 연구에서는 정형 검증 도구인 Polyspace를 이용해 자동코드의 결함을 검출하고, 코딩규칙의 준수 여부를 검증하였다. 검증된 결과를 바탕으로 결함을 가진 제어법칙 모델을 수정하여 코드 생성 이전의 원천적인 결함을 제거 가능함을 확인하였고 FBW 헬리콥터 제어법칙 자동생성코드의 무결성을 확보 할 수 있었다.

• 한국콘텐츠학회논문지
• /
• 제9권5호
• /
• pp.61-75
• /
• 2009

통상적으로 데이터베이스 어플리케이션을 구현하는 과정은 ERD(Entity Relationship Diagram)와 프로세스 모델을 산출하는 분석 과정을 거쳐 코딩, 테스팅 (testing)으로 프로젝트를 완성한다. 이 과정에서 가장 정형화되지 못한 부분이 분석과정으로 (1) 고객이 자신이 원하는 시스템의 세부 사항까지 알지 못한다; (2) 고객의 비즈니스 (business) 로직을 개발자가 이해하기 어렵다; (3) 분석 산출물인 ERD와 프로세스 모델을 고객이 이해하기 어렵다 등의 이유 때문이다. 본 논문은 분석 과정을 효과적으로 수행하기 위하여 가장 중요한 분석 산출물인 ERD (Entity Relationship Diagram)를 고객이 이해하기 쉬운 폼 형태로 제시할 것을 제안한다. 이 폼들은 데이터를 입력할 수 있게 하여 고객이 입체적으로 모델을 평가할 수 있어야 하며 분석 과정에서 발견되는 비즈니스 로직을 즉각 구현하여 고객이 이 폼들을 실행하면서 구현되는 로직을 평가, 이해하여 비즈니스 로직을 세부적으로 제공할 수 있게 하여야 한다. 이 목적을 위하여 고객이 제공하는 비즈니스 로직을 폼과 폼끼리의 참조를 포함하는 데이터 플로우(data flow) 형태로 우리의 폼 시스템에서 구현할 수 있어야 한다. 고객은 추상적인 ERD 대신에 데이터를 포함하고, 데이터 플로우 로직이 구현되어 있는 폼들을 실행 시켜 보면서 자신이 제공한 비즈니스 로직을 검토할 수 있으며 새로운 로직을 발견할 수 있다. 이러한 과정을 반복적으로 수행하면서 고객과 개발자는 충분히 세부적이고 모순이 없는 분석 과정을 성공적으로 수행할 수 있게 된다.