【摘 要】
：
测试经理在制定测试计划时,往往只能依靠个人经验,缺乏理论方法的指导,面对复杂软件系统时难以全面考虑测试模块间关系及测试人员能力等复杂因素,往往使得测试效果并不令人满
【机 构】
：
中国科学院软件研究所互联网软件技术实验室,中国科学院软件研究所计算机科学重点实验室,中国科学院研究生院
【基金项目】
：
国家863高技术研究发展计划基金项目（2006AA012182）.
论文部分内容阅读
测试经理在制定测试计划时,往往只能依靠个人经验,缺乏理论方法的指导,面对复杂软件系统时难以全面考虑测试模块间关系及测试人员能力等复杂因素,往往使得测试效果并不令人满意。将约束规划技术引入测试领域,结合测试计划自身特点,提出了一种全新的基于约束满足的测试计划方法。方法将软件产品划分为测试模块,通过确定各模块测试过程及过程间顺序约束、资源能力约束,对测试计划问题进行了约束建模和求解。并以项目管理软件SoftPM的测试过程为例,对方法的具体应用进行了介绍。
其他文献
目的在兔蛛网膜下腔出血(SAH)模型上,尝试建立经颅多普勒超声(TCD)及血管造影,监测椎基动脉脑血管痉挛(CVS)的新方法.方法兔枕大池一次性注血,同时行逆行颈总动脉插管椎基动
劳务业商品是指以服务形式出现的,用来满足人们某种消费需要的(包括生活消费需要和生产消费需要)的交换对象。马克思对此曾这样说过:“服务就是商品。服务有一定的使用价值(
本文将我院11年内收治11例妊娠合并急性阑尾炎的病人进行回顾性分析。 1临床资料我院1984年7月～1995年6月收治妊娠合并急性阑尾炎11例。年龄在23～31岁。早孕3例,中孕5例,晚孕3
为了帮助汉语教学研究人员使用计算机有效处理错字,分析了汉语教学界对错字分类的研究成果,建立了一种适合计算机处理、以字形为依据的错字分类体系。基于Unicode5.1标准中表
土地是一种数量有限的自然资源。它是人类得以繁衍生息的最重要的物质条件,是社会生产和人类活动的立足之地。我国人口众多,人均占有土地面积只及世界人均的1/3。因此,合理利
丰富多彩的课堂内容是吸引学生最好的工具,在小学语文教学过程中教师要更注重课堂的趣味性,充分调动学生的积极性,鼓励学生主动学习,提高阅读能力。本文分析趣味教学在小学语
全脑室内出血铸型是神经外科的急症,可由颅内血管畸形、高血压脑出血、脉络丛血管瘤、颅脑外伤等多种原因引起,脑室内出血阻塞脑脊液循环通路,引起脑室急剧膨胀,导致颅内压骤
为了开发骨髓细胞涂片中白细胞的自动分类及计算机辅助诊断系统,基于分形理论提取了不同类型白细胞的分形维数。首先通过计算原始图像和特征灰度图像的分形维数实现第一次的粗分类提取,然后采用多重分形奇异谱方法进一步完成了细分。识别结果表明,经过两次分类提取获得了较准确的白细胞分类信息,该方法是有效的、可行的。
2000年1月至2003年3月我科采用耳后小骨窗微血管减压术结合神经梳理(nerve carding)治疗56例三叉神经痛(trigeminal neuralgia,TN)患者,疗效满意,治愈率98%,现报告如下.