霍英东青年教师基金(71064)

作品数：9被引量：206H指数：5
导出分析报告
相关作者：王戟齐治昌董威单锦辉马晓东更多>>
相关机构：国防科学技术大学武汉大学更多>>
相关期刊：《计算机学报》《计算机工程与应用》《电子学报》《软件学报》更多>>
相关主题：测试数据自动生成UML软件工程软件测试自动生成工具更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向路径的测试数据自动生成方法述评被引量：46
《电子学报》2004年第1期109-113,共5页单锦辉 王戟 齐治昌 
国家自然科学基金 (No .60 2 330 2 0 ;60 3730 0 3 ;90 1 0 4 0 0 7);国家 863项目 (No.2 0 0 1AA1 1 32 0 2 );霍英东高等院校青年教师基金 (No .71 0 64)
为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题 .求解该问题的实质在于约束系统的建立和求解 ,其主要困难之一在于非线性约束求解是一个理论上困难的问题 .文中将面向路径的测试数据自动生成方法分为四类———随机法...
关键词：测试数据自动生成 程序路径 约束求解 数值优化 
并发程序的切片模型检验方法被引量：7
《计算机学报》2003年第3期266-274,共9页董威 王戟 齐治昌 
国家"八六三"高技术研究发展计划 ( 2 0 0 1AA113 2 0 2 );国家自然科学基金( 69973 0 5 1;90 10 40 0 7);霍英东青年教师基金 ( 710 64 )资助
提出了一种对并发程序进行切片以缩减模型检验状态空间的方法 .首先针对并发程序中的同步与通信定义了一组依赖关系 ,包括并发分支与接合、非确定性、信道、共享变量等特征 .对于从要验证的时态逻辑性质中提取的关于多个程序点的切片标...
关键词：并发程序 模型检验 程序切片 自动验证 JAVA语言 SPL语言 
高可信软件工程技术被引量：115
《电子学报》2003年第z1期1933-1938,共6页陈火旺 王戟 董威 
国家自然科学基金项目 (No.90 1 0 4 0 0 7;No .60 2 330 2 0;No .60 30 30 1 3);国家 863项目 (No.2 0 0 1AA1 1 32 0 2 );霍英东青年教师基金 (No .71 0 64)
随着软件在信息社会中发挥日益重要的作用 ,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高 .本文讨论了高可信软件工程技术的现状和面临的主要挑战 。
关键词：软件工程 软件可信性 软件保证 
Gupta方法的改进被引量：3
《计算机学报》2002年第12期1378-1386,共9页单锦辉 王戟 齐治昌 吴建平 
国家自然科学基金项目 ( 6 99730 5 1;90 10 40 0 7);国家"八六三"高技术研究发展计划项目 ( 2 0 0 1AA1132 0 2 );霍英东青年教师基金 ( 710 6 4)资助
Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切...
关键词：Gupta 测试数据自动生成 路径测试 软件测试 数据流分析 程序切片 线性化谓词函数 
UML Statecharts的切片模型检验方法被引量：4
《电子学报》2002年第12A期2083-2089,共7页董威 王戟 齐治昌 
国家自然科学基金(No.6997305l;No.90104007);国家863项目(No.2001AA113202);霍英东青年教师基金(No.71064)
统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化...
关键词：UML STATECHARTS 切片 模型检验 统一建模语言 
面向路径的测试数据自动生成工具的设计与实现被引量：2
《计算机工程与科学》2002年第1期103-107,共5页单锦辉 王戟 齐治昌 马晓东 单黎君 
国家自然科学基金资助项目 (69973 0 5 1);国家 863计划资助项目 (863 3 0 6 ZT0 6 0 4 1);霍英东青年教师基金资助项目 (710 64 )
面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松弛方法[1 ] 求解该问题。文献[2 ]改进了该方法 ,证明改进后的方法与原方法生成的约束系统相同。文章以改进后的方法为核心算法 ,根据软...
关键词：测试数据自动生成工具 软件工具 UML 面向对象 
面向路径的测试数据自动生成工具及其图形界面的Tcl/Tk设计被引量：2
《计算机工程与应用》2002年第1期74-77,共4页单锦辉 王戟 马晓东 齐治昌 
国家自然科学基金项目"面向UML的形式化测试技术"(编号:69973051);国家863高技术研究发展项目"混合实时系统的验证技术"(编号:863-306-ZT06-04-1);武汉大学软件工程国家重点实验室访问学者基金;霍英东青年教师基金(编号:71064)
面向路径的测试数据生成问题是软件测试中一个基本问题。文章介绍了自主开发的面向路径的测试数据自动生成工具。Tcl/Tk是一种图形界面设计工具,其功能强大,可运行于Windows,UNIX等操作系统上,具有良好的可移植性。文章简要介绍Tcl/Tk,...
关键词：测试数据自动生成 软件工具 图形界面 TCL/TK 
UML Statechart图的操作语义被引量：22
《软件学报》2001年第12期1864-1873,共10页李留英 王戟 齐治昌 
国家自然科学基金资助项目 (6 99730 5 1) ;国家 86 3高科技发展计划资助项目 (86 3- 30 6 - ZT0 6 - 0 4- 1) ;武汉大学软件工程国家重点实验室基金资助项目 ;霍英东青年教师基金资助项目 (710 6 4)~~
面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代...
关键词：操作语义 UML语言 Statechart图 软件测试 软件开发 
UML状态机的模型检验方法被引量：7
《计算机工程与科学》2001年第6期7-11,共5页董威 王戟 郑延平 齐治昌 
国家自然科学基金项目 (69973 0 5 1);国家863计划资助项目 (863 -3 0 6-ZT0 6-0 4-1);武汉大学软件工程国家重点实验室访问学者基金;霍英东青年教师基金资助项目(710 64 )
模型检验是一种确保设计规范正确性的形式化自动验证技术 ,本文提出了对 UML状态机进行模型检验的方法。文中首先对 UML状态机的语法和语义进行描述 ,然后基于语义中的 RTC步给出生成状态机全局可达状态迁移图的方法 ,方法的核心是在当...
关键词：UML 状态机 模型检验 计算树逻辑 软件质量 软件工程 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部