金宝appSimulink代码检查员
안전안전표준을위한위한소스코드를를자동화할수
金宝appSimulink代码Inspector™는생성된코드를자동소스모델과비교하여do-178을을비롯한기타고무결성의코드검토요건을을할수수수수金宝appSIMULINK代码检查员는또한모델의블록，상태다이어그램，파라미터및설정을체계적으로사하여그것이생성된된의의，연산자，데이터와와구조으로동등한지확인할수수적한지확인할수수金宝appSimulink Code Inspector는상세한모델 - 코드및코드 - 모델추적분석을제공합니다。생성된구조적동등성및추적보고서를인증당국에제출하여DO-178소프트웨어코딩검증요건을충족할수있습니다。
做资格套件（对于DO-178和DO-254）를통해업계표준역시지원가능합니다。
시작하기：
金宝appSimulink代码Inspector™는는결성시스템모델사용되는제약조건이적용된모델링구문세트와최적를지원합니다와최적를지원합니다。金宝appSimulink代码检查员登录통해모델이제약모델이적용조건이적용된세트를준수확인할있습니다。
호환성호환성사는金宝appsimulink代码检查员照片인터페이스에서에서대화형방식으로실행하거나실행하거나하거나하거나하거나®명령을사용하여하여프로그래밍방식방식으로실행수수수00金宝app
金宝appSimulink代码检查员의사용자인터페이스（왼쪽）와모델호환성호환성사결과（오른쪽）。
코드코드사는는는코드생성과독립적진행진행진행진행진행진행金宝appSimulink代码检查员는기본적으로코드가이미생성되었다고가정합니다。단，代码侦察员가코드코드사공정의일부로일부로를를생성하도록할수는있습니다있습니다수는수는생성생성된소스코드파일파일위치（예：프로덕션프로덕션공정에서사용된된위치）를지정할수도。검사는사용자인터페이스나명령줄을호출할수있습니다。
金宝appSimulink代码检查员는는코드사에서다음과같은같은일반를검토검토검토합니다검토검토
- 모델모델이스
- 블록동작
- 블록연결및실행순서
- 데이터및및파일
- 지역변수및기능모델요소
구체적으로수행되는분석은은이레벨인터페이지평가（예초기화계단함수가생성되었는지여부상세한블록실행순서을통해두두구성요소사이의의이터종속성이생성된코드에도종속성되어하는하는까지다양합니다。
검사상태메시지는matlab에서직접검토할수도있고보고서에서검토할수도있습니다。하듯에는다음섹션설명설명이설계개체로연결되는대화형상세한추적분석이포함포함。
Matlab명령을사용한성공적（검증된）코드코드사。
金宝appSimulink代码检查员를사용하여상세한코드사결과를포함하는보고서를생성수수있습니다수있습니다있습니다있습니다있습니다있습니다있습니다있습니다있습니다수수수있습니다수수있습니다수수있습니다수수수있습니다수수있습니다수검사보고서는체크섬，경로이름，날짜/시간스탬프를를하여된소스코드와정확모델을식별다음수행수행검증의요약과각항목의의의의（예：검증됨，부분적으로검증，실패등）를제공합니다。상세，및및생성된코드의행에대한검증결과를보여보여보여에에정보검증에서모든모든보여에에정보검증검증는보여보여
추적상세정보는다음과같습니다。
- 함수함수이스검증
- 모델 - 코드검증
- 코드 - 모델검증
- 임시변수照片
추적세부정보는다음과같습니다。
- 모델 - 코드추적
- 코드 - 모델추적
코드 - 모델검증을보여주는S金宝appimulink代码检查员상세상세。
RTCA / DO-178항공항공시스템및장비장비인증분야의소프트웨어照片표준에는소스코드검증의이명시되어있습니다。金宝appSIMULINK代码检查员에서제공하는자동화된코드검사를사용하면표나와있는do-178요건（3）소스코드의검증이가능함은i金宝appmulink代码检查员와Polyspace Bug Finder™에서제공하는misra c®분석기를사용하여완전히충족할수있습니다。요건（4）소스코드가표준을준수함은Polyspace Bug Finder에서에서제공ismra c분석기와같은을사용하여할수있습니다。金宝appSimulink代码检查员및波尔盖斯®제품제품을위한툴툴적합성검증做资格套件（对于DO-178和DO-254）를통해지원됩니다。
金宝appSimulink代码检查员와와호환DO-178C요건
| 부록a표 | 요건 | do-331참조* | 소프트웨어수준 |
|---|---|---|---|
| 표MB A-5 | （1）소스소스가로우레벨요구사항을을 | 섹션MB 6.3.4a. | A，B，C |
| 표MB A-5 | （2）소스코드가소프트웨어아키텍처를준수함 | 섹션MB 6.3.4b. | A，B，C |
| 표MB A-5 | （3）소스코드의검증이가능함 | 섹션MB 6.3.4C. | A，B |
| 표MB A-5 | （5）소스소스를로우레벨사항으로으로추적할수수 | 섹션MB 6.3.4e. | A，B，C |
| 표MB A-5 | （6）소스코드가정확정확하고일관성** | 섹션MB 6.3.4f. | A，B，C |
* do-331，do-178c및do-278a에대한모델기반개발및보충자료
**컴파일러및목적코드분석이필요한요건은포함하지않습니다。
做资格套件。
코드생성설정
비활성비활성화제거함수함수및재설정제거함수의사항제거
金宝appsimulink블록
열거형열거형이터형을위한가블록블록，单位转换블록의의가단위변환
matlab功能블록
함수호출출력및내장标志那DEG2RAD.，和Rad2deg지원
코드생성최적화
더더많은최적화화를위한코드사지원
위위기능과해당함수함수에대한내용내용릴리스정보를를하십시오。
