论文部分内容阅读
本文分析当前构件化软件集成测试面临的问题,根据合约检查的构件软件测试理论,提出了一种引入CSPE的构件化软件合约检查测试方法。介绍了合约检查测试概念和CSPE理论,给出了如何使用CSPE生成测试序列的方法,描述了用该方法进行测试的过程,最后给出了一个实例说明方法的使用。
一种引入CSPE的构件化软件合约检查测试方法
【摘 要】
：
本文分析当前构件化软件集成测试面临的问题,根据合约检查的构件软件测试理论,提出了一种引入CSPE的构件化软件合约检查测试方法。介绍了合约检查测试概念和CSPE理论,给出了如何使用CSPE生成测试序列的方法,描述了用该方法进行测试的过程,最后给出了一个实例说明方法的使用。
【机 构】
：
信阳师范学院
【出 处】
：
光盘技术
【发表日期】
：
2007年05期
【基金项目】
：
河南省教育厅自然科学基金项目(2006520012).
其他文献
随着社会经济的不断发展，人们的饮食观念、结构在不断地发生变化，尤其是从温饱型到营养型的转变正在逐渐递增，而小米作为粗粮备受消费者的青睐，市场需求呈逐年上升趋势，但是我国加
拉伸膜裹包青贮是一种新型的青贮饲料加工方法，可以实现青贮饲料的专业化规模化生产、商品化产业化经营，从而大大提高农作物秸秆资源的饲料化利用率。研究表明，无论是感观品质、
提出了一种大规模发布/订阅系统中基于内容的路由的新途径——ROSE.在一个环空间中,ROSE沿着不同的、至少在一个节点相交的分区建立订阅条件和事件的路由.建立了ROSE的分析模
本文就网络安全中的防火墙技术进行解释,详细阐述了防火墙的分类和特点,重点分析了在选择防火墙时应注意的各种性能要求.
35日龄240羽伊沙蛋鸡随机均分为对照组（含钙1.00%）和高钙组（含钙3.78%）。在饲喂高钙日粮的当日和第8,16,24,32天时,动态测定两组鸡血清中钙、钠、钾、无机磷、镁以及尿酸的变化。
一文革后期上海出版过《朝霞》《学习与批判》《自然辩证法》《摘译》等几本在全国有很大影响的刊物,其中《学习与批判》从开头到结束都是我负责的,《自然辩证法》最初也是我
财政转移支付是财政支出的重要组成部分,是负向财政税收收入,是提高财政政策效应的重要手段,对宏观经济调控作用有一定影响.它兼有调节收入分配格局、促进社会公正和调节收入
古代希腊史学在哲学的影响之下,逐渐形成了理性批判精神.希腊历史学家正是以这种批判和自由探究的理性精神为思考基础,在本体论方面形成了人是历史活动的主体和历史发展有其
<正> 传统逻辑讨论A E I O四种直言命题,它们在数理逻辑即现代形式逻辑中,表现为一阶谓词公式: 传统逻辑讨论的直言命题的正确推理,最基本的是:按逻辑方阵对当关系推理,换质法、换位法、附性法和三段论。考虑到前提、结论的不同情况,它们实际上包含四十多个形式。在这些基本形式之上,还可发展出换质位法、戾换法、联锁三段论等形式。在数理逻輯中,任何推理的形式,都可表示为一个比较复杂的复合命题形式。例如,若干个前提之间,可用合取符号∧联结起来;前提与结论之间,可用蕴涵符号→联结起来,使推理形式表现为