您的位置： 专家智库 > >

李留英

作品数：9 被引量：130H指数：5
供职机构：国防科学技术大学计算机学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划霍英东青年教师基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 8篇期刊文章
  • 1篇学位论文

领域

  • 8篇自动化与计算...
  • 1篇理学

主题

  • 4篇面向对象
  • 3篇软件工程
  • 2篇软件测试
  • 2篇软件开发
  • 2篇建模语言
  • 2篇UML
  • 2篇UML语言
  • 2篇测试用例
  • 2篇测试用例生成
  • 1篇对象技术
  • 1篇语言
  • 1篇语义
  • 1篇运算符
  • 1篇软部件
  • 1篇设计语言
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇统一建模语言...
  • 1篇面向对象技术
  • 1篇STATEC...

机构

  • 9篇国防科学技术...
  • 1篇武汉大学
  • 1篇中国科学院

作者

  • 9篇李留英
  • 8篇齐治昌
  • 4篇王戟
  • 1篇韩冰
  • 1篇何宇新
  • 1篇毛新军
  • 1篇何娅玲

传媒

  • 4篇计算机科学
  • 1篇计算机研究与...
  • 1篇计算机工程与...
  • 1篇软件学报
  • 1篇武汉大学学报...

年份

  • 2篇2001
  • 2篇2000
  • 2篇1999
  • 1篇1998
  • 2篇1997
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
重用部件的特征匹配
1997年
特征匹配是形式化规范匹配的基础。本文给出了基于运算符和抽象数据类型的特征匹配的定义、应用和展望。
李留英齐治昌
关键词：运算符
UML测试技术的研究与实现
李留英
关键词：面向对象技术标准建模语言UML软件工程软件开发
文献传递
UML建模与动态模拟:案例研究被引量：9
1999年
为检查模型之间的一致性和模型的完备性， 本文根据ＵＭＬ１．１ 规范，通过在可视化建模工具Ｒｏｓｅ９８上开发的一个铁路模型的实例详细描述了对于软件系统如何从多个视点建立一个规范、实用的模型；并提出了一种基于ＵＭＬ模型的动态模拟方法，给出了动态模拟工具设计方案， 这种方法充分结合了当前的用户界面、动画技术和ＵＭＬ语言的半形式化语义特点．
何娅玲何宇新李留英王戟齐治昌
关键词：面向对象UML建模
全文增补中
PNFSM测试用例生成的研究
2000年
The paper proposes one test case generation algorithm tor partial/y-specified nondeterministictinite state machine and its validity analysis. After comparing with other generation methods, someproblems of testing object state diagram are given.
李留英王戟齐治昌张猛
关键词：测试数据
全文增补中
UML statecharts的测试用例生成方法被引量：48
2001年
测试用例生成是软件测试的关键 .根据 U ML statecharts的层次和并发结构 ,研究相应的测试用例产生方法 .它视复合状态为抽象状态 ,分别构造主 UML statecharts和复合状态所对应的子 UML statecharts的测试基 ,并依据一定的合成规则和 Wp-方法生成整个 U ML statecharts的测试用例 .这种方法能够支持递增式测试用例的生成 .理论和实验结果说明 ,如果满足测试条件 ,它们保证全故障覆盖 ,且产生较少的测试用例 .这种改进对大型复杂系统尤其有效 。
李留英王戟齐治昌
关键词：软件测试面向对象UMLSTATECHARTS
程序设计语言及相关领域的研究方向被引量：4
1999年
本文主要讨论了程序设计语言的研究方向，以及与之有关的研究领域，并展望了程序设计语言的发展。
李留英齐璇张猛齐治昌
关键词：程序设计语言语义
软部件描述:模型、方法和语言被引量：4
1997年
软件重用技术是软件工程领域的一项关键技术。目前,支持软件重用的方法主要有两种:块重用,即使用可重用的程序块;模式重用,即通过程序转换获得可重用性。其中,最为系统化、为工程化的软件重用活动是基于重用库的块式重用。
李留英毛新军齐治昌
关键词：软件工程软部件
UML Statechart图的操作语义被引量：44
2001年
面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代码产生、模拟和测试用例生成奠定了基础 .根据上述语义 ,基于 Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟 .
李留英王戟齐治昌
关键词：操作语义UML语言软件测试软件开发
统一建模语言UML被引量：13
1998年
1前言统一建模语言UML(Unified Model:ng Lan-guage)是由RatLonal公司的知名专家Gray BOoeh、Ivar JaCobson和J:m Rumbaugh三人联合开发的第三代面向对象的建模语言。它采纳和扩展了Booch标记法、OMT标记法和OOSE标记法,并包容了其它学者和软件厂商的建议,现己提交给OMG,将成为标准化的面向对象建模语言。UML是一种宽谱语言.适用于所有的应用领域,如:实时系统、
李留英韩冰曹蕾齐治昌
关键词：UML语言面向对象软件工程统一建模语言
全选 清除 导出
共1页<1>
聚类工具0