国家重点基础研究发展计划(2002CB312001)
- 作品数:26 被引量:207H指数:8
- 相关作者:李宣东郑国梁缪淮扣赵建华王林章更多>>
- 相关机构:南京大学上海大学华东师范大学更多>>
- 发文基金:国家重点基础研究发展计划国家自然科学基金江苏省自然科学基金更多>>
- 相关领域:自动化与计算机技术机械工程理学电子电信更多>>
- 一个基于UML协作图的集成测试用例生成方法被引量:49
- 2004年
- UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为 ,确认它们是否被正确实现是集成测试的工作 .本文提出了一个基于UML协作图生成集成测试用例的方法 ,将表示设计的协作图作为测试模型 ,首先通过遍历每条消息的直接后继识别协作图中的表示用例实现的所有可能的场景路径 ,然后在遍历每条场景路径的过程中获取相应协作执行的路径条件、参数变量和预期方法调用序列 ,最后使用范畴 划分方法确定场景路径上的输入、输出、环境条件的合理组合作为覆盖该场景路径的测试用例 ,用于测试一个协作场景路径上的交互行为 .该方法 ,集成了白盒方法和黑盒方法 ,在覆盖所有的测试需求的前提下 ,生成的测试用例较少 .
- 王林章李宣东郑国梁
- 关键词:测试用例生成UML协作图
- 面向模型检验的UML状态机语义被引量:13
- 2003年
- UML状态机 (SM)是UML中用来对系统各种元素的离散行为建模的图 .它丰富的表示符号提供了强大的描述机制 ,但也降低了其结构的模块性 ,提高了对其分析验证的难度 .模型检验是自动检验有限状态并发系统的技术 .通过模型检验SM描述的不同系统元素的行为是否满足某些性质 ,能尽早发现设计中的错误 .为了将模型检验技术应用于SM的验证 ,本文用kripke结构定义SM的操作语义 .与已有的SM语义定义不同 ,本文考虑到了SM中包含的不确定因素 ,用kripke结构描述系统所有可能的演化轨迹 .
- 周颖郑国梁李宣东
- 关键词:UML状态机操作语义KRIPKE结构
- SDT:一个面向场景规约的运行时测试工具
- 2006年
- 利用设计模型信息,提高测试自动化程度是测试领域的重要课题。UML 顺序图是广泛使用的场景规约语言。本文研究了面向场景规约的运行时测试方法,并应用该方法实现了一个基于 UML 顺序图场景规约的测试工具SDT;它从 Ration Rose 的规约文件中提取顺序图信息,生成表示预期行为属性的事件有向无环图,对代码进行插装,并利用随机测试用例执行代码,最后将反向工程得到的运行时轨迹与有向无环图进行比较,对实现和设计的一致性进行自动化验证。
- 雷斌王林章李宣东郑国梁
- 关键词:UML顺序图有向无环图测试工具规约
- 基于UML Statecharts的测试用例生成被引量:11
- 2005年
- 直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法.
- 缪淮扣占学德刘玲
- 关键词:UMLSTATECHARTS
- J2EE平台上的HTML电子表格工具的设计
- 2005年
- 随着Internet的发展,Web应用也得到了快速发展和广泛普及。同时这也给Web应用开发提出了新的要求。与传统应用程序开发相比,Web应用开发具有如下特点:开发周期短,开发成本高,实现技术复杂。为了适应Web应用开发的新特点,开发人员需要一种可以快速开发Web应用的工具。本文介绍了一种J2EE平台上动态HT-ML表格的设计和实现。开发者可以使用该工具定义一个和数据库相联系的动态HTML表格。这个工具可以根据用户的定义自动生成相应的Servlet代码。
- 谢正良赵建华李宣东郑国梁
- 关键词:WEB应用SERVLETJ2EE平台HTML表格应用程序开发WEB应用SERVLET
- 模型驱动的软件测试研究被引量:6
- 2005年
- MDA(Model-DrivenArchitecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试生成问题成为研究热点。本文从过程、方法与工具三个方面研究了模型驱动的测试,首先提出与软件开发过程集成的模型驱动的软件测试过程;其次讨论了与过程对应的模型驱动的测试方法,基于PIM生成平台无关的测试(PIT),定义并实现了从PIT到平台相关的测试(PST)的映射算法,使得PST能够直接在相应平台上执行以发现软件实现是否与规约一致;最后,对上述过程中的方法提供工具支持。本文过程和方法在一个基于三层Web应用的在线银行系统上得到了实现。
- 王林章李宣东郑国梁
- 关键词:MDTPIMPSMPITPST软件测试过程
- A Components Library System Model and the Support Tool
- Component-based development needs a well-designed components library and a set of support tools. This paper pr...
- MIAO Huai-kou
- 从Executable UML模型到J2ME程序被引量:1
- 2005年
- 嵌入式系统由于功能的特定性和底层硬件的多样性,使得其代码的重用和易移植性一直是困扰开发者的一大难题。模型驱动体系结构(MDA)是OMG组织提出的一种新的软件开发方法。MDA将关注点集中于业务模型,把平台相关内容和不同的实现技术从中剥离,并利用工具遵循一定的转换规则,实现其到特定平台的自动转换,最终得到目标平台上的代码。MDA针对解决复用和移植问题提出了新的解决途径,在嵌入式系统开发中有广泛的应用前景。本文在研究基于MDA的嵌入式系统开发途径的基础上,提出了一个从Executable UML模型到J2ME平台下JAVA代码的转换框架。
- 袁梁李宣东赵建华郑国梁
- 关键词:J2ME嵌入式系统可执行UML
- UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具被引量:26
- 2006年
- UML已经成为建模语言的事实标准,如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战·为了从UML设计模型中的活动图直接生成测试用例,给出了UML活动图的形式化定义和灰盒测试方法·该方法首先分析UML活动图上的所有执行路径(每条路径称为一个测试场景),然后根据测试场景中的节点和转换所代表的活动及其输入/输出变量、相关约束条件等生成测试用例·并根据该方法实现了一个自动生成测试用例的工具UMLTGF,它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例·该工具能够提高软件测试的效率,降低测试成本·
- 袁洁松王林章李宣东郑国梁
- 关键词:UML活动图测试用例
- 基于PVS的时序逻辑语义模型及其实现被引量:2
- 2006年
- 时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础.
- 许庆国缪淮扣
- 关键词:时序逻辑语义定理证明