江明月
- 作品数：12 被引量：2H指数：1
- 供职机构：浙江理工大学更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一种生成式文本摘要模型的一致性评估方法及系统
- 本发明提供一种生成式文本摘要模型的一致性评估方法及系统，涉及软件工程技术领域，方法包括：选择原始文档，以原始文档作为生成式文本摘要模型的输入，输出原始摘要，设置生成式文本摘要模型的蜕变关系，根据原始文档，利用蜕变关系，构...
- 江明月 朱小艳
- 一种面向ATL模型转换程序的自动化缺陷修复方法
- 2022年
- 模型转换是模型驱动架构(Model Driven Architecture, MDA)的核心活动,它的质量直接影响到基于MDA的软件产品的质量。因此,基于模型转换开展的测试、错误定位以及缺陷修复对于基于MDA的软件开发来说至关重要。然而,由于模型转换程序自身的特点,应用于传统软件的一些方法不能直接应用。本文针对ATL (ATLAS Transformation Language)模型转换程序,提出一种基于随机搜索(random search)的缺陷修复方法,主要包括:1) 利用蜕变关系来描述模型转换程序相关源模型及其对应目标模型所应满足的属性,在此基础上应用蜕变测试技术来实现补丁的验证,以缓解ATL程序自动化缺陷修复中的Oracle问题;2) 针对ATL程序设计并实现9种变异操作(mutation operators);3) 基于随机搜索来驱动补丁生成和验证。进一步基于该方法实现一个原型工具AMTRepair,并基于AMTRepair开展了初步的实验。实验结果表明针对目标程序,AMTRepair的缺陷修复率约为51%,其正确补丁生成率为30%。
- 谭泽理杜柯柯江明月
- 关键词：缺陷修复
- 基于Petri网的安全协议的分析
- Petri网是一种常用的对安全协议建模和分析的方法。本文首先采用Petri网对安全协议进行建模,为了对安全协议进一步的分析,提出将Petri网模型转换为Promela模型的方法,并详细描述了转换规则。采用线性逻辑语言(L...
- 刘凤丽韩维江明月
- 关键词：安全协议PETRI网线性时序逻辑
- 文献传递
- 基于常微分方程的死锁检测实验分析被引量：1
- 2009年
- 用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化,得到一种新的连续Petri网模型;在此基础上,建立系统的常微分方程模型;通过分析常微分方程组的解来检测系统中是否存在死锁.与传统方法不同点在于:该方法不需要遍历状态空间,而是分析一组常微分方程组的解.为了减少在求解常微分方程模型过程中的计算机系统的开销,作者还釆取了一系列优化策略.哲学家进餐问题被用来说明死锁检测的方法.大量的实验结果说明作者所提出的方法有着较强的静态分析能力.作为副产品,这种分析方法还可以用来判定系统的有界性.
- 丁佐华江明月刘静
- 关键词：死锁检测并发程序连续PETRI网常微分方程
- 一种基于源模型约简的模型转换程序缺陷定位方法及系统
- 本发明提供一种基于源模型约简的模型转换程序缺陷定位方法及系统，涉及软件工程术领域，方法包括：获取第一源模型集合，第一源模型集合包括多种源模型；通过模型转换程序，将源模型转换为目标模型；判断各个源模型是否成功转换为目标模型...
- 江明月 蒋俊鹏
- 蜕变测试技术综述
- 2024年
- 蜕变测试作为一种新兴的软件测试技术,近年来得到蓬勃发展,并成功应用于多个领域。文章系统地梳理了自2016年以来蜕变测试技术的相关研究工作。首先,介绍了蜕变测试技术的基本概念、原理及其具体实施过程。其次,阐述了蜕变关系的研究现状,并在此基础上总结出6种蜕变关系模式,为测试人员识别有效的蜕变关系提供了思路和参考。再次,从不同角度汇总了蜕变测试在各个领域的应用。最后,对蜕变测试技术未来的发展方向进行了展望。
- 朱小艳江明月
- 一种基于代码表征学习的蜕变关系预测方法
- 本发明提供一种基于代码表征学习的蜕变关系预测方法，涉及软件工程技术领域，方法包括：确定目标程序语言，并选择程序以及蜕变关系数据；通过分析目前先进的代码表征学习模型，选择并确定适用于蜕变关系预测任务的代码表征学习模型；结合...
- 江明月郑雪丹
- 基于GCL语言的测试用例生成方法被引量：1
- 2014年
- 提出一种基于GCL语言生成程序测试用例的形式化方法.程序的语义为测试用例的生成提供了基本框架,而由Hoare等人提供的规则保证了用例的正确性.作者的这种方法可被认为是一种严格的,自动生成测试用例的方法.这种方法的优点在于:所获得的测试用例都是可行的,在测试用例生成过程中可以避免状态爆炸问题,而且该方法可以延拓到任何目标语言.据此开发了一个基于Haskell语言的原型工具来支持作者的方法.
- 丁佐华JeffSanders江明月张娜蒲戈光
- 关键词：测试用例软件测试
- 基于Petri网的安全协议的分析
- Petri网是一种常用的对安全协议建模和分析的方法。本文首先采用Petri网对安全协议进行建模,为了对安全协议进一步的分析,提出将Petri网模型转换为Promela模型的方法,并详细描述了转换规则。采用线性逻辑语言(L...
- 刘凤丽韩维江明月
- 关键词：安全协议PETRI网线性时序逻辑
- 文献传递
- 一种基于表达与隐私模型的意见动力学的设计方法及系统
- 本发明公开了一种基于表达与隐私模型的意见动力学的设计方法及系统，其中涉及的一种基于表达与隐私模型的意见动力学的设计方法，包括步骤：S1.将HK模型的有限置信度引入EPO模型中，得到意见动力学MEPO模型；S2.基于得到的...
- 侯健江明月李汶珊魏春岭
- 文献传递
