1) source program dynamic analysis
源程序动态分析
2) dynamically analyzing of program
程序动态分析
1.
In this paper,the notation and method of design by contract was described,then the process and the train of thought of dynamically analyzing of program based on the con- tract was sho.
在当今信息社会中,程序质量是一个具有重要意义的热点问题,基于契约的程序设计是提高程序质量的重要且有效的技术,但是形式化契约的制定是一件十分困难的工作,因此软件质量保证问题一直是令人困扰的难题,本文介绍契约式程序设计的基本概念与方法,并在此基础上,提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例,从一种新的维度来思考保障软件质量的方法。
3) dynamic program profile
动态程序分析图
4) dynamic analyzer
动态分析器，动态分析程序
5) temperature programmed dynamic analysis
程序控温动态分析
6) Dynamic Analysis of Concurrent Program
并发程序动态分析
补充资料：源程序
分子式：
CAS号：
性质：用源语言如FORTRAN、BASIC等语言编写的程序。源语言是指可以导出另一种语言的语言，它所产生的语言称为目标语言。对于计算机操作而言，必须将源语言编写的程序编译成目标程序。
CAS号：
性质：用源语言如FORTRAN、BASIC等语言编写的程序。源语言是指可以导出另一种语言的语言，它所产生的语言称为目标语言。对于计算机操作而言，必须将源语言编写的程序编译成目标程序。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条