国家自然科学基金(91318301)
- 作品数:30 被引量:115H指数:5
- 相关作者:刘静宫云战刘春金芝陈小红更多>>
- 相关机构:华东师范大学中国科学院大学北京邮电大学更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信文化科学更多>>
- Obfuscated Malicious Java Script Detection by Machine Learning
- In recent years,malicious Java Script code has become more and more pervasive and been used by attackers to pe...
- Jinkun PanXiaoguang Mao
- 文献传递
- 设计模式指导的软件分簇方法被引量:4
- 2014年
- 程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.
- 王林章何剑涛韩志雄卜磊赵建华李宣东
- 关键词:设计模式再工程软件复用可视化
- 基于形式化测试的实时系统变更后安全性验证被引量:1
- 2014年
- 变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用.
- 孙海英刘静陈小红杜德慧周庭梁
- 关键词:软件工程实时系统形式化方法软件测试安全性测试
- 基于踪迹挖掘的自动缺陷警报分类方法
- 2014年
- 缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.
- 张大林金大海宫云战张海龙杨学红
- 关键词:踪迹
- 基于分层过程模型的过程演化技术
- 2013年
- 为了解决当前工作流语言粒度过细和引擎对过程动态演化支撑不足的问题,通过在原有工作流模型上建立一层抽象的业务过程模型,建立了一种新的分层过程模型,从而增强了过程的描述能力。同时扩展原有的过程演化技术,使其适用于分层模型下的过程演化,并给出相应的系统实现。通过实例验证了所设计系统的正确性。
- 徐刚胡昊余萍葛季栋吕建
- 关键词:WEB服务业务过程执行语言
- 信息物理融合系统的时间需求一致性分析被引量:9
- 2014年
- 信息物理融合系统(cyber-physical system,简称CPS)蕴藏着巨大的潜在应用价值.时间在CPS中起到非常重要的作用,应该在需求早期阶段明确.提出了一个基于逻辑时钟的CPS时间需求一致性分析框架.首先,构建了CPS软件的时间需求概念模型,提供时间需求和功能需求的基本概念,并给出了概念模型的形式化语义;然后,在模型制导下,从CPS的交互环境特性和约束中提取出其软件时间需求规约.基于形式化语义,定义了时间需求规约的一致性特性.为了支持形式化验证,将时间需求规约转换成NuSMV模型,用CTL公式表述要检测的特性,并使用NuSMV工具实施了一致性检测.
- 尹玲陈小红刘静
- 关键词:信息物理融合系统形式化验证
- Aspect-Oriented Modeling Method for Real-Time Information Systems
- To address real time information system development,principled methods are needed to specify,develop,compose,i...
- Lichen Zhang
- 关键词:ASPECT-ORIENTEDMDA
- Hybrid-Fixing:上下文一致性错误的正确修复被引量:1
- 2015年
- 在普适计算中,上下文持续快速变化,上下文感知应用根据上下文变化自动调整自身的行为以作出适应.然而,由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响,环境上下文会发生一致性错误,从而导致应用表现异常甚至失效.为了解决这些问题,上下文一致性错误需要被自动并正确地修复,现基于已有工作提出了一项新的修复技术hybrid-fixing,它结合了对一致性约束的静态分析和修复动作的动态产生,即使一致性约束内部存在复杂依赖关系,也能确保所生成的修复用例必然正确.实验结果表明,这项修复技术大幅提高了一致性约束内部存在复杂依赖关系下一致性错误修复的成功率,并只花费了很小的时间开销.
- 陈小康许畅江磊
- 关键词:普适计算上下文
- A method to facilitate automatic test cases generation based on inverse functions
- In the area of automatic test cases generation,it is challenging to satisfy constraints of complex expressions...
- W.XiongJ.F.HuangX.Z.ZhangY.Z.Gong
- 文献传递
- 一种面向目标的软件游戏化分析方法被引量:6
- 2017年
- 游戏化是将游戏的设计元素或者机制应用于非游戏环境来激发人们参与某一项活动的积极性.通过将游戏的设计元素和机制引入普通应用软件来实现软件游戏化具有重要意义.它将使得软件的使用过程更有趣味性,进而提升软件的吸引力和竞争力.然而,对于哪些软件适合游戏化,以及如何实现软件游戏化目前仍然缺乏相应的指导方法.针对该问题,从软件需求分析的角度出发,提出一种面向目标的软件游戏化分析方法.该方法为每个需要用户和软件共同参与完成的活动建立由度量和评价等软件游戏化行为所构成的反馈环.该反馈环形成一个正向激励的过程,激励用户积极的参与到软件所支持的活动.
- 王雅倩刘春俞一峻金芝
- 关键词:游戏化用户需求