国家自然科学基金(60173030)
- 作品数：18 被引量：92H指数：6
- 相关作者：缪淮扣刘玲高晓雷陈怡海刘静更多>>
- 相关机构：上海大学杭州师范大学东莞理工学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理更多>>
- 一个自动构造类测试驱动程序的框架被引量：3
- 2005年
- 在类测试时,需要驱动程序来运行可执行的类测试用例并收集测试结果,因此驱动程序的开发工作量将直接影响类测试的效率。本文给出了一种类测试驱动程序的构造框架。利用面向对象技术的设计思想,设计了一个驱动基类,通过继承驱动基类,并覆盖驱动基类中的虚函数而生成一个被测类的驱动类。同时在主控程序中注册被测试类的驱动类,从而得到被测试类的驱动程序。最后通过一个实例,说明该驱动构造框架的可行性。
- 姜文缪淮扣刘玲
- 关键词：驱动程序软件复杂度软件测试类测试
- 智能服务——Web服务和语义Web集成研究被引量：20
- 2004年
- 现有Web主要是为人使用Web上的内容设计,如何自动发现、执行、组合及互操作Web上的信息,提供智能服务,是Web服务努力的方向,Web服务虽然也制定了发现、描述、信息交换的标准,但这些标准不支持智能服务,其原因是现有Web服务缺乏清楚的语义标记,该文提出将语义Web技术和Web服务结合来实现智能服务的思想,即为Web服务增加语义标记以实现Web服务的智能性,并就其可行性进行了阐述,最后给出了具体实现的方法。
- 孙军梅缪淮扣刘玲
- 关键词：WEB服务语义WEB本体
- 可视化的SOZL编辑器的设计与实现被引量：3
- 2002年
- 1.引言
从60年代"软件危机"出现以来,为了提高软件质量和软件开发的效率,人们提出了各种各样的软件开发方法.这些方法大致上可分为三类:结构化方法、面向对象方法和形式方法.在过去的三十多年中,人们在结构化方法和面向对象方法的研究及其应用上做了大量的工作.
- 高晓雷缪淮扣陈怡海
- 关键词：面向对象软件开发可视化
- 从测试规格说明到测试用例的自动生成方法被引量：10
- 2002年
- 讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .提出了一种应用 1× 1域测试策略和线性不等式值转换器来构成一个从测试规格说明生成测试用例的方法 .最后通过一个实例说明如何使用 1× 1域测试策略来实现从测试规格说明到测试用例的自动生成 .
- 胡芸缪淮扣刘玲
- 关键词：测试用例自动生成方法形式化规格说明软件测试
- 一种在Internet环境下提交与发布Z规格说明的方法
- 2004年
- 用形式方法开发软件可提高软件系统的正确性和可靠性 ,并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用 ,一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法 ,使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明 ,进而转化成服务器端的以XML方式描述的Z模式。通过XSL所定义的格式 ,又将以XML方式描述的Z发布到网页上。
- 羊冬昭缪淮扣刘玲
- 关键词：INTERNETZ规格说明软件系统JAVA语言XML
- 一种获得形式化功能需求的方法被引量：4
- 2004年
- 用例图在面向对象的软件开发过程中起着重要的作用。它用于描述系统的功能需求 ,但是它缺乏如Object -Z形式规格说明语言的精确性。本文结合一个实例给出了一种如何使用UML捕获系统的功能需求 ,并将该功能需求形式化的方法。本文定义了从UML用例图到Object -Z的转换规则 ,实现了用例图的形式化、获得了形式化的功能需求。
- 高如海缪淮扣陈怡海
- 关键词：用例图OBJECT-Z形式化UML软件开发过程
- 计算机辅助软件工程与构件库的集成研究被引量：1
- 2004年
- 软件复用和构件库与计算机辅助软件工程 (CASE)的集成程度密切相关。现有的CASE系统中都没有集成可复用构件库系统。与CASE集成的构件库有其特殊性 ,它的用户是CASE程序而不是应用系统开发人员 ,所以它的检索算法也有其自身的特点。本文研究CASE和可复用构件库的集成问题 ,尤其是构件检索算法。提出了一个新的构件检索算法“利用UML设计模型信息进行可复用构件查询” ,并将它和刻面查询算法合成后应用于实际系统中。
- 刘辉缪淮扣刘静
- 关键词：计算机辅助软件工程软件复用构件库CASE
- 几种范畴划分测试充分性准则的比较被引量：9
- 2004年
- 选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(Category-Partition)测试中的All-Combination、Each-Choice-Used和base-Choice-Coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较,并给出一个量化的比较结果,帮助测试员选择测试充分性准则。最后对基于票据计算的形式规格说明的例子进行了分析。
- 朱彬刘玲缪淮扣
- 关键词：可靠性软件开发
- 用Z语言形式化扩展事件踪迹图被引量：2
- 2004年
- 软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事件踪迹图 (ExtendedEventsTraces ,EETs)是一种用来描述组件交互的图形技术 ,它允许我们用图来定义结构中经常发生的交互模型 ,并且在多种上下文中可实例化 ,因而可以重用。虽然EETs的图形表示很直观 ,但是语义不够精确 ,因此 ,在本文中将使用形式规格说明语言Z来形式化EETs。并且 。
- 童翠玲缪淮扣刘玲
- 关键词：组件Z语言交互模型软件体系结构形式化
- 基于C++模板的Z规格说明的数据类型的实现被引量：2
- 2006年
- 主要介绍了用C++类模板实现Z规格说明语言中的类型,包括数据结构的设计、成员函数的设计。该模板的实现便于代码的重用和简化求精,从而提高软件开发的效率。
- 高晓雷缪淮扣李勇
- 关键词：C++模板数据类型
