首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   14篇
  国内免费   2篇
  完全免费   7篇
  自动化技术   23篇
  2017年   1篇
  2015年   1篇
  2014年   2篇
  2011年   1篇
  2008年   1篇
  2007年   2篇
  2005年   3篇
  2004年   1篇
  2003年   4篇
  2002年   1篇
  2001年   2篇
  2000年   3篇
  1999年   1篇
排序方式: 共有23条查询结果,搜索用时 62 毫秒
1.
UML Statecharts的模型检验方法   总被引:23,自引:2,他引:21       下载免费PDF全文
董威  王戟  齐治昌 《软件学报》2003,14(4):750-756
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Büchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统.  相似文献
2.
并发和实时系统的模型检验技术   总被引:5,自引:1,他引:4  
模型检验是一种重要的自动验证技术,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态/命题性质,以保证通信协议、数字电路等设计的正确性。详细阐述了模型检验技术的发展与研究现状。首先描述了并发系统分别基于自动机理论和符号化的两种主要模型检验策略,并给出解决状态爆炸问题的主要方法;然后介绍了针对实时系统以及面向对象设计的模型检验方法;对每种方法都介绍了相应的典型工具,最后分析了模型检验面临的困难以及今后的发展趋势。  相似文献
3.
并发程序的切片模型检验方法   总被引:4,自引:0,他引:4  
董威  王戟  齐治昌 《计算机学报》2003,26(3):266-274
提出了一种对并发程序进行切片以缩减模型检验状态空间的方法,首先针对并发程序中的同步与通信定义了一组依赖关系,包括并发分支与接合.非确定性,信道,共享变量等特征,对于从要验证的时态逻辑性质中提取的关于多个程序点的切片标准,文中给出算法根据相应的依赖关系通过不动点运算得到并发程序切片,可以证明得到的切片与原程序对于该性质具有相同的可满足性。  相似文献
4.
UML状态机的模型检验方法   总被引:4,自引:0,他引:4       下载免费PDF全文
模型检验是一种确保设计规范正确性的形式化自动验证技术,本文提出了对UML状态机进行模型检验的方法。文中首先对UML状态机的语法和语义进行描述,然后基于语义中的 RTC步给出生状态机全局可达状态迁移图的方法,方法的核心是在当前格局下根据使能条件确定所有的最大无冲突迁移集。文章最后给出算法以验证UML状态机是否满足用计算树逻辑(CTL)公式表示的性质。  相似文献
5.
基于Agent的软件可靠性评估系统   总被引:3,自引:1,他引:2       下载免费PDF全文
1 引言现代软件产品的重要特征之一是软件质量,而软件可靠性被认为是软件质量的关键因素。软件可靠性指软件在特定环境和给定时间内无故障运行的概率。它面向用户而不是开发者,是软件质量诸多因素中最容易度量的属性。软件可靠性模型是随机过程的一种表示,可以将软件可靠性或与其直接有关的量(如平均无故障时间或故障率)表示成时间以及软件产品  相似文献
6.
高性能的PCMCIA数据加密卡的设计与实现   总被引:1,自引:0,他引:1  
随着笔记本电脑的不断普及,符合PCMCIA标准接口的PC卡被广泛地应用在各个领域。同时,由于数据安全日益得到重视,对笔记本电脑硬盘中的数据进行加密成为一种迫切需要。该文在PCMCIA接口规范的基础上设计了一种高性能的PCMCIA数据加密卡,重点介绍了该系统的结构设计,并给出了硬件的实现方案。该系统通过在FPGA上的仿真和在Windows9x环境下的测试,完全符合PCMCIA的设计规范要求,可以对计算机的数据进行有效的加密保护;并且由于该系统的设计考虑了VLSI的特性,易于ASIC的实现。  相似文献
7.
软件可靠性工程框架和评估系统实现   总被引:1,自引:0,他引:1  
给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际  相似文献
8.
单元测试及测试工具的研究与应用   总被引:1,自引:0,他引:1  
软件测试在软件生命周期中占据重要的地位,是软件产品交付用户使用之前保证软件质量的重要手段。在软件测试V模型中,测试阶段通常分为单元测试、集成测试、系统测试和验收测试。所谓好的开头是成功的一半,单元测试作为整个测试过程的第一阶段,自然占据看十分重要的地位。由于单元测试的高覆盖率要求,往往需要反复的运行诸多测试用例,这将增加大量的人力物力成本。如能正确熟练的使用单元测试工具,将极大地提高单元测试工作的效率和质量。但是,在软件测试课程中,对于单元测试的学习具有较大的难度。本文针对高职高专院校开设软件测试技术课程的现状,分析了单元测试的学习过程,并且针对目前流行的Java开发环境,选用Junit单元测试工具作为实例,介绍了Junit工具的使用方法和测试脚本的编写规范,并讨论了单元测试用例的设计方法,来全面的完成单元测试知识的教学。  相似文献
9.
陈磊  董威 《计算机工程》1999,25(7):19-20,68
借用面向对象的思想提出了一种需求工程中问题分析的结构化建模方法。该方法通过对问题的分解从哪地找各功能模块的人在联系与冲突。  相似文献
10.
董威  王戟 《计算机工程与应用》2000,36(10):71-73,110
给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程。文章还提出一个软件可靠性评估系统的体系结构。并给出了实现所需要的一些关键技术。已经依此实现了一上软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际应用。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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