C代码API一致性检验中的等值分析

在实际中对C代码进行API一致性检验的过程中发现，API(application programming interface)规范大都涉及以数值为论域的时序性质与在静态分析过程中所能获取的以变量符号为占位符的独立语义之间存在分析上的缺口．在仔细考察c代码变量符号间等值关系的基础上，给出基于值等价类空间的等值分析方法．这种流相关的分析方法不仅可以在API一致性检验的过程中维护变量符号域和数值域之间的对应关系，而且由于能够屏蔽等值关系以外的其他信息，还可以为后继分析的优化提供有力的支持．

分布事务服务的一致性测试

作为J2EE应用服务器重要组成部分的分布事务管理器主要用于提供分布环境下的事务处理能力。文章拓宽了协议一致性测试的理论和技术的应用范围，探讨了分布事务服务的一致性测试，也给出了分布事务服务的形式化描述和非荃于经验的测试序列的生成方案。

藏文字库标准符合性自动检测方案设计与实现

软件产品的标准符合性测试是衡量产品质量与性能的重要方法。本文根据藏文字符集标准与字型标准，按软件产品的可用性原则．分析与定义了藏文字库标准符合性检测的含义与内容。本文提出了实施藏文字库标准符合性测试的方案与算法，实现了藏文字库测试程序。测试结果表明本文的检测方案可行、完整，也为其他文字的字库标准符合性检测提供了很好的途径。