王建学
- 作品数：4 被引量：7H指数：2
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于程序分析的通信软件模型驱动测试研究
- 2009年
- 针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型,进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展,对关心的程序路径进行测试覆盖,从而提高测试集合的有效性和完备性。
- 蒋凡章磊陈军成王建学
- 关键词：通信软件
- TSN.1在TD-SCDMA中的应用研究
- 2009年
- 文中分析了TD-SCDMA中现有协议数据单元描述方法及编解码效率方面的一些弊端及问题,结合最新的TSN.1语言规范分析解决相关问题,在此基础上提出一套基于TSN.1的解决方案,并以TD-SCDMA中最基本单元为例从数据描述以及编解码效率两方面进行验证,实践结果表明该方案可以很好地简化TD-SCDMA中数据单元描述以及提高编解码效率。
- 蒋凡陈军成王建学章磊
- 关键词：时分同步码分多址协议数据单元编解码
- TTCN-3语言调试器设计与实现
- 软件调试是软件开发和维护中非常频繁的一项任务,几乎在软件生命周期的每个阶段,都有很多这样那样的问题需要进行调试。在使用TTCN-3语言对指定系统进行测试时,测试套的开发同样遇到这种问题,如何快速找到TTCN-3测试套中的...
- 王建学
- 关键词：TTCN-3
- 文献传递
- TTCN-3语言类型系统到C++语言的翻译方案被引量：6
- 2009年
- 在程序语言翻译技术中,如何有效地减少翻译后的代码数量是一个值得研究的性能问题。综合考虑TTCN-3语言中值和模板的定义和使用,提出一种新的TTCN-3语言到C++语言翻译方案。与现有的翻译方案相比,翻译后的C++代码与原TTCN-3代码比例由1∶20降低到1∶5左右。与此同时,新方案减少了类型信息副本的保存,提高内存的利用效率,更确切地说,提高了TTCN-3语言编译器和执行器的性能。此外,因为翻译后的C++代码与原TTCN-3代码基本一致,这使得代码的可读性得到改善,进而提高代码的可维护性。
- 蒋凡王建学章磊陈军成
- 关键词：翻译
