国家重点基础研究发展计划(2007CB310800)

作品数：47被引量：208H指数：9
导出分析报告
相关作者：缪淮扣应时李德毅陈圣波贾向阳更多>>
相关机构：上海大学武汉大学解放军理工大学上海市计算机软件评测重点实验室更多>>
相关期刊：《计算机技术与发展》《计算机工程与设计》《Chinese Physics B》《电子学报》更多>>
相关主题：WEB应用测试用例WEB服务复杂网络有限状态机更多>>
相关领域：自动化与计算机技术自然科学总论理学交通运输工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
在瀑布模型开发中导入UML图例的研究
《武汉理工大学学报（信息与管理工程版）》2014年第5期614-617,621,共5页刘锦行 夏红霞 
国家重大基础研究基金资助项目(2007CB310800)
在经典瀑布模型的需求阶段存在用户需求的模糊性和动态性,以及终端用户与软件开发者之间存在的专业心理差异所导致的信息误差等,这些不足威胁到软件的开发流程与最终成果物的品质。通过深入分析用户和开发者对需求分析说明书的审查验证...
关键词：瀑布模型 需求分析 UML图例 
社会标注系统幂律特性分析被引量：8
《复杂系统与复杂性科学》2014年第2期5-16,共12页吴振宇 胡军 李德毅 
国家'973'基金项目(2007CB310800);国家自然科学基金重点项目(61035004)
为全面了解社会标注行为,帮助用户多样化、个性化地使用资源,首先归纳总结标签增长、标签使用与重用以及标签网络等方面的幂律特性。然后,分析幂律特性的形成原因,并使用拓扑势方法进行描述。最后,讨论幂律特性在标签可视化、自动标注...
关键词：社会标注系统 幂律分布 拓扑势 
面向服务软件中异常处理的形式化建模方法被引量：4
《西安交通大学学报》2013年第4期118-124,共7页蒋曹清 应时 文静 贾向阳 王一兵 
国家"九七三"重点基础研究发展规划资助项目(2007CB310800);国家自然科学基础重点资助项目(91118003;61272113;61272108);国家自然科学基金资助项目(61070012;61170022)
针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模...
关键词：面向服务软件 异常处理 形式化建模 建模方法 
复杂网络中的社团结构发现方法被引量：10
《计算机科学》2012年第B06期103-108,共6页邓智龙 淦文燕 
国家973计划项目(2007CB310800);国家自然科学基金项目(61035004)资助
社团结构是真实复杂网络异质性与模块化特性的反映。深入研究网络的社团结构有助于揭示错综复杂的真实网络是怎样由许多相对独立而又互相关联的社区形成的,使人们更好地理解系统不同层次的结构和功能,具有广泛的实用价值。总结了目前常...
关键词：复杂网络 社团结构 社区发现 聚类 
基于LSC模型检验的性质抽取被引量：3
《上海大学学报（自然科学版）》2012年第2期156-162,共7页戴雨婷 缪淮扣 梅佳 高洪皓 
国家自然科学基金资助项目(60970007);国家重点基础研究发展计划(973计划)资助项目(2007CB310800);上海市自然科学基金资助项目(09ZR1412100);上海市科委基金资助项目(10510704900);上海市重点学科建设资助项目(J50103)
采用LSC(live sequence chart)描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从LSC需求规格说明中抽取与设计模型相...
关键词：LSC 模型验证 性质抽取 一致性 
构件式实时系统建模与验证研究被引量：2
《小型微型计算机系统》2012年第2期219-224,共6页梅佳 缪淮扣 高洪皓 
国家自然科学基金项目(60673115;60970007)资助;国家"八六三"高技术研究发展计划项目(2007AA01Z144)资助;国家"九七三"重点基础研究发展计划项目(2007CB310800)资助;上海市自然科学基金项目(09ZR1412100)资助;上海市重点学科建设项目(J50103)资助
在复杂的实时系统开发中使用构件式设计方法已成为目前软件开发领域中的研究热点,如何有效地验证实时软件的设计是否满足给定的时间需求并降低验证过程的复杂度,是实时计算领域中的主要挑战之一.文中对构件接口模型进行时间扩展,提出了...
关键词：构件系统 时间接口 时间接口自动机 验证 
一种改进的软件自适应随机测试策略被引量：1
《计算机工程》2011年第16期82-83,100,共3页郑成文 韩柯 张海粟 
国家"973"计划基金资助项目(2007CB310800)
针对自适应随机测试(ART)存在的高维和距离度量问题,提出一种改进的软件自适应随机测试策略。分析ART的局限性,扩展ART的前提假设,基于测试用例特征相似性度量选择最佳的测试用例。实验结果表明,与传统随机测试策略相比,改进策略能更多...
关键词：软件测试 自适应随机测试 测试用例 测试序列 相似性 
基于场景的形式化测试模型生成方法被引量：3
《上海大学学报（自然科学版）》2011年第5期595-599,共5页黄龙 缪淮扣 王皙 郭亮 
国家自然科学基金资助项目(60673115;60970007);国家高技术研究发展计划(863计划)资助项目(2007AA01Z144);国家重大基础研究发展计划(973计划)资助项目(2007CB310800);上海市自然科学基金资助项目(09ZR1412100);上海市教委重点学科建设资助项目(J50103)
在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言(unified modeling language,UML)状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state m...
关键词：WEB应用 自动化测试 状态图 有限状态机 顺序图 场景 形式化测试模型 
Generating test case specifications of web service composition using model checking
《Journal of Shanghai University(English Edition)》2011年第5期409-414,共6页钱铃莉 陈怡海 
Project supported by the Open Foundation of State Key Laboratory of Software Engineering(Grant No.SKLSE20080712);the National Natural Science Foundation of China(Grant No.60970007);the National Basic Research Program of China(Grant No.2007CB310800);the Shanghai Leading Academic Discipline Project(Grant No.J50103);the Science and Technology Commission of Shanghai Municipality(Grant No.09DZ2272600)
Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi- ness. However, little research has focused on testing web services. Based on the research of model check...
关键词：model-based testing web services choregraphy description language （WS-CDL） model checking simple promela interpreter （SPIN） test cases 
基于维基百科的语义知识库及其构建方法研究被引量：26
《计算机应用研究》2011年第8期2807-2811,共5页张海粟 马大明 邓智龙 
国家"973"重点基础研究项目(2007CB310800);国家自然科学基金重大资助项目(61035004);国家自然科学基金面上资助项目(69120912)
维基百科(Wikipedia)是规模最大的在线网络百科全书之一,采用群体在线合作编辑的Wiki机制,具有质量高、覆盖广、实时演化和半结构化等特点,是用来构建语义知识库的优质语料来源。分析了维基百科语料库的基本情况,综述了目前基于维基百...
关键词：维基百科 语义挖掘 知识库 文本挖掘 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部