1) TDPR Trace Directed Program Restructuring
痕迹导向的程序重构
2) Original Design Manufacture (ODM)
程序导向
3) process-oriented restructuring
面向过程的重构
4) program restructuring
程序重构
1.
In order to cope with the problem,that is,the currently available software model checker can hardly deal with large-scale software,it is proposed to use the technique of program restructuring to pre-process the source code,so as to enhance the efficiency of software model checking.
针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率。
5) reconfiguration program
重构程序
补充资料：痕迹
痕迹
又称"原始痕迹。"泛指原始抗原的一次刺激能使机体留下深刻而牢固印象的现象。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条