周颖

作品数：4被引量：8H指数：2
导出分析报告
供职机构：东南大学计算机科学与工程学院更多>>
发文主题：测试技术可靠性面向用户软件体系结构WEB服务更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《东南大学学报（自然科学版）》《小型微型计算机系统》《电脑知识与技术》更多>>
所获基金：国家自然科学基金教育部“新世纪优秀人才支持计划”江苏省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于DATL的信息物理融合系统安全性建模与验证被引量：1
《东南大学学报（自然科学版）》2017年第1期12-17,共6页周颖 段鹏飞 翟小祥 李必信 
国家自然科学基金资助项目(61572008)
为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数动态时态逻辑(DATL).采用微分代数程序(DAP)作为操作模型,使DAL具有d TL的时序处理能力.定义了DATL操作模...
关键词：信息物理融合系统 属性验证 微分时序动态逻辑 微分代数动态逻辑 微分代数时序动态逻辑 
面向用户的Web服务可靠性计算模型被引量：4
《东南大学学报（自然科学版）》2008年第4期605-610,共6页苏志勇 周颖 李必信 
江苏省自然科学基金资助项目(BK2007513);国家自然科学基金资助项目(60773105;60473065);国家高技术研究发展计划(863计划)资助项目(2007AA01Z141);教育部新世纪优秀人才支持计划资助项目(NCET-06-0466)
基于SOA,从用户的角度分析并计算Web服务及其应用的可靠性.首先采用一种扩展的UDDI模型收集可靠性相关数据,计算基本服务的可靠性、转移失效率和转移概率.然后基于BPEL文档构造组合服务的结构图,定义其结构属性,将转移失效率作为基本服...
关键词：面向用户 可靠性 结构属性 
软件体系结构测试技术的现状与思考被引量：2
《小型微型计算机系统》2008年第8期1450-1457,共8页巩绪芳 周颖 李必信 
国家自然科学基金项目(60773105;60473065)资助;江苏省自然科学基金项目(BK2007513)资助;国家高技术研究发展计划项目(2007AA01Z141)资助;教育部新世纪优秀人才支持计划项目(NCET-06-0466)资助
软件体系结构经过10年的研究和发展取得了一系列可喜的成就.目前,一些有代表性的软件测试策略被研究人员提议用于软件体系结构的测试.但是,传统的软件测试技术和方法不能直接用来解决软件体系结构的测试问题,需要改进传统的软件测试技...
关键词：软件体系结构 一致性测试 回归测试 结构测试 
改良填充法实现和解决迷宫问题被引量：1
《电脑知识与技术》2007年第7期186-188,共3页周蕾 周颖 
与传统的“回溯”法相比,用填充法解决迷宫问题具有节约空间、提高效率的优点。本文探讨了填充法实现过程中的若干操作层面的问题,例如：如何快速扫描所有死路,如何解决单一出口的环路问题,如何填充稀疏空地等,提出了改良填充法,最后给...
关键词：迷宫问题 死路 可行点 填充 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部