论文部分内容阅读
本文主要讨论基于扩展有限状态机的一致性测试例的生成方法,研究一种动态选择与自动机相结合的一致性测试集的生成技术,该技术可以对测试集进行有效优化,并能提高生成测试集的覆盖率.
基于扩展有限状态机的一致性测试例生成研究
【摘 要】
：
本文主要讨论基于扩展有限状态机的一致性测试例的生成方法,研究一种动态选择与自动机相结合的一致性测试集的生成技术,该技术可以对测试集进行有效优化,并能提高生成测试集
【机 构】
：
南京审计学院计算机系,江苏教育学院数学与计算机科学系,江苏教育学院数学与计算机科学系,南京大学计算机系
【出 处】
：
福建电脑
【发表日期】
：
2004年7期
其他文献
最精湛的教学艺术，遵循的最高准则就是让学生自己提出问题．随着教育观念和教育思想的发展，人们逐渐意识到让学生主动提出问题更能增强学习兴趣和学习效果．课程改革的目标之一，就是
随着老龄人口的增加，老年人胆道疾病的比例相对增高。本文总结在南开医院外科进修期间观察治疗的胆囊结石手术４３５例，其中６０岁以上的急性梗阻性胆囊炎３６例，现介绍如下。１临床资料１１本组３６例
本文介绍一种描述语言的工具文本语言(Text Language)TL,它是一种形式化的描述语言,我们以语法图的形式介绍TL如何描述语言的全信息,包括语法、语义等.
高中物理新课程的教学更加注重学生的探索过程，展示知识的发生、发展过程，培养学生的学习能力．知识的引入强调背景，使教材生动、自然而亲切，让学生感到知识的发展水到渠成．在探索阶
急性外伤性颅内血肿是神经外科常见疾病，病情严重复杂，如治疗延误或处理不当，常可导致不良后果。笔者从１９９５年以来，采用通窍醒脑汤配合开颅手术治疗经ＣＴ确诊和手术证实的颅内血肿６０例，并以
电容器是一个储存电能的元件．在直流电路中，当电容器充放电时，电路里有充放电电流，一旦电路达到稳定状态，电容器在电路中就相当于一个阻值无限大（只考虑电容器是理想的不漏电的情况