国家自然科学基金(60873050)

作品数：8被引量：8H指数：2
导出分析报告
相关作者：许蕾徐宝文李少东张实睿顾静娴更多>>
相关机构：南京大学东南大学南京航空航天大学更多>>
相关期刊：《The Journal of China Universities of Posts and Telecommunications》《计算机与数字工程》《Wuhan University Journal of Natural Sciences》《Journal of Southeast University(English Edition)》更多>>
相关主题：测试用例生成WEB服务METHODDETECTIONBPEL更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于OWL-S文档的Web服务测试用例生成
《计算机科学》2012年第10期131-135,共5页李颖 许蕾 
国家自然科学基金(60873050);南京大学计算机软件新技术国家重点实验室开放基金(ZZKT2008F12);中央高校基本科研业务费专项资金(1116020205;1118020203)资助
若从使用者的角度测试Web服务,只能从服务的接口文档中提取信息进行测试工作。现有工作提出通过分析文档中的输入或输出参数获取测试数据的方法。利用OWL-S文档中的输入输出参数信息生成初始的测试数据,同时充分利用文档中的服务过程信...
关键词：OWL-S SERVICE MODEL 测试用例生成 
基于变异测试和OWL-S文档的Web服务测试用例生成
《计算机与数字工程》2011年第12期8-11,共4页严满根 许蕾 
国家自然科学基金(编号:60873050);南京大学计算机软件新技术国家重点实验室开放基金(编号:ZZKT2008F12);武汉大学软件工程国家重点实验室开放基金(编号:SKLSE20080717);中央高校基本科研业务费专项资金(编号:1116020205;1118020203)资助
由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还...
关键词：WEB服务 变异测试 OWL-S文档 测试用例生成 
Recursive constructions for t-covering arrays
《Journal of Southeast University(English Edition)》2011年第3期340-342,共3页查日军 张德平 徐宝文 
The National Natural Science Foundation of China (No.90818027, 61003020, 91018005, 60873050);the National High Technology Research and Development Program of China (863 Program ) (No.2009AA01Z147);the National Basic Research Program of China (973 Program) ( No. 2009CB320703)
A t-covering array of size N, degree k, order v and strength t is an N x k array with entries from a set of v symbols such that any N x t subarray contains a t-tuple of v symbols at least once as a row. This paper pre...
关键词：covering array orthogonal array difference matrix 
Continuous time Markov chain based website navigability measure
《The Journal of China Universities of Posts and Telecommunications》2011年第2期45-52,共8页ZHANG Wei-feng LIU Xia ZHANG Ying-zhou ZHOU Guo-qiang 
supported by the National Natural Science Foundation of China (60873050,60973046,61003040);the Opening Foundation of Jiangsu Key Laboratory of Computer Information Processing Technology in Soochow University (KJS0714);the Opening Foundation of State Key Laboratory of Software Engineering, Wuhan University (BJ211002);The Natural Science Foundation of the Jiangsu Higher Education Institutions of China (09KJB520012)
Website navigability is acquiring a growing importance in website design and redesign,quality evaluation,and improvement.Existing navigability measures mainly depend on site link structure,so that they only consider t...
关键词：navigability MEASURE Markov chain 
一种基于发生序和锁集的BPEL数据竞争静态检测方法被引量：3
《计算机与数字工程》2010年第8期6-9,共4页李少东 许蕾 
国家自然科学基金(编号:60873050);南京大学计算机软件新技术国家重点实验室开放基金(编号:ZZKT2008F12);武汉大学软件工程国家重点实验室开放基金(编号:SKLSE20080717)资助
BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测B...
关键词：BPEL 发生序 锁集 数据竞争 
Coverage criteria and test requirement reduction for component-based web application被引量：2
《Journal of Southeast University(English Edition)》2010年第1期36-42,共7页顾静娴 许蕾 徐宝文 
The National Natural Science Foundation of China(No.90818027,60873050);the National High Technology Research andDevelopment Program of China (863 Program) (No.2009AA01Z147);Opening Foundation of State Key Laboratory Software Engineering in Wu-han University(No.SKLSE20080717);Opening Foundation of State KeyLaboratory for Novel Software Technology in Nanjing University(No.ZZ-KT2008F12);the Key Laboratory Foundation of Shanghai Municipal Science and Technology Commission (No.09DZ2272600)
In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy...
关键词：web application coverage criteria test requirement reduction 
Automatic Identification of Use Cases from Codes: A User’s Goal Driven Approach
《Wuhan University Journal of Natural Sciences》2009年第5期409-414,共6页ZHOU Xiaoyu QIAN Ju CHEN Lin XU Baowen 
Supported by the Major Research Plan of the National Natural Science Foundation of China(90818027);the Key Program of the National Natural Science Foundation of China(60633010);the National Natural Science Foundation of China (60873050,60873049,60803008);the Natural Science Foundation of Jiangsu Province of China(BK2006094,BK2008292);the Opening Foundation of State Key Laboratory of Software Engineering in Wu-han University (SkLSE20080717)
Based on the different roles played by base flow and alternative flow in the process to achieve user＇s goals, we have found that loop structure is frequently used to implement alternative flow and/or to connect diffe...
关键词：use case identification control flow graph program analysis reverse engineering unified modeling language （UML） 
Method of integer overflow detection to avoid buffer overflow被引量：3
《Journal of Southeast University(English Edition)》2009年第2期219-223,共5页张实睿 许蕾 徐宝文 
The National Natural Science Foundation of China (No.60873050,60703086);the Opening Foundation of State Key Laboratory of Software Engineering in Wuhan University (No.SKLSE20080717)
A simplified integer overflow detection method based on path relaxation is described for avoiding buffer overflow triggered by integer overflow. When the integer overflow refers to the size of the buffer allocated dyn...
关键词：integer overflow buffer overflow path relaxation 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部