摘要：BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的.

摘要：随着信息物理融合系统(Cyber-Physical Systems,CPS)应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用HybridUML对CPS进行建模,然后将该通用模型转换为形式化模型,进而进行形式化验证.本文采用的形式化验证方法为dL(Differential Dynamic Log-ic),其操作模型为hybrid program.将HybridUML模型转换为hybrid program时,基于语义一致性的原则定义转换规则.转换完成后,结合得到的hybrid program对验证的CPS属性进行规约,最后使用定理证明器KeYmaera对属性进行自动化验证.

摘要：面向对象软件度量技术是面向对象开发方法中不可缺少的一环 .但是以往适用于过程性和结构化软件开发的传统度量方式是不适用于面向对象程序设计的 .本文分析了面向对象程序设计语言的特点及其对软件度量的影响 ,并介绍了一个具体的支持 C+ +软件度量的自动生成工具 .

摘要：Web服务因其强大的集成能力而受到广泛重视.单个Web服务提供的功能通常是有限的,因此实际应用中需要对网络上分布的Web服务进行组合以满足用户需求,这种组合的方法为Web服务测试带来了新的挑战.采取变异的思想对Web组合服务进行测试,基于OWL-S文档中提供的关于组合流程的信息设计了15种变异算子,在此基础上给出了测试系统框架,详细分析了变异测试的步骤和部分功能部件实现的思想.文章的最后通过一个例子分析变异体是如何生成的.

摘要：从类层次图 CHG( class hierarchy graph)出发 ,提出一个基于 CHG的分析面向对象程序的框架 OOAF( object- oriented analyzing framework) ,讨论了 OOAF的功能、算法和设计思想 ,给出了子对象识别以及可见方法、主导方法的确定算法 ,建立了可见方法类层次图 ;并且通过计算方法的继承集、改写集以及对方法改写边界的确定 ,生成程序的虚函数调用图 。

摘要：按照ISO25010标准中代码易替换性定性描述,人们很难从被替换软件产品的代码出发,定量地刻画其易替换性.为了自动化地度量代码的易替换性,本文充分考虑Java类/包的耦合关系和本身的复杂度,定义了一个类/包的易替换性度量公式.然后,在100个开源项目上进行实验,结果表明:(1)不同构造型的类的易替换性差异较大,其差异性与类承担的交互职责的多少有关;(2)包的易替换性与包中类个数没有显著的线性相关性;(3)与按层次划分的包相比,按功能特性划分的包具有更高的易替换性.从代码易替换性角度来看,在设计类和包时,本文的经验研究为开发者提供了有益的建议.

摘要：面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范畴论形式化GRL模型的方法。首先,依据GRL元模型结构,应用范畴论中的态射机制形式化描述GRL模型中目标与目标、目标与任务以及任务与任务等节点之间的关系;然后,通过增加范畴模型中的初始对象和终止对象,设计紧邻序列来表示多个目标与任务实施的因果关系;最后,设计业务目标模型系统的正确性结构性质。应用Web Payment系统实验表明,形式化业务范畴模型能够验证GRL模型的正确性,提高目标建模的质量。

摘要："波动”一词从程序设计出现就已经产生.在程序中,各个语句之间不是孤立的,一个语句执行后的不同结果可能使另一个语句执行时得到不同的结果,或者决定了另一个语句执行或者不执行,这两种情况都称前一个语句影响了后一个语句.那么,当修改程序的某个部分(语句)时,可能潜在地影响到程序的其它部分(语句),这就是程序中存在的波动效应[1],而找出对某个部分的修改影响波动到的程序范围也就是波动分析.在Weiser提出程序切片的概念以后,程序切片方法不断扩充和发展,成为波动分析的主流.本文所讨论的波动分析与程序切片有所不同,是根据面向对象语言的特点、针对类及其成员而提出,以图在程序修改的前后,找到相应方法所能波动到的类和成员,减少语法语义错误和帮助程序理解.

摘要：1 引言随着面向对象技术的广泛应用,对面向对象程序的理解也变得日益重要,理解方法之一就是软件可视化,通过对软件所有方面的属性及行为进行图形化显示,包括:设计和分析方法、系统、程序和算法,使软件理解更直观准确.和软件可视化相近的另一个概念是程序可视化,在八十年代后期提出时其意义和软件可视化相同,现在认为是软件可视化中的一个部分,其目的是帮助理解、排错,进行程序性能分析[3],程序可视化意味着更多地考虑具体的程序执行和其数据而不是算法的可视化.从图1可看出软件可视化的分类.

摘要：区块链作为对等网络中的一种分布式账本技术,集成了密码学、共识机制、智能合约等多种技术,提供一种新型信任体系构建方法.智能合约具有公开透明、实时更新、准确执行等显著特点,在区块链中为信息存储、交易执行和资产管理等功能的实现提供了更安全、高效、可信的方式.但是,智能合约本身仍然存在安全问题,影响了区块链技术的进一步推广使用.所以,近年来围绕智能合约安全问题的相关研究比较多,为了帮助相关人员更好地理解和掌握其中的研究思路,本文采用Mapping Study方法,通过收集2015年以来公开发表的关于智能合约安全问题的各类文献,并进一步通过文献筛查、问题设置、信息提取、结果获取和分析等步骤,总结智能合约安全相关研究的现状和未来发展趋势如下:(1)目前智能合约自身面临的安全问题和挑战主要体现在合约安全和隐私安全两方面(问题和挑战).在调查的45篇文献中,有29篇文献针对合约安全,16篇文献针对隐私安全;(2)智能合约安全保障目前采用的方法主要包括形式化验证、模糊测试、零知识证明、可信执行环境等(保障方法);(3)针对合约安全的研究目前主要集中在合约实现、测试阶段,而针对智能合约设计、部署及运维阶段的研究比较少;针对隐私安全的研究主要集中在合约数据隐私保护,而针对合约代码隐私安全的比较少(覆盖范围);(4)智能合约安全保障研究目前主要从合约实现人员、合约测试人员的角度进行,而从合约维护人员和合约用户角度展开的研究较少(研究角度);(5)未来研究应该围绕智能合约的全生命周期的每个阶段安全问题进一步推进,先验方法和后验方法、定性方法和定量方法、静态方法和动态方法的结合是大势所趋(发展趋势).综上,本文通过调研发现了现有研究的不足,并建议了进一步的研究方向.