论文部分内容阅读
<正>在异构型系统中相互作用的正确性是通过一致性测试来保证的,自从协议工程领域出现以来,通信协议的一致性测试一直是人们研究的一个课题,一致性测试的目的是保证协议的实现与协议的标准规
基于非确定有限状态机模型的测试用例选择
【摘 要】
：
<正>在异构型系统中相互作用的正确性是通过一致性测试来保证的,自从协议工程领域出现以来,通信协议的一致性测试一直是人们研究的一个课题,一致性测试的目的是保证协议的实
【机 构】
：
复旦大学计算机科学系
【出 处】
：
计算机科学
【发表日期】
：
1996年6期
其他文献
本文主要介绍→ＮＦ关系模型的基本概念，并讨论嵌套关系代数，嵌套范式及嵌套关系的唯一性与最小化等有关→ＮＦ的当前研究概况，结果与进展。
本文主要研究了并行查询中的多进程分配与调度技术，提出了并行查询的数据流执行图模型和并行进程的集中式两级调度模型。数据流执行图模型准确地刻画了并行进程间的同步关系，两
<正>在源代码级上分析程序是软件逆向工程的最基本的任务,其目的是从程序文本中了解程序的高层概念,这主要用于对软件维护的支持,软件可重用知识和部件的获取,以及探测已存在
可视语言是计算机科学和技术的结晶，是一个新兴的研究领域，它与传统的程序设计语言相比较具有明显优势。本文介绍可视语言的发展背景，探讨其主要研究内容，并介绍几个较典型的实现
<正>1.引言 最近的研究表明,数据库系统也可以利用并行处理来提高更大、更复杂查询的效,因为关系操作是面向集合的操作,本身就具有一定的可并行特性,这为查询优化在选择并
<正>用代数规范描述来描述抽象数据类型的基本思想是用它的标记和特征性质来说明抽象数据类型,它们的性质可用多类逻辑形式来表示,通常为受限的一价逻辑,例如等式
<正>软件工程的发展与用户接口技术有着密切的联系,但用户接口(Ul)的考虑侧重于用户的观点,软件工程(SE)的考虑则侧重于系统的观点。围绕用户接口的设计,Anthony I.wasserman
<正>一、引言 八十年代中期兴起的面向对象数据库和知识库己成为当今数据库技术发展的两重要方向。自出现以来.它们沿着不同的道路独立发展,各自都取得了许多成果.知识库
本文系统地讨论了关于加强计算机科学中连续数学教育的问题，包括其缘起，必要性，含义以及课程的建设、教材编写等问题，文中所阐述的观点，最终将会为计算机科学界所接受。