程序行为和性能分析的限定函数法| IEEE期刊和杂志| IEEE Xplore