SW 고품질을 위한 Model 기반의 SW Visualization (상)

※ 참고: SW 고품질을 위한 Model 기반의 SW Visualization (하)

정형기법의 실제 적용 절차

‘정형기법’의 역사는 1970년대 영국의 Oxford 대학과 Edinburough대학의 수학명제를 자동 증명할 수 있는 증명 개발로부터 시작한다. 특히 소프트웨어 공학에서의 정형 기법(formal methods)은 소프트웨어와 하드웨어 시스템의 명세, 개발, 형식 검증을 위한 특정한 종류의 수학적 기반 기술이다. 그만큼 새로운 기법은 아니라는 뜻도 된다. 하지만 최근 들어 각종 기능안전성(Functional Safety) 관련 국제표준의 권고에 따라 정형기법을 적용해야 하는 소프트웨어가 급격히 증가함에 따라, 효과적인 적용 방법에 대한 관심이 증가되고 있는 상황이다. 그럼에도 불구하고 정형기법(정형명세+정형검증)은 안전최우선(Safety-Critical) 시스템/소프트웨어의 검증(V&V : Verification & Validation) 기법으로서, 적용 대상이 한정되고 비용이 많이 소요되는 특징으로 인해, 그 구체적인 적용 방법과 사례가 널리 알려져 있지 않다. 때문에 여러 다양한 개발 현장에서 정형기법을 실제로 적용할 때 어려운 점이 많아, 건국대학교 유준범 교수로 부터 일반적으로 널리 사용되는 정형기법의 방법/절차에 대한 조언을 구했다.

1. 정형기법의 적용범위 2. 정형기법의 이상적인 적용방법 3. 정형명세 및 정형검증 4. 실제 적용사례

캡션 추가이상적인 정형기법 적용 방법

자세히 보기 →

SW Visualization

SW공학센터는 국내환경에 최적화된 SW공학기술을 연구·적용하여 SW기업의 경쟁력을 높이고자 합니다.

SW Visualization은 효율적인 SW 개발 관리를 통하여 기업의 SW 경쟁력 확보를 지원하기 위한 서비스입니다.
성공적인 SW 개발 관리를 위해서는 명확한 목표수립과 효율적인 수행, 지속적 모니터링 및 통제 활동이 필요합니다.

 SW Visualization은

①품질지표에 의한 명확한 목표수립
②시스템 기반의 효율적인 개발 활동
③시각화를 통한 지속적 모니터링 및 통제를 가능토록하여 성공적인 SW 개발 관리의 기반을 제공합니다.

기업은 SW Visualization을 활용함으로써 SW의 비가시성을 극복하고 SW개발 과정의 투명성을 확보할 수 있습니다. SW 개발 과정의 투명화는 SW 품질 확보 및 SW 품질 문제의 조기 검출을 통한 품질비용 절감으로 기업 경쟁력을 확보할 수 있습니다.

자세히 보기 →