基于EFSM的测试数据自动生成及静态分析工具

来源 :第六届中国人工智能职合学术会议 | 被引量 : 0次 | 上传用户：aishangliuning

【摘要】

：

目前,很多静态分析和测试工具还需要人工挑选输入数据,处理的变量也仅限于整型和实型.本文介绍了一个能够生成测试数据的自动工具EFAT,它能够处理整型、实型变量和一维数组.E

【作者】

：

王晓旭徐辰张健

【机构】

：

中国科学院软件研究所计算机科学实验室(北京)

【出处】

：

第六届中国人工智能职合学术会议

【发表日期】

：

2001年期

【关键词】

：

测试数据数据自动生成约束满足问题有限自动机整型一维数组输入数据实型路径静态分析测试工具处理程序转换变量搜索人工求解前置扩展

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

目前,很多静态分析和测试工具还需要人工挑选输入数据,处理的变量也仅限于整型和实型.本文介绍了一个能够生成测试数据的自动工具EFAT,它能够处理整型、实型变量和一维数组.EFAT先将程序转换为扩展的有限自动机(EFSM),然后搜索EFSM的可执行路径.对每条路径,求出其前置条件,再通过求解约束满足问题,可以得到一组测试数据.

其他文献

我国建筑施工技术的问题研究

我国经济在改革开放以来进入了高速发展的时期，在我国国民经济不断增长的今天，我国现在大型的建筑工程也随着我们经济的发展逐步增加起来。在我国的建筑工程当中，我们现阶段所采

期刊

建筑工程施工技术常见问题

现浇钢筋混凝土结构的铝合金模板施工技术

随着施工技术的不断发展，铝合金模板作为一种新型混凝土模板体系被越来越多的施工企业所采用。铝合金模板具有自重轻，承载力高，施工容易，维护费用低，施工效率高，混凝土表面质量好，周

期刊

现浇钢筋混凝土铝合金模板施工技术

基于区域特征模板的复合图象分类算法

研究一类有模板学习的自动图象模式分类方法,提出了一种描述图象空间语义关系的区域特征模板(FRT)概念,把一幅图象转化成由特征属性值构成的区域串,依据内容最相似性原则实现

会议

区域特征模板图象空间模式分类方法运算效率语义关系属性值相似性转化学习算法柔性描述集成构成概念处理

基于内容的检索中的相似度测试技术

基于内容的检索已成为多媒体、信息检索、人工智能、数据库等领域共同的研究热点.由于基于内容的检索并不对查询对象进行精确匹配,因此相似度测试技术将对检索的成功与否起到

会议

相似度测试多媒体数据库文档检索图象检索

遥感测绘技术在测绘工作中的应用

遥感测绘技术早已经应用在测绘领域中，作为一种新型的测绘技术，因其自身的优势明显，所以被大量的应用在各行业中，并不奇怪。遥感技术具备数据选取以及处理的功能，使得获取的数据精

期刊

遥感测绘测绘工作应用

城市规划与电力规划之间的关系探究

城市整体规划和区域电力系统具有不同的设定规则，在进行城市电力规划的过程中，应该注意分析城市的整体规模以及内部结构的性质，对地区动力资源进行划分。社会发展程度决定城市电

期刊

城市规划电力规划关系

图象内容的复合距离测度模型

以图象的内容为线索,从收集的图象数据库中提取出所需的图象已经成为大家越来越关心的问题.本文描述了一种基于区域距离测度的图象对象的相似检索系统,提出了一种属性加权的

会议

职业卫生风险对职业健康损害的影响程度研究

成果内容简介:该课题引用风险评估技术,采用国际通用的风险管理模式和国家规范的健康损害评价标准,使用职业流行病学和数理统计方法,对不同行业工种的职业卫生风险及其对从业

期刊

职业卫生从业人员健康职业流行病学风险管理模式数理统计方法风险评估通用简介评价标准风险控制

基于模型诊断的形式化方法

本文对基于模型诊断的一般过程进行了形式化,论证了它与本原蕴涵/蕴涵式的直接关系,从而将该理论结果与实现联系起来,进一步指出该结果具有一般性,不仅能够计算只已知部件的

会议

基于模型诊断过程形式化行为方式中心计算故障部件本原蕴涵蕴涵式一致性论证理论

关于配电网工程建设规划与管理研究

配电网在规划及实施方面都存在一些各种各样的问题,本文针对这些问题进行深入的分析和探讨,剖析其产生的原因,并根据实际的问题提出切实可行的解决方法,这对推进配电网的发展

期刊

基于EFSM的测试数据自动生成及静态分析工具

与本文相关的学术论文