齐璇 作品数:34 被引量:139 H指数:6 供职机构: 北京系统工程研究所 更多>> 发文基金: 国家高技术研究发展计划 国家电子信息产业发展基金 电子信息产业发展基金 更多>> 相关领域: 自动化与计算机技术 语言文字 文化科学 轻工技术与工程 更多>>
Web服务互操作标准符合性测试框架设计与实现 随着Web服务的迅速发展,信息互操作性问题日益重要。本文分析了Web服务互操作标准符合性测试的主要方法,设计并实现了一个Web服务互操作标准符合性测试框架,采用了支持重定向的非侵入式Web服务截获器技术和基于Rete模式... 房友园 齐璇关键词:WEB服务 互操作性测试 标准符合性 模式匹配算法 文献传递 常用的基于控制流的测试充分性准则 被引量:3 2009年 本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码,还有多少代码未测试到。 王峰 郭长国 齐璇 施寅生关键词:软件测试 测试充分性准则 控制流 混源软件质量模型与度量方法研究 被引量:5 2017年 由于混源软件包含自主代码、开源代码等不同来源代码,从而具有更高的多样性和复杂性,对其质量的度量评估与传统软件存在极大区别。为了度量混源软件质量,建立混源软件质量度量模型和方法是非常必要的。通过分析混源软件质量特性,提出混源软件质量模型。然后利用层次分析法、幂性法及线性法构建度量方法体系。最后对UbuntuKylin操作系统进行了实验性的度量评估,验证了模型与方法的可行性和有效性。 刘启林 董威 尹良泽 齐璇 杨沙洲ICENT汉英机译系统中的语义模型 被引量:2 2002年 1.引言研究汉英翻译技术是让中国走向世界、让世界了解中国的有力支持. 齐璇 陈火旺关键词:汉英机器翻译系统 语义模型 中文信息处理 格语法 一种新颖的Web服务安全性测试方法 被引量:1 2010年 针对传统的Web服务安全性测试方法存在的低效、缺乏灵活性、不适应复杂安全功能测试及难以实现异常测试等问题,本文提出一种基于WSDL文件动态解析和安全功能分解的Web服务安全性测试方法。该方法采用运行时动态解析WSDL文件的方式解决了传统测试方法与被测Web服务紧耦合的问题,将复杂安全功能分解为7类原子安全处理类型,使其能够有效适应复杂安全功能测试的需要,采用故障注入机制生成错误的SOAP消息使其支持异常测试。实验结果表明,该方法具有灵活性、高效性和先进性。 施寅生 王峰 齐璇关键词:WEB服务 安全性测试 软件测试 义类自动标注方法的研究 被引量:7 2001年 句法分析不能满足汉语分析的需要 ,句法和语义相结合的分析方法适用于汉语分析。分析的基础要有一部语法语义词典。目前的机读词典多是语法词典 ,因而需要在语法词典中加入词的语义信息。《同义词词林》是一部较好的义类词典 ,但没有语法信息 ,可以《同义词词林》的分类体系对语法词典进行义类标注 ,得到语法语义词典。这一过程中有不一致的情况 ,特别地 ,对《同义词词林》中未收录的词就不能直接标注义类。本文采用《同义词词林》的分类体系 ,研究设计了一个汉语词自动义类标注算法 ,对北大《现代汉语语法信息词典》进行自动义类标注。实验结果较为满意 ,得到 91 %的准确率。 齐璇 王挺 陈火旺关键词:自然语言处理 基于TTCN-3的Web应用功能测试方法 被引量:2 2010年 针对日益增长的Web应用功能测试需求与测试重用需求,提出了一种基于TTCN-3的Web应用功能测试方法。该方法结合分层测试的思想以及TTCN-3的特点,提出将Web应用功能测试划分为页面内容测试、会话管理测试、使用场景测试等3个层次,并分别从这3个层次给出了采用TTCN-3进行测试的过程。该方法应用TTCN-3参数化设计测试用例的思想,有效分离了测试设计与测试实现,使测试用例具有高可重用性。结合实例,表明了该方法的有效性。 施寅生 王峰 齐璇 宗建建关键词:TTCN-3 WEB应用测试 软件测试 OR-Mapping的一种实现方法 被引量:1 2004年 OR Mapping集成了面向对象语言和关系型数据库 ,使我们在开发数据库应用时能享受到面向对象设计的好处。本文提出了一种具体的OR Mapping实现方法。使用对象描述数据库中的表能够使系统的结构清晰 。 金松 齐璇 柳军飞关键词:面向对象语言 关系型数据库 数据库开发 程序开发 JAVA语言 支持动态修改的MINI工作流过程元模型 被引量:1 2007年 工作流过程元模型是指导工作流管理系统过程建模的基础。本文分析了当前几种重要的工作流过程元模型,对WfMC的工作流过程元模型进行了扩展,提出了一种支持动态修改的MINI工作流过程元模型。 齐璇关键词:工作流 过程元模型 一种反应式SPM及其动态语义XYZ表示 被引量:6 2005年 过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础. 董广智 柳军飞 齐璇关键词:软件过程模型 过程建模语言 反应式 XYZ/E