论文部分内容阅读
对测试驱动开发中测试用例的自动生成和管理问题进行了研究，并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约，并通过相应工具生成和管理测试用例，从而提高了测试驱动开发的效率。最后给出了该方案在极限编程各个开发阶段的应用。
基于形式化方法的测试驱动开发研究
【摘 要】
：
对测试驱动开发中测试用例的自动生成和管理问题进行了研究，并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软
【机 构】
：
南华大学网络信息中心,南华大学计算机科学与技术学院
【出 处】
：
计算机工程与设计
【发表日期】
：
2008年15期
【基金项目】
：
湖南省自然科学基金项目（60073003）,湖南省教育厅基金项目（4-02-JY-02C371）.
其他文献
陀螺仪漂移数据经过处理后将是一组高度相关的平稳随机时间序列。在对陀螺仪漂移数据建立时间序列AR模型的基础上,考虑到精度与实时性的要求,采用卡尔曼滤波算法对捷联陀螺＂模
《诗经》邶、鄘、卫婚恋诗数量很多,其中一个非常显著的特色就是多弃妇诗。这些弃妇诗中,一方面保留了该地区地域文化中婚姻恋爱较为自由的习俗;另一方面,又受周礼的影响,提
针对移动智能机器人基于单目视觉的路标识别问题,提出了一种基于当前最大聚合中心的区域生长算法。在经RGB视觉模型的实验阈值分割后的图像中,探测若干可能区域,结合外形轮廓
1．中南海香烟：我喜欢“中南海”这几个字．很中国．每次出国我会带很多送给朋友。其实我不会吸烟．但是我喜欢那种感觉．因为只有吸烟的时候我才会静下来，缓解一下写作时的压力。
《诗经》对于研究周代社会作为史料的价值已为学者所共识。《大雅》中的《生民》、《公刘》、《緜》等综合来看,从其农业始祖后稷诞生至武王伐纣,形成一部轮廓清晰、脉络分明
在STC算法的基础上，提出一种中文Web文档聚类算法STC—I，用以对检索结果进行在线高效地聚类。STC-I中，将文档集通过去同义词、近义词、相同句子的方法对文档进行降维处理，并通过