Dataflow-state matrix is extracted for each instruction, based on the matrix, paths are classified into functional untestable paths ( FUPs) and potential functional testable paths ( PFTPs). The potential test instructions for PFTPs are stored and the control and data constraints are extracted.
对于每条指令提取出状态矩阵,并基于状态矩阵将通路分为功能不可测(FUPs)和潜在功能可测的(PFTPs)。
Control Instruction Design for Large Airspace Maneuvering Anti-ship Missile Longitudinal Channel Attitude Control
大空域机动反舰导弹纵向通道姿态控制指令设计
英语网 · 双语娱乐资讯