形式概念分析在Web应用测试用例选取中的应用

为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则.最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性.     

基于模糊形式概念分析的文本分类模型

提出了一种基于模糊形式概念分析的文本分类模型,通过概念化文本到一个更加抽象的概念形式,以概念而非文本作为训练样本,最终结合近邻分类算法实现文本分类决策。实验结果表明该算法有很好的性能。     

形式概念分析在软件工程中的应用

随着现代软件工程不断地发展,软件开发的效率更加变得重要。如何高效的开发出满足不同客户需求的软件已成为当今软件开发的热点。软件开发技术局限于传统的方式,开发工作过分依赖于文档,缺乏更加成熟的灵活性[1]。本文通过描述形式概念分析方法这种新型的设计方法,对形式概念分析方法定义和抽象思路进行分析。并将其置于需求分析、软件设计和系统设计和Web环境下应用开发等软件方面开发的各个阶段进行研究,最终实现软件开发的优化。     

试论形式概念分析在软件工程中的应用

随着科学技术的不断发展,软件工程在当代社会中占据着越来越重要的作用,如何快速、有效的进行软件工程的开发是业内人士关注的焦点。形式概念分析方法能够有效提高软件工程的开发效率,改善软件开发的灵活性。本文将对形式概念分析方法在软件工程中的应用进行探讨和分析。     

形式概念分析在软件理解中的研究综述

主要对形式概念分析在软件理解上的研究进展进行总结．阐述形式概念在软件理解中一般过程和主要采取的技术方法．给出形式概念分析在软件理解领域的研究趋势与展望。     

用分类树方法实现Web服务测试例的自动生成

随着Web服务技术的不断发展和广泛应用，需要运用新的测试技术来保障Web服务的正确有效运行，而测试例的生成是Web服务测试的一项重要内容，它将直接关系到Web服务测试的效率和成本。基于Web服务的WSDL文档，根据输入域中子集间相互关系，利用分类树的方法（Classification Tree Method），提出Web服务测试例的一种自动生成方法，据此达到最少的数量最大限度地进行覆盖的目的，并结合具体的实例，使用CTE测试工具增强测试的自动化程度，从而提高软件测试的效率和软件的质量。     

形式概念分析在软件工程中的应用

随着现代软件工程的不断发展,软件开发的效率显得尤为重要。如何高效率地开发出满足各种不同用户需求的软件已成为当今软件工程开发中的热点。传统的软件开发由于过分地依赖于文档,其开发效率及其灵活性受到了很大的影响。文中描述了形式概念分析方法这种软件工程中新型的设计方法,用以发现一群类所表现出的共同或者重复的特征。这些共同特征将通过一种表现所有特征局部关系的格的形式,发现跟其相关的那些关联,进而更合理地安排软件开发的各项进度,提高软件开发的效率。文中也描述了形式概念分析方法在软件工程一些具体阶段的应用。     

用分类树方法实现Web服务测试例的自动生成

随着Web服务技术的不断发展和广泛应用,需要运用新的测试技术来保障Web服务的正确有效运行,而测试例的生成是Web服务测试的一项重要内容,它将直接关系到Web服务测试的效率和成本。基于Web服务的WSDL文档,根据输入域中子集间相互关系,利用分类树的方法(Classification Tree Method),提出Web服务测试例的一种自动生成方法,据此达到最少的数量最大限度地进行覆盖的目的,并结合具体的实例,使用CTE测试工具增强测试的自动化程度,从而提高软件测试的效率和软件的质量。     

偏序关系在形式概念分析中的应用

将偏序关系应用到形式概念分析中,定义了三个基于偏序集的衍生形式背景,利用衍生形式背景对原形式背景中的概念、内涵、可约对象、可约属性及蕴含规则进行了刻画,这种刻画更有利于人们对形式概念分析的深入理解。     

基于概念分析的用户会话约减技术研究

基于用户会话的测试技术依赖于收集的用户会话数据集,数据集规模越大,测试效力就越强,但用于收集、储存和分析数据的成本也会迅速增加。该文提出一种在Web应用测试中对用户会话数据集进行约减的方法。运用概念分析技术聚类用户会话,从中选取数据,再利用增量式的概念分析算法更新数据集。设计一个试验原型框架用于评估新方法的实际效果。     

一种基于模糊形式概念分析的模糊本体学习方法

模糊本体是语义网中处理模糊信息的重要工具,而模糊本体学习是构建模糊本体的一种有效方法,因此模糊本体学习已逐渐成为现今本体研究的热点。作为模糊本体的另一种图结构的表现形式,模糊概念格构造与演化的研究也渐渐引起人们的关注。模糊形式概念分析是一种基于模糊形式背景表示形式概念的新模型,是由模糊集理论与形式概念分析结合而成,其主要表现形式即是模糊概念格。这种模糊概念层次结构是数据分析及规则提取的有效工具,且支持概念间相似度的计算。提出一种基于模糊形式概念分析的模糊本体学习方法,意图从领域文档中获取模糊概念和模糊概念关系,并通过模糊形式概念分析,将其添加到源模糊本体转化的模糊概念格中,以完成模糊本体学习。     

基于SOFL形式化方法的需求分析

介绍了形式化方法在需求分析中的运用,并且介绍了SOFL作为一种优秀的形式化工程方法的一些特点.SOFL在需求分析阶段中采用从informal到semi-formal再到formal的逐步过渡和演化,并采用CDFD进行功能分解和数据流的精确定义,有助于精确且逻辑严密地描述需求,消除需求说明文档隐含的不一致性、二义性、不完整性,从而生成高质量的形式化描述的需求文档.     

基于扩展FSM的Web应用安全测试研究

Web应用程序由于其自身的特点和实现方式,在面对恶意攻击时,显得十分脆弱。为了提高Web应用系统的安全性,需要针对它的特点设计合理有效的测试方法。提出一种方法,采用扩展的有限状态机模型针对Web应用可能存在安全漏洞的模块进行形式化的分析建模,生成威胁模型并从中解析出抽象的安全测试用例。结合常见的Web应用安全攻击方式中基于语法的攻击输入数据,将抽象的安全测试用例实例化为实现级别的可执行的安全测试用例。设计开发了一个原型工具,以一个Web购物网站为待测系统,在实验中验证了该方法的可行性和有效性。     

一种基于TTCN-3的Web Service测试方法

Web Service测试成为当前软件测试的研究热点,TTCN-3是ETSI专门为测试领域制定的通用测试语言,在很多领域以及不同的软件开发阶段都有运用.使用Axis2将WSDL文件中的内容映射到Java类中,再将Java类代表的数据结构和操作按照相应规则映射到TTCN-3中,映射得到结构清晰合理的数据类型,即可有效地对Web Service进行测试,并只需进行少量更改即可应用到对其他Web Service的测试中,大大减轻测试人员的工作量,提高测试效率.     

基于粒化的形式背景的概念格研究

将粒计算引入到形式背景分析中,并在确定算子与可能算子两种运算的基础上提出了确定-可能粒背景N-PGC（Necessi-ty-possibility granular context）算法。通过将属性、对象的相容粒经过确定算子与可能算子的运算得到的结果作为新背景的属性、对象,并分析了新背景与原始形式背景的概念格关系。     

基于JSF和Hibernate的Web应用

目前JSF(Java Server Faces)已经作为构建Web应用的主流框架之一,而开源O/R映射工具Hibernate可以将对象同存放于关系数据库中的数据进行映射.以一个基于JSF和Hibernate的企业信息管理系统为例,介绍了JSF和Hibernate在构建Web系统中的应用.     

一种基于Z和精化演算的形式化开发方法

通过分析Z和精化演算各自的特点,本文提出了一种使两者无缝集成的形式化开发方法。该方法利用Z良好的描述特性和扩充的类机制,将系统规约直妆定义成精化演算中的抽象程序,然后用精化规则对抽象程序逐步精化,直到可执行程序。最后给出了一个简单例子。     

一种基于需求追踪的Web应用测试脚本修复方法

自动化测试技术通过测试脚本使测试人员无需重复耗时乏味的手工黑盒测试。然而随着软件界面的演化,通常会导致基于界面元素的测试脚本失效,测试人员不得不手工检测和修复失效的脚本。提出一种基于需求追踪的测试脚本修复方法,辅助追踪界面元素的演化的影响范围。分析Web应用中常见的容易导致测试脚本失效的界面元素演化类型,针对每种类型给出在模型框架下QTP软件测试脚本修复规则。在此基础上,开发了一个自动修复失效脚本工具,通过一个案例,展示了该方法的可行性。     

基于CORBA和Web Services的集成技术的研究和应用

讨论了如何将基于SOAP/IIOP网关的CORBA与Web Services集成技术,应用到电力系统中变电站的远程监控系统中.     

基于范畴论的形式语言模型建模方法研究

形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言模型范畴。在形式语言族模型的形式化理论框架内,用与特定形式语言无关的范畴论方法研究形式语言模型转换的语义一致性。初步分析形式系统的完备性,通过与形式语言理论主要研究方法的比对论证了范畴论方法的优势,为形式语言模型的范畴论方法研究提供一个便利、高效的形式化理论框架。