X
STEN 회원이 되시면 테스팅에 관한 많은 정보와 자료를 공유할 수 있도록 저희가 돕겠습니다.
아이디
패스워드
자동로그인 사용
 
아직 회원이 아니십니까?    
아이디/패스워드를 잊으셨습니까?    

     
   
[세미나 정보 공유] 소프트웨어 품질 향상을 위한 PolySpace와 LDRA 소개
글쓴이 : 게으른엔지니어 날짜 : 09-11-03 16:05 조회 : 6941

안녕하세요,

완전한 테스팅은 아니지만, Code Verification에 대한 새로운 세미나를 알려 드립니다. 관심 있으시면 등록해서 참석하시기 바랍니다.

http://www.mathworks.co.kr/company/events/seminars/seminar40183.html

세미나 개요

PolySpace Client Code Verification

매스웍스코리아에서는 오는

11월 5일 (목) 대전 베스트웨스턴 레전드 호텔

에서 C/C++나 Ada를 이용한 소프트웨어 개발자 중에서 코드 신뢰도 향상에 관심 있는 개발자 및 엔지니어들을 위한

'소프트웨어 품질 향상을 위한 PolySpace와 LDRA 소개'

라는 주제로 세미나를 개최합니다.



PolySpace

는 코드를 컴파일해서 실행시키지 않고 소스 코드에 런타임 에러가 존재 하지 않음을 검증하는 제품입니다. 일반적으로 특정한 버그를 빨리 찾는데 효과적인 정적 분석도구는 버그를 찾은 부분 이외의 코드에 대해서는 아무런 증명을 하지 않지만,

PolySpace

는 런타임 에러가 존재 하지 않음을 증명함과 동시에 런타임 에러를 찾아 줍니다.



이 번 세미나에서는 런타임 에러가 존재하지 않는 것을 증명하는 것이 소프트웨어의 질을 높이기 위한 전체 프로세스에 어떻게 영향을 주는지 알 수 있으며, 버그를 찾는 툴과 코드를 검증하는 툴의 차이점도 이해할 수 있게 됩니다. 또한 PolySpace에 의해서 제공되는 결과를 이용하여, 해석하는 것을 보실 수 있습니다.



특히 이번 세미나에서는, 매스웍스의 PolySpace 관련 주제와 더불어,

'Dynamic Testing 도구로서의 LDRA'

라는 주제로

LDRA를 활용한 동적 테스팅에 관한 내용도 소개

해 드립니다.  



관심 있는 분들의 많은 참가를 부탁 드립니다.

[이 게시물은 스텐님에 의해 2010-03-10 16:20:53 광고및 관련행사 소개에서 이동 됨] [이 게시물은 스텐님에 의해 2010-03-10 16:21:33 테스팅이야기방에서 이동 됨]