论文部分内容阅读
自动生成测试用例是测试编译程序的途径之一。目前一段均使用Ｐｕｒｄｏｍ提出的生产式选择策略来自动生成测试用例。本文提出了描述前后文无关文法的一种图表示方法，这种图称为文法的ＤＧ图。基于ＤＧ图，我们给出了一种优于Ｐｕｒｄｏｍ策略的新的编译程序测试用例自动生成策略，并讨论了这种策略实现原理。
一种新的编译程序测试用例自动生成策略及其实现
【摘 要】
：
自动生成测试用例是测试编译程序的途径之一。目前一段均使用Ｐｕｒｄｏｍ提出的生产式选择策略来自动生成测试用例。本文提出了描述前后文无关文法的一种图表示方法，这种图称为文法的ＤＧ图。
【机 构】
：
西北工业大学计算机科学与工程系,西北工业大学计算机科学与工程系西安710072,西安710072,西安710072
【出 处】
：
软件学报
【发表日期】
：
1993年6期
【基金项目】
：
国家自然科学基金项目6873039,,航空基金高等院校自选课题资助
其他文献
目前我国的高速轨道的调整主要依靠人工巡检与手工调整的方式，数据测量主要依靠人工目测，数据不完备且主观性强，造成轨道的调整不准确、出现局部平顺全局缺陷的情况；提出基于遗传
目的分析企业员工职业健康促进需求,为制订干预行动计划提供指导。方法于2017年1月对某手套生产企业全体员工开展职业健康促进需求调查,收集与分析基线数据。结果该企业员工
目的了解北京市通州区2~4岁幼儿园入园儿童龋齿发生情况及其影响因素,为开展儿童龋齿防治工作提供依据。方法基于通州区妇幼保健信息系统,收集2016年1月1日至2017年12月31日
编者按：2月14日；唐山市林西百货大楼发生特大火灾，唐山，再一次成为人们目光的焦点。教训惨重，同时也让人们清醒认识到百货大楼火灾危险性是不容忽视的，其隐患整改工作刘不容缓。这
【摘 要】把微课引人高职英语教学，为学生学习英语提供了新的途径，也为高职院校英语教师带来了新的教学思路与方法。本文在前人研究基础上总结了微课的定义和特点，探讨了将微课引入高职英语教学过程中遇到的问题，并提出了相应的解决策略。 【关键词】微课；高职；英语教学 教育部《教育信息化“十三五”规划》提出，“要依托信息技术营造信息化教学环境，促进教学理念、教学模式和教学内容改革，推进信息技术在日常教学中
本文描述了用于电脑刺绣编程系统的图象预处理系统CEIP的设计方法和实现技术,CEIP系统采用平板扫描仪输入刺绣画稿,经过图象预处理系统的识别和处理,成适合刺绣的画稿,本系统