栏目文章信息

    软件过程处理 栏目所有文章列表
    (按年度、期号倒序)
        一年内发表的文章 |  两年内 |  三年内 |  全部
    Please wait a minute...
    选择: 显示/隐藏图片
    1. 基于本体的服务网络平台及其构建方法
    王辉 冯志勇 陈炬 陈世展
    计算机应用    2010, 30 (8): 2170-2172.  
    摘要316)      PDF (654KB)(1450)    收藏
    在基于语义关系的大规模Web服务组织结构:服务网络模型的基础上,构建了服务网络系统平台。提供了对Web服务和服务关系的描述,使得Web服务的自动化处理成为可能。设计了可动态优化的服务网络系统内核,实现了服务网络的数据存储、网络优化和关系挖掘;设计和实现了系统创建维护工具、系统服务增长工具、可视化工具等一整套核心工具;给出了服务关系构成建的基本方法和流程,完善了网络结构。最后,一些基于服务网络的应用证明了该系统的有效性和广泛适用性。
    相关文章 | 多维度评价
    2. 基于CSP的OWL-S语义分析与建模
    杨建书 吴尽昭 周瑾
    计算机应用    2010, 30 (8): 2173-2176.  
    摘要430)      PDF (696KB)(1227)    收藏
    为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并利用该模型为OWL-S过程定义了形式化语义。最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语义的完整流程。由于该方法具备良好的数学基础,所以可以基于该方法开发出自动化验证OWL-S过程模型的工具,提高系统的安全性。
    相关文章 | 多维度评价
    3. 领域需求差异分析方法与应用研究
    王筠 郭莹 杨萍 杨美红
    计算机应用    2010, 30 (8): 2177-2180.  
    摘要321)      PDF (855KB)(1032)    收藏
    领域信息源的发展变化是推动领域需求不断演进的源泉,已有的领域分析方法中却鲜有对领域需求演变过程和如何演变进行分析的说明。因此,提出了一种领域需求差异分析方法,主要用于对特定领域的需求演变进行分析。该方法借助领域原型系统获取并分析领域需求现状与目标之间的差异问题,从而得到领域需求演进过程需要关注的问题域,并以此为依据建立领域需求演进模型。该方法在银行核心业务领域的需求分析过程中进行了实际应用,充分验证了该方法的有效性。
    相关文章 | 多维度评价
    4. 面向安全评估的高速铁路CTCS-2列控系统安全性测试环境
    熊静 喻钢 徐中伟 郦萌
    计算机应用    2010, 30 (8): 2181-2184.  
    摘要311)      PDF (811KB)(1081)    收藏
    高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试策略,实现了基于SED_TSL的CTCS-2列控系统自动化测试环境,并投入到铁道部的CTCS-2列控系统产品制式检测中,有效地实现了列控系统产品的功能与安全性测试。
    相关文章 | 多维度评价
    5. 基于TTCN-3的Web应用功能测试方法
    施寅生 王峰 齐璇 宗建建
    计算机应用    2010, 30 (8): 2185-2188.  
    摘要343)      PDF (561KB)(1166)    收藏
    针对日益增长的Web应用功能测试需求与测试重用需求,提出了一种基于TTCN-3的Web应用功能测试方法。该方法结合分层测试的思想以及TTCN-3的特点,提出将Web应用功能测试划分为页面内容测试、会话管理测试、使用场景测试等3个层次,并分别从这3个层次给出了采用TTCN-3进行测试的过程。该方法应用TTCN-3参数化设计测试用例的思想,有效分离了测试设计与测试实现,使测试用例具有高可重用性。结合实例,表明了该方法的有效性。
    相关文章 | 多维度评价
    6. 基于三层体系结构的单元测试框架研究与实现
    周端阳 王猛
    计算机应用    2010, 30 (8): 2189-2192.  
    摘要328)      PDF (603KB)(1185)    收藏
    单元测试是整个测试流程中的基础也是最重要的环节,通过深入研究三层体系结构特点,提出了一种基于该体系结构下的单元测试框架,该框架采用流行的面向接口编程技术,同时将设计模式灵活应用其中,有效指导了整个测试过程。目前整套框架已投入实际项目的运行,并且经过实践证明是切实可行的,不仅能及时发现软件开发过程中潜藏的问题,更有效保证Web应用程序的质量, 节省了后期维护费用的开销。
    相关文章 | 多维度评价
    7. 基于Trie树的哈希表
    史长琼 唐铭 张大方 周恺卿
    计算机应用    2010, 30 (8): 2193-2196.  
    摘要201)      PDF (580KB)(1228)    收藏
    受到AC算法与链式哈希的启发,提出了一种基于Trie树的哈希表。该算法通过增加一个后继状态计数器,能够为后续的查找等运算提供更加简单和快速的信息。分析与实验表明该算法具有较高的效率、较强的稳定性,且降低了能耗。
    相关文章 | 多维度评价
2024年 44卷 3期
刊出日期: 2024-03-10
文章目录
过刊浏览
荣誉主编:张景中
主  编:徐宗本
副主编
:申恒涛 夏朝晖

国内邮发代号:62-110
国外发行代号:M4616
地址:四川成都双流区四川天府新区
   兴隆街道科智路1369号
   中科信息(科学城园区) B213
   (计算机应用编辑部)
电话:028-85224283-803
   028-85222239-803
网址:www.joca.cn
E-mail: bjb@joca.cn
期刊微信公众号
CCF扫码入会