王彩
- 作品数：3 被引量：6H指数：1
- 供职机构：成都东软学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 实用测试用例书写规范
- 2011年
- 在软件测试中,测试用例的重要性是毋庸置疑的。它是软件测试全过程的核心,是测试执行的基本依据,是检验测试效果的重要因素。本文抓住测试用例的几个关键要素,结合一个虚拟的测试需求,阐述了如何设计实用的测试用例,重点在用例标题、用例操作以及预期结果的设计思路。
- 王彩
- 关键词：软件测试测试用例
- 基于小波域变分滤波器的超声图像去噪算法被引量：6
- 2018年
- 针对超声图像的斑点噪声干扰问题,提出了一种基于小波域的变分滤波算法.该算法利用小波变换的时频特性,对低频域的小波系数使用基于贝叶斯最大后验估计的变分滤波器进行去噪;对高频域的小波系数选择自适应的小波阈值函数,然后使用基于拉普拉斯分布模型的小波收缩算法进行收缩处理.实验结果表明,与小波软阈值滤波器和变分滤波器相比,该算法在去噪能力和边缘信息的保留上均有较好的表现.
- 王彩高晓琴
- 关键词：超声图像小波
- Lebesgue积分在PVS中的证明分析
- 2018年
- 为了有效解决函数系统建模、信号实时分析等数理支持领域验证与测试的定理证明形式化问题,设计并实现了利用Lebesgue积分的运算特征在PVS定理证明器中进行形式化证明与分析.主要对其分裂定理、不等式计算、闭区间子集可积分性、多重分部、线性运算、Cauchy可积分准则和极限定理等多个方面进行了形式化,且依据数学定理与推论形式化,说明Lebesgue积分在PVS中的形式化是可行的、有效的.以标准反相积分器为应用模型,对其通用电路原理与机制进行了形式化证明,通过数理分析测试了本文Lebesgue积分形式化定理库的正确性.
- 王彩高晓琴
- 关键词：LEBESGUE积分PVS形式化证明
