论文部分内容阅读
在分析理解Ｃ软件系统中的以若干函数为主的程序部分时，或在重构已有软件系统时，或在复用旧版本中的若干函数时，都需要进行可编译切片的分析。该文描述了针对一组Ｃ函数的可编译切片的定义，以及基于程序宏观结构信息库的可编译切片的分析方法。
C函数可编译切片的分析工具
【摘 要】
：
在分析理解Ｃ软件系统中的以若干函数为主的程序部分时，或在重构已有软件系统时，或在复用旧版本中的若干函数时，都需要进行可编译切片的分析。该文描述了针对一组Ｃ函数的可编译切片
【机 构】
：
科学院软件研究所(北京)
【出 处】
：
'96全国微机应用新技术研讨会
【发表日期】
：
1996年期
其他文献
该文提出了一个验证有限步终止的算术程序正确性的代数方法。其主要思想是将待验证的程序用实数域上的ＢＳＳ计算模型来模拟，然后将其转化为一个多项式代数方程组，从而把程序的正确性
任何鞋服品牌的发展,都有着不同的经营模式,其营销模式也会各异。有些品牌钟爱遍布各个城市闹区的加盟连锁店,有些品牌专注能把控渠道命脉的直营旗舰专卖,更多的品牌则是直营
以微机在模拟集成电路测试中的应用为例，讨论了几种类型的程控电压源、电流源的软硬件实现方法及其应用价值。并设计了一种高精度、大电流、宽电压范围的程控电压源，采用软件方
程序固化是嵌入式实时软件准备运行的重要环节。该文重点研究Intel8086段保护模式可固化程序开工段的设计技术，详细介绍了对段保护模式建立过程中GDT、IDT表R0M区定位及向RAM
程序优化是提高程序运行效率的重要步骤,程序剖析是程序优化的第一步。对于串行语言，程序剖析代码是由编译器通过一个命令行开关自动插入。但是，大部分并行语言编译器都不具有
视觉器官内的加色混合分为静态混合和动态混合,是指参加混合的各单色光,分别刺激人眼的三种感色细胞,产生新的综合颜色感觉。
Visual color mixing within the organ is div
该文提出规范化在开发程序并行性中的必要性，然后描述了ＦＯＲＴＲＡＮ程序的规范化方法，阐明了规范化并行转换系统的意义，最后通过在ＦＡＴ系统中的测试结果，说明了规范化对并行转换系统的具体影响。