王璇
- 作品数：5 被引量：6H指数：2
- 供职机构：装甲兵工程学院信息工程系更多>>
- 发文基金：中国人民解放军总装备部“十五”预研基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 代码自动检测方法研究
- 2005年
- 讨论了传统软件测试方法的缺点和局限性,进而提出了代码自动检测的方法,给出了此类方法可检测到的故障类型。对程序静态分析技术和方法进行了研究,依据该方法设计与开发了软件测试系统。最后给出了实验结果和对比分析。
- 高传平宫云战王璇
- 关键词：软件生存期
- 可变报文格式测试工具设计方法被引量：2
- 2015年
- 可变报文格式(VMF)测试工具旨在发现被测系统中VMF编解码功能的故障,本文设计了一种测试VMF语法规则及部分语义限制符合性的自动化测试工具.设计了测试工具框架,包括VMF数据元素字典、测试任务管理器、测试用例生成器、VMF编解码器、测试报告生成器、格式转换接口等模块;针对编码及解码功能,设计了使用合法及非法测试用例的测试过程;从VMF语法规则、语义规则两个方面分析了测试需求,设计了可基于VMF数据元素字典自动生成的测试用例类型;给出了测试用例的生成方法:首先生成所有测试用例类型中的一种,然后通过修改该类型测试用例的报文内容或报文编码生成其它类型的测试用例,测试用例生成方法为多项式复杂度,有效地避免了组合膨胀.实验结果表明本文设计的测试工具是可行有效的.
- 王璇罗强一陈少卿
- 关键词：软件测试测试用例
- 基于AVR单片机的高精度距离测量技术研究与实现被引量：1
- 2016年
- 激光测距适用于高精度的距离测量。激光测距传感器通过测量激光脉冲的飞行时间,获得与探测目标之间的距离。文中设计采用德国ACAM公司通用TDC系列产品TDC-GP2测量模块,测量距离远、精度高,为激光测距的时间测量提供了完美的解决方法。文中选用AVR单片机作为该设计的核心控制器件,性能高、功耗低,开发周期短,具有较大的实用价值。
- 陈云生李彤吕军王璇
- 关键词：AVR单片机激光测距TDC-GP2
- 非法计算故障的一种静态测试方法被引量：3
- 2006年
- 非法计算是C/C++程序中的常见故障,该类故障极易导致系统崩溃。针对C/C++语言中常见非法计算故障进行了分析,并从面向具体故障的测试思想出发,建立了C/C++语言中非法计算的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。
- 王璇刘涛宫云战
- 关键词：软件测试非法计算
- 基于程序切片的非法计算故障检测方法
- 传统的软件测试方法很难检测出C/C++程序中的非法计算故障,该类故障极易导致系统崩溃。分析了C/C++语言中常见非法计算故障,并从面向具体故障的测试思想出发,建立了C/C++语言中非法计算的故障模型,结合静态测试的特点,...
- 王璇刘娟金丽亚
- 关键词：软件测试程序切片非法计算故障检测
- 文献传递
