基于因果图方法的测试工具的实现

来源 :烟台大学学报(自然科学与工程版) | 被引量 : 0次 | 上传用户:ttkuaile
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
因果图法是一种有效的功能测试方法 ,它能发现程序与外部说明书之间的差异 ,指出功能说明书的不完整性和二义性 .它可以帮助人们系统地选择一组高效的测试用例 .本文详细介绍了基于此方法开发的一个测试工具 ,该工具是由用户接口、数据转换、统计测试信息和判定表生成四个模块组成 ,同时介绍了因果图的物理存储和回溯策略等实现技图 1 总结构图   术 .最后对这一系统的实用性做一评价
其他文献
针对相位变换加权广义互相关方法(GCC-PHAT)对噪声的影响较为敏感的缺点,本文通过削弱噪音互谱、加权信噪比、应用相干函数等手段对原始的相位变换加权函数(PHAT)进行了改进,得到了
本文提出一种以量化程序信息为基础,利用灰色评估法对特性的质量进行模糊处理的软件可维护性度量模型,并通过实例得出软件可维护性的定量评价结果,证实该模型和评估方法科学合理
本文对土壤有机质检测过程中的数据处理方法进行了研究,根据信号产生原理建立了数学模型,并在此基础上提出了幂函数曲线拟合的算法,并应用该算法进行了数据修正实验。
在烟台市地质环境特点分析的基础上,研究了地质环境质量评价的原则,确定了反映地质环境质量的3个一级评价指标,14个二级评价指标,将评价区域划分为2224个2.5×2.5km^2评
山东省科学院自动化研究所与日本会津大学合作共同建设察觉计算联合实验室,合作协议签字仪式近日在济南举行。自动化研究所所长成巍与会津大学理事、国际战略部本部长岩濑次郎