【摘 要】
：
优秀的软件开发过程需要协作和沟通,集成测试框架FIT(Framework for Integrated Test)就是一个用于增强交流和协作的工具。FIT创建了一个在客户和程序员之间的反馈循环。在集成测试框架FIT的基础上,研究软件测试用例的选择和生成,并结合两两组合覆盖的测试用例自动生成技术,实现了从接口参数边界值的确定,到以HMTL形式显示集成测试结果的半自动化过程,从而提高软件测试的质量和效
【机 构】
：
华东理工大学计算机科学与工程系,上海市计算机软件评测重点实验室
论文部分内容阅读
优秀的软件开发过程需要协作和沟通,集成测试框架FIT(Framework for Integrated Test)就是一个用于增强交流和协作的工具。FIT创建了一个在客户和程序员之间的反馈循环。在集成测试框架FIT的基础上,研究软件测试用例的选择和生成,并结合两两组合覆盖的测试用例自动生成技术,实现了从接口参数边界值的确定,到以HMTL形式显示集成测试结果的半自动化过程,从而提高软件测试的质量和效率。
其他文献
教务管理系统的信息传输安全问题是数字校园建设中高度关注的热点之一。在分析广西职业技术学院教务管理系统中信息传输安全需求的基础上,使用组合方法设计了一个信息传输安全协议ITSP。分析表明,该协议能够确保信息传输的保密性、完整性、可用性、可控性、非否认性和发送者的可鉴别性,并可推广作为数字校园中信息传输安全的通用规则。
我们生活在一个充满信息的世界中,信息处理日益成为迫切的需要。如何从大量的数据中通过算法搜索隐藏于其中信息非常重要,本文旨在介绍当前使用的常见数据挖掘方法、数据技术
制造业是包括生产制作材料及工业,生产出大型器材、产成品和消耗品的产业,制造业直观反映出某一区域的产业发展程度,是衡量发达区域和欠发达区域的经济发展水平的指标之一。股权结构是指在企业全部股份中,各个属性股权的比重构成和联系。本文探讨中国制造业企业股权构成和企业绩效关系,进行实证研究论证,在面对国内外环境严峻挑战下,为我国实现中国制造2025的政策目标提供一些思路和经验。本文通过对前人研究学者的文献进
对2003年2月24日巴楚-伽师6.8级地震中短期异常和中短期预测进行了较系统的分析与总结.结果认为,6.8级地震前新疆6级地震平静4年多,5级地震平静2年,中期阶段地震平静显著;短
由稻瘟菌(Magnaporthe oryzae)引起的稻瘟病是水稻上的主要病害之一,每年都会给水稻产量带来巨大的损失。稻瘟菌是一种半活体营养型病原真菌,在活体营养阶段不仅要面对来自寄主的抗病防卫反应,还要应对营养缺乏带来的威胁。氨基酸是重要的氮源,其不仅能作为合成蛋白质的原料,也能代谢用于其他生物进程。本实验室前期研究发现天冬氨酸代谢通路可能参与了稻瘟菌的致病过程,本研究拟针对这一科学问题,从稻瘟
《史学要论》在中国马克思主义史学发展史上,已被奉为开山之作,这并非只是由于后来者的确认,而主要是基于它在民国史学界已经产生广泛且深刻的学术影响。《史学要论》撰写于李大钊在北京大学任教期间,这得益于北大历史系对史学理论课程的重视和宽松的学术研究环境。在未出版之前,《史学要论》的部分内容便以讲义的形式在课堂上传播,同时李大钊又在上海多所学校进行了以“史学概论”为主题的演讲,其内容大致构成了《史学要论》
目的：探讨细节管理在消毒供应室管理工作中的应用价值。方法：对2014年4月至今我院消毒供应室进行细节管理的相关资料进行回顾性研究。比较在进行细节管理前后我院消毒供应室对
通过对黔东苗语语义为“一”的三个词进行历史比较研究,基数词“ib”的语音语义在苗瑶语内部有着严整对应的规律,是黔东苗语中的固有词;“jus”作为复句中的关联词时,可以汉
利用桃仙机场Vaisala自动观测系统逐分钟数据,NCEP1°×1°再分析资料、常规气象观测资料等,通过物理量诊断方法对2014年11月21日发生在桃仙机场的一次突发性浓
提出一种在威胁环境下对敌空战时,战机导引律设计方法。根据空战中存在的威胁因素,战机在空战过程中首先利用遗传算法进行远距导引设计,规避敌方防空威胁;然后根据滑模变结构理论设计近距空战导引律,并将两种作战机动导引进行融合。基于进化理论来构造规避路径,并利用卡尔曼滤波对机动目标进行状态估计,实现威胁回避和空中交战机动的组合导引。仿真结果表明,该组合导引律能够在复杂环境下有效地完成空战任务。