万博1manbetxSimulink代码检查员
안전표준을위한소스코드검토를자동화할수있습니다
万博1manbetxSimulink的代码检查™는생성된코드를자동으로소스모델과비교하여DO-178을비롯한기타고무결성표준의코드검토요건을충족할수있습니다。万博1manbetxSimulink的代码检查는또한모델의블록，상태다이어그램，파라미터및설정을체계적으로검사하여그것이생성된코드의연산，연산자，데이터와구조적으로동등한지확인할수있습니다。万博1manbetxSimulink的代码检查는상세한모델 - 코드및코드 - 모델추적분석을제공합니다。생성된구조적동등성및추적보고서를인증당국에제출하여DO-178소프트웨어코딩검증요건을충족할수있습니다。
DO资格的试剂盒（DO-178和DO-254）를통해업계표준역시지원가능합니다。
시작하기：
万博1manbetxSimulink的代码检查™는고무결성시스템모델에사용되는제약조건이적용된모델링구문세트와코드최적화를지원합니다。万博1manbetxSimulink的代码检查가제공하는호환성검사기를통해모델이제약조건이적용된세트를준수하는지확인할수있습니다。
호환성검사는Si万博1manbetxmulink的代码检查사용자인터페이스에서대화형방식으로실행하거나MATLAB®명령을사용하여프로그래밍방식으로실행할수있습니다。모델에서비호환으로식별된블록및기타부분들을참조모델안에배치한다음Simulink的代码检万博1manbetx查가코드검사중에호환되지않는참조된모델을생략하도록구성할수있습니다。그런다음자동으로검토되지않은모델에대해수동코드검사를수행할수있습니다。
万博1manbetxSimulink的代码检查의사용자인터페이스（왼쪽）와모델호환성검사결과（오른쪽）。
코드검사는코드생성과독립적으로진행됩니다。万博1manbetxSimulink的代码检查는기본적으로코드가이미생성되었다고가정합니다。단，代码检查가코드검사공정의일부로코드를생성하도록구성할수는있습니다。생성된소스코드파일의위치（예：프로덕션빌드공정에서사용된위치등）를지정할수도있습니다。검사는사용자인터페이스나명령줄을통해호출할수있습니다。
万博1manbetxSimulink的代码检查는코드검사에서다음과같은일반범주를검토합니다。
- 모델인터페이스
- 블록동작
- 블록연결및실행순서
- 데이터및파일패키징
- 지역변수및기능모델요소
구체적으로수행되는분석은하이레벨인터페이스평가（예：초기화및계단함수가생성되었는지여부）에서부터상세한블록실행순서분석을통해두블록구성요소사이의데이터종속성이생성된코드에도보존되어있는지확인하는작업까지다양합니다。
검사상태메시지는MATLAB에서직접검토할수도있고상세한보고서에서검토할수도있습니다。보고서에는다음섹션에서설명하듯이설계개체로연결되는대화형링크와상세한추적분석이포함됩니다。
MATLAB명령을사용한성공적인（검증된）코드검사。
万博1manbetx仿真软件代码检查员를사용하여상세한코드검사결과를포함하는보고서를생성할수있습니다。보고서를저장할위치를직접지정할수있으므로보고서를손쉽게보관하고완전한인증패키지에포함시킬수있습니다。검사보고서는모델체크섬,경로이름,날짜/시간스탬프를사용하여검토된소스코드와정확한모델을식별한다음수행된검증결과의요약과각항목의상태(예:검증됨,부분적으로검증됨,실패등)를제공합니다。상세정보섹션에서는모든파일,함수,및생성된코드의행에대한검증결과를보여줍니다。
추적상세정보는다음과같습니다。
- 함수인터페이스검증
- 모델 - 코드검증
- 코드 - 모델검증
- 임시변수사용
추적세부정보는다음과같습니다。
- 모델——코드추적
- 코드 - 모델추적
코드 - 모델검증을보여주는S万博1manbetximulink的代码检查상세보고서。
RTCA / DO-178항공시스템및장비인증분야의소프트웨어고려사항표준에는소스코드검증의요건이명시되어있습니다。万博1manbetxSimulink的代码检查에서제공하는자동화된코드검사를사용하면아래표에나와있는DO-178소스코드검증요건을충족하는데필요한시간을단축할수있습니다。요건（3）소스코드의검증이가능함은S万博1manbetximulink的代码检查와Polyspace Bug的搜索™에서제공하는MISRA C®분석기를사용하여완전히충족할수있습니다。요건（4）소스코드가표준을준수함은Polyspace错误查找程序에서제공하는MISRA C분석기와같은툴을사용하여충족할수있습니다。万博1manbetxSimulink的代码检查및波尔盖斯®제품을위한툴적합성검증은DO资格的试剂盒（DO-178和DO-254）를통해지원됩니다。
万博1manbetxSimulink的代码检查와호환되는DO-178C요건
| 부록一个표 | 요건 | 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에대한모델기반개발및검증보충자료
**컴파일러및목적코드분석이필요한요건은포함하지않습니다。
DO资格套件。
