【摘 要】
：
面向路径的测试数据生成问题是软件测试中一个基本问题。文章介绍了自主开发的面向路径的测试数据自动生成工具。Tcl/Tk是一种图形界面设计工具,其功能强大,可运行于Windows,
【机 构】
：
国防科技大学计算机学院,武汉大学软件工程国家重点实验室
【基金项目】
：
国家自然科学基金项目“面向UML的形式化测试技术”(编号:69973051);国家863高技术研究发展项目“混合实时系统的验证技术”(编号:863-306-ZT06-04-1);武汉大学软件工程国家重点实验室访问学者基金;霍英东青年教师基金(编号:71064)
论文部分内容阅读
面向路径的测试数据生成问题是软件测试中一个基本问题。文章介绍了自主开发的面向路径的测试数据自动生成工具。Tcl/Tk是一种图形界面设计工具,其功能强大,可运行于Windows,UNIX等操作系统上,具有良好的可移植性。文章简要介绍Tcl/Tk,并给出用Tcl/Tk设计面向路径的测试数据自动生成工具的图形界面的方法。
其他文献
浅谈情感教学法在思政课教学中的运用袁福成所谓“情感教学法”，就是从“动之以情”入手，最终达到“晓之以理”为目的的一种教学方法。通过寓理于情、寓理于景、寓理于趣、寓理
经验幸福论和思辨幸福论的二元划分与矛盾一直困扰着人们对亚里士多德幸福观的理解,其实,这一理论困境来自于人们方法论上的经验主义。《尼各马可伦理学》的理论主旨是通过"
星野观是我国历史上影响深远的思想方法之一,它导源于"天人合一"的儒学理念。其要点是说,地上的地域空间,包括行政区划在内,必然与天上的特定星宿一一对应,也与时间的进程相
本文分析了苏州外资融资租赁公司总体情况和2012年度财务数据,认为外资融资租赁公司的快速发展为地方带来融资平台的同时,也给外汇管理带来了一定的管理风险,一方面需要完善
在介绍公众参与在土地利用规划中的地位、作用、方式的基础上,提出将GIS应用于土地利用规划公众参与,提出了GIS辅助土地利用规划公众参与的主要功能,对照国内外GIS应用探讨了
服装文化存在于一定的社会形态中,是人类物质生活和精神文明的体现。技术设计与艺术设计是服装设计中不可或缺的两个方面,本文探讨了这两方面的重要性及其不可分性,现代艺术
教育所要达到的目的都以"现实的人"为前提才能得以实现。教师作为现实的人,有其本真的生存意识和生命价值追求。以此为视角,可以把教育个体的生命体验定位成课堂教学的核心价
为了探明大田膜下滴灌地膜下凝结水珠造成滴灌带灼伤的问题,在田间进行了试验研究,对滴灌带产品质量进行了检测,统计了具有破坏作用的凝结水珠的直径分布及焦距,观测了不同直
<正>系统公司受半导体行业所提供新设备和设计方法学的影响,通常会面临更多挑战:例如越来越小球栅阵列封装(BGAs)的管脚间距和越来越多的管脚数量。此外,新设备还会使用不断
道教史学编纂肇自魏晋,其发展大势,则自隋唐两宋始。此一时期,除教士外,教外士宦亦积极参与其中,推动史著大幅增加。同时,道教史家打破了魏晋单一的由私家完成的编纂模式,御