1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
    软件工程 栏目所有文章列表
    (按年度、期号倒序)
        一年内发表的文章 |  两年内 |  三年内 |  全部
    Please wait a minute...
    1. Bench4Q:一种面向服务质量的电子商务测试基准设计与实现
    段智全,张文博,王伟
    计算机科学    2010, 37 (12): 81-84.  
    摘要 (79)   PDF (412KB) (136)  
    作为电子商务系统的基础运行平台,应用服务器提供的服务质量是关注焦点,然而目前主流的电子商务测试基准如TPC-W,主要关注性能度量,缺乏针对电子商务服务质量需求的设计,使得其难以准确地评价应用服务器提供的服务质量。提出了一种面向服务质量的电子商务测试基准Bench4Q,它在模拟负载仿真、度量分析等多个方面对TPC-W进行了扩展,并通过对典型的应用服务器的测试展示了Bench4Q的设计特征。
    相关文章 | 多维度评价
    被引次数: Baidu(3)
    2. 面向访问验证保护级的安全VMM形式化原型系统设计和实现
    易秋萍,刘剑,武术
    计算机科学    2010, 37 (12): 85-90.  
    摘要 (57)   PDF (493KB) (176)  
    操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都提出了对内核进行形式化规范和验证的要求。近年来国内相关研究机构相继开发了满足GB 17859-1999“强制访问控制级”和“结构化保护级”的安全操作系统原型,但对更高级别的安全操作系统的研发尚属空白。在“面向访问验证保护级安全操作系统”课题的研究中,设计并实现了一个基于Haskell的安全VMM原型系统—CASVisor.CASVisor严格定义了系统的形式化规范,可用于指导高性能的C程序的实现,并为形式化的分析和验证打下基础,同时CASVisor具备模拟功能,以便实施基于快速原型的开发方法。
    相关文章 | 多维度评价
    被引次数: Baidu(1)
    3. CILinear:一个线性不变式自动构造工具
    邢建英,李梦君,李舟军
    计算机科学    2010, 37 (12): 91-95.  
    摘要 (59)   PDF (405KB) (181)  
    构造不变式是程序验证的重要组成部分,而开源工具Interpro。能对简单的程序设计语言构造线性不变式。基于Interproc和C程序编译工具CII,针对简化的C程序设计并实现了自动构造数值型程序变量线性不变式的工具CILinear,并与Interproc进行了比较。实验表明CILinear能有效地构造线性不变式,并且比Interproc支持的语法更多。通过实例讨论了CILinear在程序验证中的实际应用。
    相关文章 | 多维度评价
    被引次数: Baidu(14)
    4. WF-net模型到PNML的转换方法研究与实现
    周建涛,海晓军
    计算机科学    2010, 37 (12): 96-98.  
    摘要 (43)   PDF (317KB) (154)  
    Petri网标记语言PNMI是一种基于XM工的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNMI格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实现了WF-net描述到PNML描述自动转换的工具软件。这些工作为Petri网标准交换格式的制定做了有力的探索。
    相关文章 | 多维度评价
    被引次数: Baidu(8)
    5. 面向不确定需求的适应性软件体系结构设计
    付赟,李敏强,陈富赞
    计算机科学    2010, 37 (12): 99-105.  
    摘要 (63)   PDF (673KB) (106)  
    需求不确定性是软件开发的主要风险来源之一。首先讨论了不确定需求的含义、产生的原因及其影响;然后分析了需求与软件体系结构的关系;指出了软件体系结构对满足需求和控制软件风险的重要性;提出了在不确定需求的情形下,需求分析与体系结构设计的协同建模方法及适应性软件体系结构的设计思想;论证了不确定需求情形下软件体系结构的演化过程,以保障生命周期内软件产品质量的开发思路。
    相关文章 | 多维度评价
    被引次数: Baidu(11)
    6. 一种Web服务特征交互自动检测方法
    骆翔宇,谭征,董荣胜
    计算机科学    2010, 37 (12): 106-109.  
    摘要 (48)   PDF (374KB) (109)  
    模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BPEI、活动执行的形式化模型,给出活动执行语义,进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法,这些七元组包含了智能体执行过程中有关状态变化的有效信息。实验表明,提出的算法可以有效验证Web服务中的特征交互问题,而且支持认知逻辑规范的验证。
    相关文章 | 多维度评价
    被引次数: Baidu(15)
    7. 一个事件驱动的中间件平台
    贺建立,陈榕,顾伟楠
    计算机科学    2010, 37 (5): 107-111.  
    摘要 (101)   PDF (437KB) (1090)  
    事件驱动具有异步多点通信的优点,引起了广泛的研究兴趣。提出了一个由基层和元层两层结构组成的自适应中间件框架,元层主要由接口元模型、组装元模型和感知元模型3个相互独立的模型组成。感知元模型负责数据在对象间流动,为应用提供运行时的环境。给出了感知元模型的设计和实现方法,基于有限状态自动机和时序逻辑提出了系统的形式化规范。为兼顾系统和应用两级并发,系统设计结合了事件和线程。图形用户接口系统在平台上的实现证明了平台在开发复杂的并发应用方面有着广阔的前景。
    相关文章 | 多维度评价
    被引次数: Baidu(2)
    8. 描述Web服务的一阶动态逻辑
    吴晓庆,马越,曹存根,眭跃飞
    计算机科学    2011, 38 (11): 109-113.  
    摘要 (50)   PDF (340KB) (127)  
    Web服务有几种形式化表示:WSMO ( Web服务建模本体)和OWL-S ( Web服务本体语言)。为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML。这里的一阶动态逻辑与传统的PDL不同,后者是用来表示程序改变变量的动态性质的,而描述Web服务的一阶动态逻辑除了描述改变变量的程序动作的动态性质之外,还需要描述改变关系的服务动作的动态性质。给出了描述Web服务的PDI、的语法和语义,并且用一个例子说明了PDL是如何表示Web服务的静态属性和动态属性的,以及改变变量和改变关系的动作的动态性质。
    相关文章 | 多维度评价
    被引次数: Baidu(6)
    9. Web应用软件的结构测试研究
    路晓丽,董云卫
    计算机科学    2010, 37 (12): 110-113.  
    摘要 (36)   PDF (385KB) (113)  
    为了保证Web应用的质量和可靠性,Web应用软件测试受到了人们越来越多的重视。有效的Web应用软件的测试依赖于对其进行充分的分析和理解,掌握其内部的控制流和数据流信息,构建结构模型实施基于覆盖率的结构测试。提出了一种Web应用软件结构模型,它分为5级,分别为函数级、函数群级、对象级、对象群级和应用级,且基于此结构模型,提出了测试用例的设计和选择的方法,从而更好地支持了Web应用软件的结构测试。
    相关文章 | 多维度评价
    被引次数: Baidu(11)
    10. 一种基于环境约束的异常程序行为模型
    何加浪,徐建,张宏
    计算机科学    2010, 37 (5): 112-114142.  
    摘要 (41)   PDF (357KB) (113)  
    在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部运行原理,将分析范围限定在函数范围内。实验结果表明模型具有较好的精确性和较低的性能影响。
    相关文章 | 多维度评价
    首页 | 前页| 后页 | 尾页 第1页 共27页 共262条记录