论文部分内容阅读
为了保证程序测试的质量和降低测试费用,基于规格的测试方法越来越受到重视.在利用有限状态机描述面向对象程序基础上给出了状态覆盖测试算法,同时引入动态域归约原理实现测试用例的自动生成.
基于CSM面向对象程序测试用例的自动生成
【摘 要】
：
为了保证程序测试的质量和降低测试费用,基于规格的测试方法越来越受到重视.在利用有限状态机描述面向对象程序基础上给出了状态覆盖测试算法,同时引入动态域归约原理实现测
【机 构】
：
桂林电子工业学院计算机系
【出 处】
：
桂林电子工业学院学报
【发表日期】
：
2001年3期
【基金项目】
：
广西跨世纪人才基金
其他文献
护栏是重要的交通安全设施,汽车与公路护栏的碰撞是极其复杂的事件,涉及到人、车、护栏三方面的因素.模拟技术代替实物实验进行研究,可以弥补实验周期长、参数测量困难、实验
隔振缓冲设计性综合性实验系统同时面向MCS-51系列单片机和微机、系统构成模块化,实验内容和深度具有可选择性.实践证明该设计性综合性实验取得了传统实验教学难以达到的效果
进入21世纪以来，我国研究生课程教学改革方兴未艾，因此研究生课程教学改革也是广西高校各个研究生培养单位必须面对的重要课题之一。通过对科学发展观下广西研究生课程教学存在
介绍了 VXI总线 8通道并行 A/D模块的研制方法。着重分析了 VXI接口电路技术、高速大容量数据传送技术、EPL D技术、VXIp& p仪器驱动器开发等 VXI模块研制中的关键技术。本模块已实际应用于自行研制的 VXI总线综合参数自动测试系统中。
把双语教学运用于计算机网络课程的目的正是为了培养满足社会需要的既精通专业知识又精通外语的专业人才.通过对计算机网络课程在实施双语教学的教学过程中出现的问题进行分