湖南省科技计划项目(2008CK3075)

作品数：3被引量：1H指数：1
导出分析报告
相关作者：龚红仿李军义周任军刘春平童小娇更多>>
相关机构：长沙理工大学湖南大学更多>>
相关期刊：《小型微型计算机系统》《湖南大学学报（自然科学版）》《中南大学学报（自然科学版）》更多>>
相关主题：测试用例生成算法用户解释ATC鞍结分岔非线性方程组更多>>
相关领域：自动化与计算机技术电气工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种类间交互测试的约束型标记驱动Petri网模型
《小型微型计算机系统》2010年第6期1185-1189,共5页龚红仿 李军义 
国家自然科学基金项目(10871031)资助;湖南省科技计划项目(2008CK3075)资助
面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记驱动Petri网(C-LDPN)模型描述对象间的消息交互,给出了UML协作图转换为C-LDPN的规则.在定义对象活跃点以...
关键词：类间交互测试 对象活跃点 对象连接子 分支冲突 标记-变迁路径 约束型标记驱动Petri网 
基于类间依赖集约简的类簇测试用例生成算法被引量：1
《中南大学学报（自然科学版）》2010年第1期238-244,共7页龚红仿 李军义 
国家自然科学基金资助项目(10871031);湖南省科技计划项目(2008CK3075)
针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题,提出一种类间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖和关联依赖这3种依赖关系,建立类簇测试模型。定义类簇模式和用...
关键词：类簇测试模型 用户解释集 匹配划分集 类间依赖关系 依赖集约简 
考虑静态安全性和鞍结分岔稳定性的ATC的计算
《湖南大学学报（自然科学版）》2009年第8期48-53,共6页童小娇 刘春平 周任军 
国家自然科学基金资助项目(10871031;10826099);湖南省科技厅计划资助项目(2008CK3075)
提出了包括传统静态安全性和鞍结分岔稳定性的可用输电能力(Available Transfer Capability,ATC)的新模型.该模型将系统安全性约束的众多不等式转化为一个半光滑等式约束方程组,结合鞍结分岔稳定性的约束条件,构建了一类同时考虑安全性...
关键词：电力系统 可用输电能力(ATC) 静态安全性 鞍结分岔 非线性方程组 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部