论文部分内容阅读
软件测试自动化是为了提高测试效率,缩短软件开发周期,降低测试成本.Ctcgen对比验证测试模式使测试更加全面且容易实现测试过程自动化,用随机的思想和算法,代替"穷举"方法解决证明正确性的问题.
C编译器自动测试工具的剖析与移植
【摘 要】
：
软件测试自动化是为了提高测试效率,缩短软件开发周期,降低测试成本.Ctcgen对比验证测试模式使测试更加全面且容易实现测试过程自动化,用随机的思想和算法,代替"穷举"方法解
【机 构】
：
北京理工大学计算机科学与工程系
【出 处】
：
计算机工程
【发表日期】
：
2004年20期
其他文献
通过对宝珠寺电厂发变组出口SF6断路器出现的问题、年检预试、解体大修情况的介绍，分析了断路器参数变化的主要原因及处理情况井提出了对策，对同样工况下断路器出现问题的解决
为了解决来自不同厂商的网络安全产品之间由于网络安全信息描述不一致而导致难以沟通和协作等问题,文章提出并设计了一套基于XML的网络安全信息描述机制,改善和解决了由于分
设计了在线学习的网络流量神经网络直接自适应控制器,其适应能力及高速并行处理能力能很好地满足了网络控制所必需的适应性、鲁棒性和实时性的要求.从而使信源的发送速率能快
目的：提高64排螺旋CT容积重建（volume rendering,VR）、多平面重建（multi-plannar reconstruction,MPR）技术对茎突过长综合征（styloid process sundrome,SPS）诊断的方法认识。方法：对5
数字水印技术向多媒体作品中加入不易察觉但可以判定区分的秘密信息,从而起到保护数字作品的版权或完整性的作用.根据人眼视觉系统模型对图像感知的视觉掩蔽效应,提出了一种
目的:探讨血液标本存放时间和温度对全血细胞分析的影响。方法:收集40例全血标本,每1例标本分为两份,分别于室温和4℃条件下存放,每份标本在0 h(即时检测)、2 h、4 h、8 h、1
提出了构造椭圆曲线密码体制的一般签名方程的方法,几乎包含了目前这类方程的所有不同形式,并对其安全性进行了简单的分析.