代数规约

作品数：14被引量：14H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘冬梅朱鸿余波张鑫吴献更多>>
相关机构：南京理工大学国防科学技术大学中南林业科技大学涉外学院大连海事大学更多>>
相关期刊：《计算机与数字工程》《信息与电脑（理论版）》《岭南师范学院学报》《计算机工程与应用》更多>>
相关基金：国家自然科学基金湖南省普通高等学校教学改革研究项目中央高校基本科研业务费专项资金湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模式驱动的系统安全性设计的验证被引量：1
《计算机工程与科学》2020年第7期1197-1207,共11页郑小宇 刘冬梅 杜益宁 周子健 邱玫媚 朱鸿 
国家自然科学基金(61502233,61402229);江苏高校“青蓝工程”;中央高校基本科研业务费专项资金(30916011328);欧盟移动云计算FP7项目MONICA(PIRSES-GA-2011-295222)。
随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安...
关键词：安全设计模式 代数规约 形式化验证 模型检测 
面向Web服务测试的单线执行序列生成方法被引量：2
《计算机工程与科学》2019年第6期1034-1043,共10页何娟娟 刘冬梅 朱鸿 杜益宁 周子健 郑小宇 
国家自然科学基金(61502233,61402229);江苏高校“青蓝工程”;中央高校基本科研业务费专项资金(30916011328);欧盟移动云计算FP7项目MONICA(PIRSES-GA-2011-295222)
测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第三方Web服务并不支持这些操作,无法将测试用例转换成可执行操作序列。一种可行的解...
关键词：WEB服务 代数规约 单线测试序列 测试执行图 
一种基于代数规约的面向服务集成方法
《计算机与数字工程》2019年第1期161-168,共8页兰斌 刘冬梅 陈颖 何娟娟 
国家自然基金项目(编号:61502233;61402229)资助
面向服务集成是应用SOA思想实现软件重用的重要基础。目前以黑盒和白盒为主的面向服务集成方法都有它们的局限性:白盒方法侵入系统内部,侵入系统后稳定性方面存在问题,而黑盒方法虽然避免了侵入系统内部,但会增加系统维护和管理工作。...
关键词：WEB服务 面向服务集成 灰盒方法 代数规约 聚类分析 
基于代数规约的Web服务测试工具
《岭南师范学院学报》2018年第3期86-93,共8页刘宇欣 王国民 周秋霞 
代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT(Algebraic Specifications Based Automatic Testing),并利用该工具进行实验,展示了...
关键词：代数规约 WEB服务测试 测试自动化 
服务组合的代数规约被引量：1
《计算机工程与科学》2018年第6期1075-1083,共9页陈颖 刘冬梅 朱鸿 兰斌 何娟娟 
国家自然科学基金(61502233,61402229);江苏高校”青蓝工程”;中央高校基本科研业务费专项资金(30916011328);欧盟移动云计算FP7项目MONICA(PIRSES-GA-2011-295222)
现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构...
关键词：WEB服务 服务组合 代数规约 形式化方法 
基于代数规约的Web服务自动测试执行引擎被引量：4
《计算机与数字工程》2018年第1期114-121,共8页张鑫 刘冬梅 朱鸿 陈颖 兰斌 孙玉虎 
国家自然科学基金项目(编号:61502233,61402229)资助
随着面向服务计算的迅速发展,Web服务测试扮演着越来越重要的角色,尤其是在Web服务动态发现和组合的过程中,通过对第三方提供的服务进行自动测试已成为一个研究热点。近年来,从Web服务的形式化代数规约自动生成测试用例和自动检验测试...
关键词：代数规约 WEB服务 测试执行 单线测试序列 并发测试脚本 服务调用 
面向对象软件测试技术的研究
《信息与电脑（理论版）》2013年第7期61-62,共2页王瑜 
面向对象软件开发是当前计算机界关注的重点,对面向对象软件进行深入研究和开发,是促进计算机编程技术发展的一个必然要求。面向对象软件测试在面向对象软件开发过程中起着非常重要的作用,是整个开发过程中不可或缺的一个关键部分。目前...
关键词：面向对象 软件测试技术 软件开发过程 计算机界 测试方法 测试用例 功能模块 代数规约 系统测试 计 
从BPMN模型导出组合服务的代数规约被引量：1
《计算机工程与科学》2013年第2期74-80,共7页余波 
湖南省教育厅高校教学改革项目(2010-428)
针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成...
关键词：代数规约 组合服务 业务流程建模标注 业务流程可执行语言 
应用代数规约和数据变异策略测试类被引量：1
《计算机工程与应用》2011年第21期86-89,共4页余波 王昆 
湖南省教育厅高校教学改革项目(No.2010-428)
在应用基于代数规约测试类时,虽然可以有效解决测试数据生成和测试结果判断这两个测试难题,但是,因为该方法常常随机生成测试数据,会导致对于同一待测试类两次测试会得到不同的测试效果。为克服这个缺陷,提出应用数据变异方法,对已生成...
关键词：代数规约 数据变异 类测试 
面向代数规约测试谓词/变迁网
《小型微型计算机系统》2011年第9期1804-1809,共6页余波 
国家"九七三"重点基础研究发展计划项目(2005CB321802)资助;湖南省教育厅高校教学改革项目(2010-495)资助
针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序...
关键词：代数规约 可行路径 谓词/变迁网 变迁触发序列 测试充分性准则 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部