位置：成果数据库 > 期刊 > 期刊详情页
构件组合的抽象精化验证
  • ISSN号：1000-9825
  • 期刊名称：软件学报
  • 时间：0
  • 页码：568-571
  • 语言：中文
  • 分类：TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术] TP391.41[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：School of Computer Engineering and Science, Shanghai University, Shanghai 200072, P. R. China
  • 相关基金：Project supported by the Natural Science Foundation of Shanghai （Grant No.09ZR1412100）, the National Natural Science Foundation of China （Grant No.60673115）, and the Shanghai Leading Academic Discipline Project （Grant No.J50103）
  • 相关项目：基于规格说明的Web应用测试方法研究
作者： 缪淮扣|曾红卫|
关键词： 死锁检测, 抽象, 细化, 转换系统, 状态爆炸, 无死锁, 自由度, deadlock detection, state explosion, extended labeled transition system, abstraction refinement, counterexample
中文摘要：

Corresponding author ZENG Hong-wei, Ph D, Prof, E-mail： zenghongwei@shu.edu.cn

同期刊论文项目
基于规格说明的Web应用测试方法研究
期刊论文 39 会议论文 32
　需求工程—对复杂系统的软件工程的基础研究
期刊论文 40
同项目期刊论文
DNA分子计算与DNA计算机的研究进展
Applying SMV for security protocol verification
A formal framework for WS-CDL based on process algebra
UML模型到FSM模型的转换
基于角色的设计模式形式建模及演化
一种用于模型验证的Web应用模型抽取方法
Towards common acquaintance immunization strategy for complex network
Web应用功能交互的建模与测试用例生成
Uppaal到PVS的时间自动机翻译器
基于场景的形式化测试模型生成方法研究
Web 应用自动化测试的研究
基于规格说明的若干逻辑覆盖测试准则
基于场景规约的系统行为建模
构件式系统的建模与验证
Web应用程序建模和测试用例生成方法
基于ORD和FSM的Web应用的建模与测试
从集合表达式产生测试数据的方法
基于复杂网络面向对象集成测试的研究
Towards Automatic Transformation from UML Model to FSM Model for Web Application
Multiple UIO-based test sequence generation for distributed systems
面向用户会话的Web应用测试用例生成及其优化
Automatic Generating Test Cases for Testing Web applications
Web应用的UML协作图建模与形式化规格说明
基于MDA的模糊本体生成方法
UML状态图测试充分性准则的公理化评估
一种验证Web应用设计的方法
一种基于功能构件的Web应用建模与测试方法
一种基于Object-Z规格说明的集成测试用例生成方法
一种基于Web软件集成测试的建模方法
基于UML的Web应用建模与测试方法
构件式实时系统建模与验证研究
图形转换的构件组装框架唯一性研究
基于接口自动机的Web应用验证
Web应用自动化测试的研究
形式概念分析在Web应用测试用例选取中的应用
反例引导的模型检验工具的设计
移动Ad Hoc网络网格路由协议研究进展
Timed automata for metric interval temporal logic formulae in prototype verification system
基于LSC模型检验的性质抽取
一种用于模型验证的Web应用模型抽取方法
基于FSM的测试理论、方法及评估
基于模型的Web应用测试
确定性有限状态机的最小测试成本迁移覆盖准则
基于维基百科的语义知识库及其构建方法研究
软件网络的多粒度拓扑特性分析及其应用
一种基于拓扑势的网络社区发现方法
网络时代的人工智能
软件结构属性分析与恶意软件检测
A Hybrid Set of Complexity Metrics for Large-Scale Object-Oriented Software Systems
Novel encryption model for multimedia data
Web应用功能交互的建模与测试用例生成
基于规格说明的若干逻辑覆盖测试准则
基于场景规约的系统行为建模
Automatic Generating Test Cases for Testing Web applications
一种面向语义Web服务的软件设计语言和设计方法
一种基于签名和属性的可执行文件比较
网络化软件的复杂网络特性实证
Steady state speed distribution analysis for a combined cellular automaton traffic model
Object-Z规格说明测试用例的自动生成器
基于UML的Web应用建模与测试方法
构件式实时系统建模与验证研究
图形转换的构件组装框架唯一性研究
基于复杂网络社团划分的Web services聚类
一种基于语义消息的Web服务组合方法
一种基于Spring的轻量级面向服务组件框架
一种体系结构层方面组合的冲突处理方法
基于层次赋时CPN的网络系统建模与可生存性优化
一种支持设计时软件重用的方法ArchBean
基于小波变换的真菌隐球酵母菌图像参数压缩
复杂软件第三方自适应测试研究
非一致OWL本体的推理方法研究
Classification evolution algorithm based on cloud model
A Method for Trust Management in Cloud Computing： Data Coloring by Cloud Watermarking
Generating test case specifications of web service composition using model checking
战场关键事件提取技术研究
需求工程——对复杂系统的软件工程的基础研究
提高程序代码通用性和易维护性问题的研究
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609