|
영문
|
software safety code analysis
|
|
(영)해석
|
Verification that the safety-critical portions of the design are correctly implemented in the code. See: logic analysis, data analysis, interface analysis, constraint analysis, programming style analysis, noncritical code analysis, timing and sizing analysis, software hazard analysis, system safety.
|
|
국문
|
소프트웨어 안전코드 분석
|
|
(국)해석
|
디자인의 안전평가 부분이 코드안에서 정확하게 수행된다는 것을 검증하는것.
|
|
출처
|
(IEEE)
|
|