【摘 要】
：
软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是
【机 构】
：
兰州市27支局15信箱14号,微软中国有限公司,兰州市27支局44信箱54号
【基金项目】
：
国家自然科学基金资助项目（60373003）
论文部分内容阅读
软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍了软件易测试性设计的基本思想和主要方法，提出一种新的合约式设计方法，对现有各种基于Java语言的合约式设计工具进行比较，开发了一种新的合约式设计工具，并通过实验验证了方法的有效性。
其他文献
随着机械制造技术的发展,社会上对掌握了数控加工技术的技能型人才的需求量越来越大，在国家政策和资金的支持下，开设数控加工专业的职业学校越来越多，办学条件也越来越好。而作为数控加工专业主要专业课程的《数控机床编程与操作》的教材现在也出版了不少，从目前使用情况来看，各学校都感到能适合本校使用的《数控机床编程与操作》教材很难找到。所以，进行课程改革，开发适合本校校情的校本教材，是各职业学校目前所面临的一个
在Linux嵌入式系统平台上,针对按需距离矢量路由协议AODV算法在无线Mesh网络的应用开发问题,本文采用比较有代表性的UU实现方法,提出了基于Netfilter功能框架的AODV协议在Lin
小学语文教学大纲明确指出：“朗读能发展学生的思维，激发学生的情趣。学生朗读能力逐步提高，对课文内容的理解就会逐步加深。”因此，在阅读教学中，恰当充分地运用朗读手段，可以帮助学生理解课文内容，发展语言，发展思维和陶冶情感。同时，朗读也是一种艺术的再创造。它在使书面语言变成口头语言的过程中，眼、口、耳、脑等多种感官并用，既可以促进学生对知识的理解和记忆，又可以帮助学生积累大量的词汇和句子，提高学生的理
自2006年起,中国最佳雇主评选、中国雇主品牌盛典已成功举办五届,汇聚了超过50000名中国员工的意见,成为中国地区最具权威影响力的雇主品牌评选。运用国际人力资源管理协会、
本文以2001—2012年中国35个工业行业作为研究对象，通过测算相应行业的全要素生产率并构建不同的衡量行业技术水平和研发投入的综合指标，并且在模型中引入贸易渠道、FDI渠道等
文章在分析循环经济产业链中存在上下游中小企业融资难题的基础上,基于产业链融资理论和“企业邮箱”模型,建立了循环经济产业链的融资邮箱模型。通过模型构建实现产业链内中
生产实习教学是技校教育的主要方面,它直接体现学生对所学专业的技能训练程度,而提高生产实习教学质量是使学生尽快理解和掌握基本技能的关键。一、生产实习教师备好课是先决
刘星是省城一所旅游职业学院的应届毕业生。三年前他在高考时发挥不太好,没能考上二本。刚刚大学毕业的姐姐跟他分析就业形势;大学本科毕业生已不再是凭借文凭就能找到好工作的天之骄子,就业时企业更青睐专业技能较好的人才。思前想后,刘星采纳了姐姐的建议,选择了省城一所旅游职业学院读了酒店管理专业。去年5月底,该旅游职业学院2009毕业生就业洽谈会在省城举办,与时下其他的就业洽谈会上众多毕业生争抢一个用人岗位的
本文分析了网络实验室的类型及功能,对实验进行了分类,提出了一种基于虚拟仪器软硬件技术的分布式并行网络实验室结构。实验表明,该模型具有很好的并行性,对电工电子辅助实验
【正】中等职业学校的学生,文化基础较差,没有有效的学习方法,因此学习能力不强。由于中职课程与普通教育的课程差异很大,这进一步加大了中职学生的学习难度,给中等职业学校