施小纯
- 作品数：3 被引量：17H指数：2
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：中国科学院知识创新工程国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于UPPAAL的TD-SCDMA随机接入过程的形式化建模与分析
- 对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的第三代移动通信标准.尽管TD-SCDMA的无线传输方案使得通信网络...
- 施小纯张海旸
- 关键词：UPPAALTD-SCDMA随机接入过程形式化建模无线传输技术
- 文献传递
- 关于蜕变测试和特殊用例测试的实例研究(英文)被引量：15
- 2005年
- 提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutationscore和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.
- 吴鹏施小纯唐江峻林惠民陈宗岳
- 关键词：软件测试
- 基于反例搜索的启发式模型检测算法的研究
- 模型检测技术是最近二十年来最成功的自动验证技术之一,目前已经被广泛地应用于有穷状态系统(包括电路设计和通信协议)的分析与验证.由于这一技术是基于对状态空间的穷尽搜索,'状态爆炸'问题一直是制约其在实际系统中应用的主要技术...
- 施小纯
- 关键词：形式化方法线性时序逻辑遗传算法启发式信息
- 文献传递
