实时软件的时序分析 电子书下载

原名:Timing Analysis of Real-Time Software
作品简介:格勒诺布尔，QA\’09。 7. 路径问题。 • 路径问题：计算程序的（内）可行路径的描述或枚举。 • 任何强力方法（例如使用所有可能的输入数据执行或模拟程序）都是棘手的。 （输入数据的不同值是ev……