论文部分内容阅读
形式化方法是具有严格数学基础的软件开发方法，将其应用到软件开发过程中可以有效提高软件质量，以形式模型为基础的形式验证和一致性测试是形式化方法中的关键技术．简介了形式验证与一致性测试技术的研究现状，重点阐述两者集成方法的研究意义和国内外研究现状，并指出进一步研究方向．
软件形式验证与测试集成方法研究综述
【摘 要】
：
形式化方法是具有严格数学基础的软件开发方法，将其应用到软件开发过程中可以有效提高软件质量，以形式模型为基础的形式验证和一致性测试是形式化方法中的关键技术．简介了形式验
【机 构】
：
内蒙古大学计算机学院
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
2009年4期
【基金项目】
：
国家自然科学基金（60863015）,内蒙古自然科学基金重点项目（20080404ZD20）和教育部春辉计划（Z2007-1-01042）资助项目
其他文献
分析了企业管理信息系统开发过程中其组织机构获取方法和企业组织机构系统对信息流通和管理效率的影响．给出了企业组织机构时效熵、质量熵和总有序度的计算过程，并以两个企业的
人脑形态研究在许多领域都有日益广泛的应用。将人的大脑从MR图像体数据中提取出来是脑的可视化、形态学分析、脑图象配准等多种工作的重要基础。本文结合解剖学知识、用基于
利用有限元方法研究了一类四阶奇异非线性椭圆方程．首先利用Banach不动点定理证明了相应变分问题弱解的存在唯一性；其次分别给出了不考虑数值积分影响时解的加权H^2模误差估计
文章回顾了教育生态学视角下对教师、课堂、生态位这三方面的相关理论，列举了生态化教学中的规则，总结了外语教学课堂中教师的生态功能，并阐述了生态观视野中的外语课堂教师生态
为了探讨影响红树林淡紫拟青霉胞外多糖提取的因素,确定最佳提取方案,设置不同的发酵液浓缩倍数、三氯乙酸用量等因素,设计单因素实验测定多糖提取最佳条件。然后设计正交试
分析了基于X3D的虚拟场景建模的常规方法,在对比其优缺点的基础上,以虚拟校园为例,引入艺术学思想,采用X3D技术,给出了不同类型物体建模的解决方案,兼顾了模型的质量和加载速
“冬奥核心区电力设施设备运行正常,冬奥会雪道认证期间保电任务圆满完成!大家要再接再厉,以更加饱满的热情和更加细致的工作迎接明年测试赛的保电任务!”11月13日,国际冬季
倾斜试验(TTT)是研究和诊断不明原因晕厥的基本手段和"准金标准"方法,而倾斜床又是开展TTT的关键装置.但目前国内现有的倾斜床(或旋转床),无论从设计性能或功能与指标要求均