公共文化服务平台

共 7 条记录，以下是 1-7

全选清除导出

排序方式：

基于GCL语言的测试用例生成方法被引量：1: 2014年; 提出一种基于GCL语言生成程序测试用例的形式化方法.程序的语义为测试用例的生成提供了基本框架,而由Hoare等人提供的规则保证了用例的正确性.作者的这种方法可被认为是一种严格的,自动生成测试用例的方法.这种方法的优点在于:所获得的测试用例都是可行的,在测试用例生成过程中可以避免状态爆炸问题,而且该方法可以延拓到任何目标语言.据此开发了一个基于Haskell语言的原型工具来支持作者的方法.; 丁佐华JeffSanders江明月张娜蒲戈光; 关键词：测试用例软件测试

一种面向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网常微分方程

基于Petri网的安全协议的分析: Petri网是一种常用的对安全协议建模和分析的方法。本文首先采用Petri网对安全协议进行建模,为了对安全协议进一步的分析,提出将Petri网模型转换为Promela模型的方法,并详细描述了转换规则。采用线性逻辑语言（L...; 刘凤丽韩维江明月; 关键词：安全协议 PETRI网线性时序逻辑; 文献传递

一种基于表达与隐私模型的意见动力学的设计方法及系统: 本发明公开了一种基于表达与隐私模型的意见动力学的设计方法及系统，其中涉及的一种基于表达与隐私模型的意见动力学的设计方法，包括步骤：S1.将HK模型的有限置信度引入EPO模型中，得到意见动力学MEPO模型；S2.基于得到的...; 侯健江明月李汶珊魏春岭; 文献传递

web应用的需求检查: 软件需求的一致性是保证软件可信性的一个重要方面。资料显示,由于需求不符而导致的系统失败高达40/%。需求一致性的检查一般来说,分为三个方面:一是检查系统设计是否满足系统原本的需求,二是检查设计被细化过程中是...; 江明月; 关键词：WEB应用服务组件架构; 文献传递

全选清除导出

共1页<1>

江明月