- 年份
- 2020(1)
- 2019(1)
- 2018(1)
- 2017(3)
- 2016(1)
- 2015(1)
- 2011(3)
- 2010(2)
- 2009(1)
- 2007(2)
- 更多...
- 核心收录
- 中国科技论文与引文数据库(CSTPCD)(10)
- 中国科学引文数据库(CSCD)(6)
- 北京大学中文核心期刊目录(北大核心)(6)
- 刊名
- 科技广场(3)
- 计算机应用与软件(3)
- 中国果菜(1)
- 信息工程大学学报(1)
- 四川大学学报(自然科学版)(1)
- 机电工程技术(1)
- 测试技术学报(1)
- 海洋测绘(1)
- 火力与指挥控制(1)
- 电子科技大学学报(1)
- 更多...
- 作者单位
- 北京信息科技大学(1)
- 北京理工大学(1)
- 北京航空航天大学(1)
- 四川大学(1)
- 太原理工大学(1)
- 杭州电子科技大学(1)
- 江西师范大学(1)
- 西安工业大学(1)
- 更多...
- 语种
- 汉语(18)
- 关键词
- UML模型(18)
- Markov链(2)
- 一致性检测(2)
- AOP(1)
- B方法(1)
- IDEF0模型(1)
- ISO 19100(1)
- MBD(1)
- Markov链使用模型(1)
- S-100(1)
- 更多...
- 作者
- 王悠(2)
- 乔虎(1)
- 于磊(1)
- 付茂洺(1)
- 余双双(1)
- 刘建宾(1)
- 刘慧君(1)
- 刘旸(1)
- 刘洋(1)
- 卜国峰(1)
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 18 条结果
- 一种UML模型到XML模型的转换方法
- 基于UML的新闻发布管理系统的分析与设计摘要:许多高校已有的新闻管理系统只是简单的静态网页,内容比较单调.随着网络和手机通信的快速发展,静态的网站页面已经难以满足人们的需要;另外,随着各种信息的爆炸式增长,站点维护人员修改的工作量很大.本新闻发布系统利用面向对象思想进行研究,实现了Web服务器端及Android客户端技术上成熟并且运行稳定,可以管理大量的新闻资源,让每个人在最短时间内掌握时事动态,在一定程度上给用户带来了便利.
- 基于层次结构Markov链的软件可靠性建模方法
- UML模型形式化B方法转换的实现北大核心CSCDCSTPCD
- S-100的体系结构和若干重要概念CSTPCD
- 可视化UML模型验证环境研究北大核心CSCDCSTPCD
- 面向复杂UML的Markov建模方法研究北大核心CSCDCSTPCD
- 基于UML模型的个人技能交易平台的分析与设计
- 基于UML模型的组件集成测试方法北大核心CSCDCSTPCD摘要:统一建模语言(UML)已经广泛应用于基于组件的软件开发过程中.许多UML模型,如交互图、状态图和组件图等从不同的角度刻画了组件的行为,可将其用于基于组件的软件系统的测试.本文首先提出了一个基于UML模型的测试框架,并对基于UML模型的组件集成测试方法进行了比较,然后将基于协作图的组件测试技术应用于ATC系统的集成测试,取得较好效果.
- 基于UML Specification实现软件系统测试自动化摘要:本文基于软件系统测试理论及面向对象技术,结合一个合理的可以应用于实践的系统软件自动测试工具模型BUS-SUITE,分析基于UML Spec.实现软件系统测试自动化的理论基础、实现流程及关键技术.