摘要：帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 。

摘要：形式化技术为软件逆工程提供严格和完备的理论基础,但应用于实践的非常少。介绍了一种将形式化方法应用于逆工程的具体实现方法,应用最强后条件的形式化技术对命令语言进行逆工程的具体初步实践,分三阶段对源程序进行抽象以得到严格保证正确性和一致性的软件结构规格说明,并且给出了具体的实现方法。

摘要：本文研讨适应于计算机网络或分布式计算机系统通信协议的形式化技术.文中系统地论述和分析了协议及其服务的形式描述,设计验证与实现验证的基本理论,主要方法和实现技术;提出了一种基于有限状态机(FSM)和通信顺序进程(CSP)相结合的混合形式描述方法,针对CSMA/CD协议,给出了该混合模型的形式描述实例.

摘要：帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限。本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致性测试研究和实际测试。针对帧中继拥塞控制协议的特点,采用穿越测试法设计生成了基于形式化技术的一致性测试集,并且将利用协议集成测试系统取得的一致性测试的研究成果应用到路由器的开发和研制过程中。

摘要：论文以求河内塔 (HanoiTower)问题的并行解为例 ,介绍了并行程序设计的一般方法和步骤。一种行之有效的方法是 ,先将复杂的问题和复杂的并行环境分离 ,仔细分析用户需求并进行形式化规格 ,求得正确的解 ,然后逐步求精 ,并保证在逐步求精的过程中不失去正确性 ,最后阶段再得到可以运行的并行程序。

摘要：探讨了无线安全协议设计的一般步骤,包括应用环境抽象、特定应用网络弱点分析、待设计安全协议要达到的目标、现有相近协议优缺点分析、具体协议设计、协议安全性证明。作为实例,按照这些步骤,设计了一个新的无线网络认证协议。实践表明,这些设计步骤操作性较强,可以较好地指导无线安全协议设计,对于其它小型应用层协议的设计也有一定的参考作用。

摘要：文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的研究发展前景提出见解。

摘要：通信软件工程包括系统建模和设计实现两大阶段 ,分别采用非形式化技术与形式化技术 .定义了从非形式化的面向对象的图形语言 U ML ,到形式化的文本规范语言 ESTEL L E的完备的转换规则 ,并简要介绍了一个支持转换的软件工具的设计与实现 ,最后给出一个转换实例 .此工作的完成 ,使通信系统图形化的面向对象模型可直接转换为面向实现的形式化规范 ,在整个开发周期中得到应用 ,建立起了一套完整的通信软件工程体系 .

摘要：提出了一种基于形式化技术的功能验证方法,对可编程逻辑模块级/子系统级进行功能验证.通过实例逻辑验证表明,依据功能验证平台,按照验证步骤对设计程序进行缺陷检查,测试用例能保证RTL代码结构和功能覆盖达到100%,并提供验证报告方便快速定位并进行缺陷修复,大大地降低了仪控系统在核电厂实际使用过程中出现问题的概率保证核电安全级仪控系统稳定性、可靠性和安全性的要求,为仪控系统提供更充分更有力的依据.

摘要：应用形式化分析技术对电子商务系统模拟与验证,可以查找系统设计中的错误和不足, 确保系统的正确性和健壮性.本文将目前用于电子商务系统的形式化方法划分为四大类,综合分析并比较了各类方法的应用特点,并指出了进一步地研究工作.