李留英 作品数:9 被引量:131 H指数:5 供职机构: 国防科学技术大学计算机学院 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 霍英东青年教师基金 更多>> 相关领域: 自动化与计算机技术 理学 更多>>
重用部件的特征匹配 1997年 特征匹配是形式化规范匹配的基础。本文给出了基于运算符和抽象数据类型的特征匹配的定义、应用和展望。 李留英 齐治昌关键词:运算符 UML测试技术的研究与实现 李留英关键词:面向对象技术 标准建模语言 UML 软件工程 软件开发 文献传递 UML建模与动态模拟:案例研究 被引量:9 1999年 为检查模型之间的一致性和模型的完备性, 本文根据UML1.1 规范,通过在可视化建模工具Rose98上开发的一个铁路模型的实例详细描述了对于软件系统如何从多个视点建立一个规范、实用的模型;并提出了一种基于UML模型的动态模拟方法,给出了动态模拟工具设计方案, 这种方法充分结合了当前的用户界面、动画技术和UML语言的半形式化语义特点. 何娅玲 何宇新 李留英 王戟 齐治昌关键词:面向对象 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的测试用例 .这种方法能够支持递增式测试用例的生成 .理论和实验结果说明 ,如果满足测试条件 ,它们保证全故障覆盖 ,且产生较少的测试用例 .这种改进对大型复杂系统尤其有效 。 李留英 王戟 齐治昌关键词:软件测试 面向对象 UML STATECHARTS 程序设计语言及相关领域的研究方向 被引量:4 1999年 本文主要讨论了程序设计语言的研究方向,以及与之有关的研究领域,并展望了程序设计语言的发展。 李留英 齐璇 张猛 齐治昌关键词:程序设计语言 语义 软部件描述:模型、方法和语言 被引量:4 1997年 软件重用技术是软件工程领域的一项关键技术。目前,支持软件重用的方法主要有两种:块重用,即使用可重用的程序块;模式重用,即通过程序转换获得可重用性。其中,最为系统化、为工程化的软件重用活动是基于重用库的块式重用。 李留英 毛新军 齐治昌关键词:软件工程 软部件 UML Statechart图的操作语义 被引量:45 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语言 面向对象 软件工程 统一建模语言