论文部分内容阅读
分析了结构性测试和功能性测试方法及其优劣,提出了一种平衡结构性测试和功能性测试的模型方法,即定义-使用测试方法。该方法定义了介于全路径指标和全边之间的测试覆盖指标,提供了一种检查缺陷可能发生点的系统化方法。模拟实例结果表明,定义-使用测试方法能够显著提高发现缺陷的效率。
一种平衡结构性测试和功能性测试的方法
【摘 要】
：
分析了结构性测试和功能性测试方法及其优劣,提出了一种平衡结构性测试和功能性测试的模型方法,即定义-使用测试方法。该方法定义了介于全路径指标和全边之间的测试覆盖指标,提供了一种检查缺陷可能发生点的系统化方法。模拟实例结果表明,定义-使用测试方法能够显著提高发现缺陷的效率。
【机 构】
：
集美大学计算机工程学院
【出 处】
：
计算机应用
【发表日期】
：
2008年04期
【基金项目】
：
福建省教育厅基金资助项目（JA07133）.
其他文献
贫困县农行实行等级行管理的思考孙传章实行等级行管理是农业银行实现经营机制向商业银行转变，业务发展向集约化转变的一项重大措施，但贫困县农行在实行等级行管理工作中，面临的
设计了一种新的分组长度与密钥长度均可变化的分组密码,并给出了攻击的复杂性。它的结构是混乱与扩散结构,满足严格雪崩效应,从而保证算法对差分密码分析和线性密码分析的安全性。算法只用了一些简单的运算,加密解密过程只有执行的顺序不同,其他方面完全相同,便于软硬件实现。算法所需代码少、计算量小,能够嵌入到移动电话等移动数字设备中。算法特别适合汉语等非字母信息对称加密。
针对现场总线存在传输速率低、成本相对较高等问题,设计了一种基于TCP/IP协议的工业以太网实现嵌入式环境下Server/Client结构的控制系统。重点阐述了系统的网络通信、软件结构和控制方式,并说明了如何采用XML语言进行帧数据传递。通过研究消息队列调度算法和共享缓冲池数据聚类以增强系统实时性和达到告警、控制的目的。系统实验表明,采用工业以太网总线方式,具有通信速率高、开放性好、成本低廉的优点。
农行负债管理存在的问题及对策陈华东加强负债管理是今年农业银行＂管理年＂活动的工作重点之一。而优化结构、降低成本、提高效益又是负债管理的核心内容。因此，探讨当前农业银行
实行相对独立核算 增强基层营业所活力钟英和，韦源色，有存１９９３年以来，我行全面实行了营业所相对独立核算，即以统一计划、两级核算、资金计价、超收分成为原则，在确保资金安全、流动和
对柳州农行走出经营困境的思考张素琼１９９５年是柳州农业银行深化改革，向商业银行转轨迈出坚实步伐的一年。柳州分行在稳健经营、开拓业务、提高效益等方面取得了明显成绩。但是按照
改革课程体系和教学内容,创新教学方法,改革考核评价体系。通过学校培养和企业培养达到卓越工程师的标准。学校培养强化学生理论基础和工程实践能力为核心。企业培养以企业的
提出了一种基于分流抑制机制的卷积神经网络(SICNN)的人脸检测方法。该方法具有结构简单、训练参数少和适应性强等优点。待测图像经过具有分流抑制机制的神经元处理以后,特征信息进一步增强。该方法的人脸检测器可以检测出具有不同表情、姿态、尺寸和背景的图像中的人脸位置,并达到较高的检测率、较快的检测速度和低的错误警报数。
简要地介绍了基于机器视觉导向的AGV两轮差速转向的原理和组成,并对计算机控制系统设计,图像信息识别等AGV控制问题进行了阐述,提出了一种采用模糊控制方法对AGV两轮差速转向进行控制。仿真和实验结果均表明,采用模糊控制方法对两轮差速转向进行控制,样车运行过程稳定,路径跟踪可靠,控制性能良好。
高等学校的资产是国有资产的重要组成部分，也是高校发展的中坚力量，由此，高校资产管理显得尤为重要。这一活动经历了两个时代历程，并出现了一系列的问题。