论文部分内容阅读
证明和测试是验证规格说明是否正确的2种方法，两者互为补充。针对软件规格说明难以证明的问题，提出对状态空间进行完备性测试的理论。采用构造函数和受限状态空间的概念，讨论用于测试Z规格说明语言初始状态存在性的方法，通过实例证明该方法的可行性。
空间完备性理论及其测试
【摘 要】
：
证明和测试是验证规格说明是否正确的2种方法，两者互为补充。针对软件规格说明难以证明的问题，提出对状态空间进行完备性测试的理论。采用构造函数和受限状态空间的概念，讨论用
【机 构】
：
东莞理工学院计算机学院,上海大学计算机工程与科学学院
【出 处】
：
计算机工程
【发表日期】
：
2009年9期
【基金项目】
：
广东省自然科学基金资助项目“基于Z规格说明的软件测试自动化方法研究”(06301204)
其他文献
北方日光温室生产中蔬菜频繁出现营养失调,导致产量、品质明显下降,为探明番茄养分失调是否与蒸腾受到抑制有关,通过2个水培试验分别研究了短期(24 h)及长期(24 d)喷施蒸腾抑
时代更迭、技术进步、疾病谱变迁,无不对患者流管理提出全新挑战。今年年初,国家卫生计生委公布进一步改善医疗服务行动计划,提出在2015-2017年内,从构建温馨就诊环境、推进
目的探讨降钙素原（PCT）、淀粉样蛋白A（SAA）和C反应蛋白（CRP）在人急性布鲁菌感染中的诊断价值。方法选择2014年1月～2016年1月内蒙古医科大学附属医院收治的人急性布鲁菌感染患者100例
目的 掌握微生态制剂在我院儿科消化性疾病治疗中的使用情况。方法 选取2013年2月~2014年2月我院儿科开具的治疗消化性疾病处方中应用微生态制剂的处方219张,分析微生态制剂
沙生植物是沙区重要的自然资源之一,沙地基质流动性对沙生植物的生长与分布有重要影响。而沙生植物也形成了对其特殊的生态适应对策。文章从4个方面回顾了我国沙生植物的生长
21世纪之初广东海陆丰祀神习俗特征包括：教义模糊,人神均拜,教规不严,活动频繁,严密宗教组织未能成型。社会学视野中的祀神缘由：相对封闭的地理环境、不可避免的自然灾害、相对
文章首先分析目前企业成本管理面临的主要问题，分析在信息化环境下成本管理理论的发展，进而提出作业成本法将成为信息化环境下成本管理的主要手段，并简要构建了作业成本管理的基
随着我国社会主义现代化建设的不断进步,我国的高校教育事业取得了卓有成效的发展,尤其是近年来应用型大学的改进与革新,更是以市场为导向,为社会发展提供了优秀的技术人才,
针对三相四线制逆变器的结构能控性问题,将其建模为一类状态变量变化连续的混杂系统,同时将混杂系统模型与图论方法结合起来,提出了适用于电力电子变换器结构能控性分析方法,