首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   5篇
  国内免费   1篇
  完全免费   4篇
  自动化技术   10篇
  2011年   2篇
  2007年   1篇
  2005年   1篇
  2004年   1篇
  2003年   2篇
  1998年   1篇
  1997年   1篇
  1989年   1篇
排序方式: 共有10条查询结果,搜索用时 31 毫秒
1
1.
采用形式化技术的软件再工程   总被引:4,自引:0,他引:4  
形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。  相似文献
2.
安全协议的形式化说明、设计及验证   总被引:3,自引:0,他引:3  
王娜  王亚弟 《计算机应用》2003,23(10):42-45
文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的研究发展前景提出见解。  相似文献
3.
通信协议的形式化技术研究   总被引:2,自引:0,他引:2  
4.
基于CFSM的协议形式化技术研究   总被引:1,自引:0,他引:1       下载免费PDF全文
本文主要了基于通信有限状态机的协议形式化技术。  相似文献
5.
一种形式化的基于TTCN的测试执行方法   总被引:1,自引:0,他引:1       下载免费PDF全文
探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节.本文提出了一种形式化的基于测试描述语言TTCN的操作语义的测试执行方法,并使用标号变迁系统刻画了这一方法的整个执行过程,同时讨论了这个方法的一个具体实现.这种形式化的基于TTCN的测试执行方法非常适合于构造通用的协议测试系统,同时也是进行测试集的自动验证的有效手段.  相似文献
6.
金民华  黄俊 《计算机工程与设计》2007,28(15):3582-3584,3607
基于安全策略形式化技术,提出了通过有序两元判定图表(OBDD)提供全面IPSec安全策略冲突的识别和分类的通用架构模型.基于这架构模型,研究了在通用IPSec策略配置过程中发现策略内部的冲突问题的技术.实验测试证明了该架构模型和技术在发现和解决策略冲突问题的有效性.  相似文献
7.
陈长春  王昭顺 《计算机工程与设计》2005,26(5):1256-1258,1276
形式化技术为软件逆工程提供严格和完备的理论基础,但应用于实践的非常少。介绍了一种将形式化方法应用于逆工程的具体实现方法,应用最强后条件的形式化技术对命令语言进行逆工程的具体初步实践,分三阶段对源程序进行抽象以得到严格保证正确性和一致性的软件结构规格说明,并且给出了具体的实现方法。  相似文献
8.
通信软件工程包括系统建模和设计实现两大阶段,分别采用非形式化技术与形式化技术,定义了从非形式化的面向对象的图形语言UML,到形式化的文本规范语言ESTELLE的完备的转换规则,并简要介绍了一个支持转换的软件工具的设计与实现,最后给出一个转换实例.此工作的完成,使通信系统图形化的面向对象模型可直接转换为面向实现的形式化规范,在整个开发周期中得到应用,建立起了一套完整的通信软件工程体系。  相似文献
9.
顾翔  张臻  邱建林 《计算机科学》2011,38(9):103-107
探讨了无线安全协议设计的一般步骤,包括应用环境抽象、特定应用网络弱点分析、待设计安全协议要达到的目标、现有相近协议优缺点分析、具体协议设计、协议安全性证明。作为实例,按照这些步骤,设计了一个新的无线网络认证协议。实践表明,这些设计步骤操作性较强,可以较好地指导无线安全协议设计,对于其它小型应用层协议的设计也有一定的参考作用。  相似文献
10.
CCNeter是实现扩展的Petri网——CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据、操作以及控制之间的关系。它通过解析C工程中文件、函数模块、变量之间的依赖关系,自动形成程序的CNet规范,并根据CNet规范自动进行图形绘制和布局。CCNeter是实现程序静态分析自动化的重要前提。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号