论文部分内容阅读
嵌入式断言是软件测试中一个潜在的有效工具,并有许多优秀的规格语言被开发出来。但目前的规格语言并不完善,严重制约了应用推广。文章分析了这些问题,提出了一种结合单元测试工具xUnit的解决方案,并提供了实现方法,使程序员能够更为容易的实现断言测试,从而为其应用铺平了道路。
一种基于内部类的断言框架研究与实现
【摘 要】
：
嵌入式断言是软件测试中一个潜在的有效工具,并有许多优秀的规格语言被开发出来。但目前的规格语言并不完善,严重制约了应用推广。文章分析了这些问题,提出了一种结合单元测
【机 构】
：
中国科学院对地观测与数字地球科学中心,中国科学院研究生院信息科学与工程学院
【出 处】
：
微计算机信息
【发表日期】
：
2010年8期
其他文献
对于多遥感器卫星系统,由于其具有多数据源且数据源特性相差较大,应采用同步/异步混合多路复用方式。该文在分析了高级在轨系统中几种虚拟信道调度策略的基础上,针对同步和异
国有资产是社会主义国民经济发展的基础,也是国民经济增长的主力。在我国国有经济的体制转换和结构调整过程中,国有资产流失已成为国企改革中的一个突出问题。基于国有资产流
在我国农产品生产经营中实施品牌战略具有重要意义.针对当前实施农产品品牌战略的现状和存在问题,探讨了作为市场主体的农产品生产经营者和作为宏观管理者的政府各自应开展的
冠心病可引发缺血性心力衰竭,是冠心病患者晚期常见的病变类型,患者心功能损害较大,需积极治疗、改善,控制心力衰竭进展,降低死亡等不良预后风险。老年人是冠心病的高发人群,
甘肃是文化资源大省，文化产业发展具有区域性的产业优势，但目前甘肃文化产业在整体上仍处于发展的初级阶段。从当前全国文化产业发展的整体趋势看，加快其发展的动力主要在于文化
极限就好比所有无法靠科技手段达到的存在者,或者直接指向永恒存在的造物主.思维的极限是指主体人自身思维的限度.而极限的思维则是对永恒存在探索的限度.这两种限度的存在,
研究表明协同推荐技术容易受到攻击。由于现有的检测模型对低填充规模攻击的检测效果不理想,本文结合检测模型特点,改进Pearson相似度计算方法。其思想是,降低共同评分项目对
当前国有企业产权制度改革正成为理论界争论的一个热点,本文试图从系统论的观点出发,认为国有企业产权制度是一项复杂的社会系统,它涵盖了宏观系统中制度管理层面和运行保障
改革开放20多年来,随着经济实力的增强,珠江三角洲的城市化发展迅速,已达到很高的水平.但是其整体竞争力不强,为了适应经济全球化对城市的要求,珠江三角洲必须大力提高城市化