【摘 要】
：
软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节。目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发。在前人经验的基础上,试图提出
【机 构】
：
金陵科技学院信息技术学院,江苏省信息分析工程实验室
【基金项目】
：
国家自然科学基金项目(61170071);金陵科技学院科研基金(jit-b-201207)资助
论文部分内容阅读
软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节。目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发。在前人经验的基础上,试图提出一个初步理论框架来定义软件测试的样本空间,引入反映软件某种情况(比如缺陷)的随机变量,概括白盒测试和黑盒测试的概率测度及数学期望描述。这样的构建不仅能够加深对软件缺陷存在的理论根源的理解,从而进一步提出更好的测试方法,还对发展软件测试的科学理论有所帮助。
其他文献
陕西省引汉济渭工程引水隧洞突涌水问题是制约工程顺利开展的关键技术问题之一。针对横穿椒溪河段的典型区段突涌水问题,采用ADINA软件建立水文地质概念模型,计算不同工况下
有清一代,"苗疆"之湘西部分阶级矛盾、民族矛盾尖锐。统治者剿抚兼用,尤其是兵燹之余,注重倡兴文教,构建官学、苗疆书院、苗义学三位一体的文化教育体系,以期让苗民涵濡"圣化
朱光潜先生说:“艺术的能事不仅见于知所取,尤其见于知所舍。”1懂得了取舍之道,也就明白了艺术创作的要诀。学生作文亦复如是。作文教学要让学生在写作实践中体验取舍之道。
威廉·格纳齐诺（Wilhelm Genazino，1943-）获2004年度德国毕希纳文学奖。其多部小说反映了发达工业社会中人的精神空虚和人格异化。在早期作品中，格纳齐诺多采用零聚焦叙事视角，注
在中国建立现代民族国家的实践中,土地问题无疑是其中最为重要的问题。正是由于土地问题的极端重要性,在20世纪,围绕着中国的现代化运动,在土地问题上展开了三次前后相继而内
肥料利用率是指当季作物吸收营养元素的数量与施入土壤中肥料营养元素总量的百分数。在一般情况下,肥料利用率愈高,肥料的损失就愈小。肥料利用率因肥料品种、施肥量、土壤肥
<正>2017年11月2-3日,第十九次"共产党工人党国际会议"在俄罗斯圣彼得堡举行。这次大会召开于十月革命100周年之际,吸引了78个国家、103个政党的342名代表参加,俄共主席根纳
人际交往中的言语礼貌和不礼貌一直是语用学领域的研究热点,其中大量研究主要关注真实(不)礼貌。随着对其研究的深入,研究者开始注意到另一种独立的语言现象——虚假礼貌。本
<正>《幼儿园教育指导纲要(试行)》(以下简称《纲要》)明确指出"幼儿园教育活动的组织应注重综合性、生活性和趣味性"。这就要求教师尽量做到将课程、环境创设、人文资源、教
深化税收会计改革促进税收管理科学化湖南省国家税务局近年来，我们在国家税务总局的支持下，不断深化以应征数核算为主要内容的税收会计改革，促进了税收管理科学化，加强了税务系统