云南高校图书馆联盟文献共享服务平台- 国家重点基础研究发展计划(2002CB312000)

国家重点基础研究发展计划(2002CB312000): 作品数：36被引量：277H指数：8; 导出分析报告; 相关作者：徐宝文王建民罗英伟许卓群汪小林更多>>; 相关机构：东南大学北京大学清华大学武汉大学更多>>; 相关期刊：《东南大学学报（自然科学版）》《计算机学报》《计算机与数字工程》《Wuhan University Journal of Natural Sciences》更多>>; 相关主题：软件测试软件体系结构GMLWEB中间件更多>>; 相关领域：自动化与计算机技术更多>>

一种并行环境下测试用例优先级技术度量方法: 《东南大学学报（自然科学版）》2009年第6期1104-1108,共5页屈波徐宝文聂长海王子元; 国家自然科学基金资助项目(60425206;60773104;60403016;60633010);国家重点基础研究发展计划(973计划)资助项目(2002CB312000);江苏省自然科学基金资助项目(BK2005060);江苏省高技术研究发展计划资助项目(BG005032);东南大学优秀青年教师教学科研资助计划资助项目; 为了解决并行环境下的测试用例优先级技术度量问题,首先对现有度量方法的性质进行了分析,指出了现有度量方法在物理意义和扩展性等方面的局限性.然后针对并行环境下多处理队列的特性,综合考虑错误检测能力及测试开销等因素,对测试用例...; 关键词：回归测试优先级技术度量方法并行环境

一种软件体系结构设计决策的建模工具被引量：2: 《计算机科学》2009年第8期161-164,173,共5页肖赛崔晓峰孙艳春黄罡; 国家重点基础研究发展计划(973计划)项目(2002CB312000);国家自然科学基金项目(60503028);国家高技术研究发展计划(863计划)项目(2007AA01Z127;2007AA010301)资助; 体系结构设计在整个软件生命周期中起到关键作用,而设计知识的蒸发会导致系统演化花费代价高、涉众之间交流出现障碍、体系结构制品的复用受到限制等问题,为此需要在软件体系结构层次对设计决策进行显式化的建模。基于一种以决策为中心...; 关键词：软件体系结构软件体系结构设计软件体系结构设计决策

A Testing Method for Web Services Composition Based on Data-Flow被引量：2: 《Wuhan University Journal of Natural Sciences》2008年第4期455-460,共6页HOU Jun XU Baowen XU Lei WANG Di XU Junling; the National Natural Science Foundation of China(60425206, 60503033);National Basic Research Program of China (973 Program, 2002CB312000);Opening Foundation of State Key Laboratory of Software Engineering in Wuhan University; This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution lan...; 关键词：Web services composition business process execution language （BPEL） Web services description language （WSDL） data flow all-du-path

一种新的变异测试数据自动生成方法被引量：20: 《计算机学报》2008年第6期1025-1034,共10页单锦辉高友峰刘明浩刘江红张路孙家骕; 国家自然科学基金(60373003);国家“八六三”高技术研究发展计划项目基金(2004AA112070);国家“九七三”重点基础研究发展规划项目基金(2002CB312000);中国博士后科学基金项目(2003034077)资助~~; 变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀...; 关键词：变异测试变异体测试数据充分性准则

网构软件技术体系：一种以体系结构为中心的途径被引量：42: 《中国科学（E辑）》2008年第6期818-828,共11页杨芙清吕建梅宏; 国家重点基础研究发展规划资助项目(批准号:2002CB312000); 作为Internet环境下的一种新型的软件形态,网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战.我国学者在国家"973"计划支持下,经过5年的研究与实践,形成了一套以体系结构为中心的网构软件技术体系.在网构软件模型方面,通过...; 关键词：网构软件构件软件体系结构 AGENT 软件中间件

基于体系结构的网构软件自适应方法被引量：12: 《中国科学（E辑）》2008年第6期901-920,共20页梅宏黄罡兰灵李军国; 国家重点基础研究发展规划(批准号:2002CB312000);国家自然科学基金(批准号:90612011)资助项目; 作为网构软件的基本特性之一,自适应性是指软件系统在预设策略的指导下自动地监测系统状态信息,并在必要时对自身进行调整,以提供更好的服务.针对网构软件可适应性、自适应可操作性及适应结果可信性3个基本问题,提出了一种以体系结构为...; 关键词：网构软件自适应软件体系结构中间件

移动终端三维用户界面的可用性评估被引量：6: 《计算机科学》2008年第2期65-68,共4页任刚王建民黄鼎隆; 国家“973”计划资助项目(2002CB312000); 本文针对移动终端的三维用户界面进行了可用性评估。从系统性能,任务绩效和用户偏好三个方面进行了全面的考察。物体选取是三维用户界面中基础的交互任务,我们结合实验数据分析,基于二维环境下的指点模型,提出并验证了一个新的基于三维...; 关键词：三雏用户界面移动终端可用性评估性能模型用户偏好

软件易测性和软件可靠性关系研究被引量：6: 《计算机学报》2007年第6期986-992,共7页赵亮王建民孙家广; 国家"八六三"高技术研究发展计划项目基金(2003AA4Z3040);国家"九七三"重点基础研究发展规划项目基金(2002CB312000)资助.; 从测试有效性的角度对易测性进行了定义,给出了软件易测性的量化表示模型;建立了易测性和可靠性之间的形式化关系;通过实验验证了易测性对实现可靠性目标所需的测试数量的影响.文中结论认为传统的基于黑盒测试得到的可靠性估计结果是盲...; 关键词：软件易测性可靠性测试有效性 β分布

通用服务器端软件测试框架的研究与实现: 《计算机工程与应用》2006年第28期89-91,共3页刘量赵亮王建民; 国家863高技术研究发展计划资助项目(编号:2003AA4Z3040);国家973基础研究发展规划资助项目(编号:2002CB312000); J2EE框架实现了多层次的应用程序体系结构,但由于各个应用服务器厂商在实现J2EE规范时都附加了一些自己的特性,所以在不同的应用服务器平台上运行和部署同一企业级组件时也会出现与平台相关的问题。如何在多种应用服务器端不同的容器环...; 关键词：CACTUS SERVLET JSP EJB

一种基于组合测试的Web应用兼容性故障诊断方法被引量：2: 《计算机科学》2006年第12期268-269,F0004,共3页许蕾聂长海徐宝文; 国家自然科学基金(60425206;90412003;60503033);国家重点基础研究发展规划973资助项目(2002CB312000);江苏省自然科学基金(BK2005060);江苏省高技术研究项目(BG2005032);武汉大学软件工程国家重点实验室开放基金资助。; Web应用兼容性故障诊断涉及到种类繁多的软硬件设备、数目庞大的设备品牌和型号以及各种情况的组合,如何有效而又快速地对故障定位是一项很重要的工作。针对Web应用兼容性测试的特性以及组合测试的基本模型和特征,我们对组合测试的结果...; 关键词：WEB应用兼容性测试组合测试故障诊断

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家重点基础研究发展计划(2002CB312000)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家重点基础研究发展计划(2002CB312000)

检索结果分析

下载全文

用户登录

高级检索检索式检索