共查询到19条相似文献,搜索用时 62 毫秒
1.
从功能规格说明到设计规格说明的自动转换 总被引:2,自引:1,他引:2
本文介绍了算法自动设计的研究背景与设计思想,提出了一种算法设计自动化模型及其形式化的软件规格说明语言表示,并详细讨论了一些常用算法设计方法的自动实现技术. 相似文献
2.
软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。 相似文献
4.
测试用例的复用对于提高测试工作的效率极为重要。提出一种测试用例复用机制,减少测试用例对环境的依赖,提高复用的程度。用Z规格说明对用户需求进行描述,实例化后生成测试用例,然后对测试用例进行可复用描述,得到形式统一的可复用测试用例。建立测试用例库系统存储和管理用例,实现多种方式的复用。 相似文献
5.
6.
Z规格说明中初始状态存在性的证明 总被引:2,自引:0,他引:2
Z规格说明中的初始化定量的证明是对基于状态的规格说明的一个标准的检查,本给出了一个证明初始化定理的过程,该过程可自动地构成证明的证据,作为实例,我们该过程证明了两个初始化定理。 相似文献
7.
实现软件开发过程各阶段的自动化是软件工程的重要目标之一。软件自动化的前提是形式,包括软件需求规格、软件设计规格和算法描述等的形式化。形式化软件规格说明不仅是对用需求,也是对软件系统的严格定义,在软件开发中有着相当重要 相似文献
8.
本文简述了形式规格说明技术的意义,与原型技术的关系,并叙述了规格说明语言NUSL的特点、结构和使用,然后介绍了NUSL支撑系统. 相似文献
9.
Z规格说明求精的正确性判定 总被引:1,自引:0,他引:1
软件求精是自动推理和形式化开发方法相结合而形成的一门新技术,它研究从抽象的形式格说明推演出具体的面向计算机的程序代码的全过程.其基本思想是用·个抽象程度低、过程性强程序 相似文献
10.
这篇文章分析了基于模型(转换系统)的规格说明方法的特点,给出了形式方法和严格定义,并且通过实例,探讨了基于模型的规格说明方法在公平条件下约束下,描述系统安全和活动性质的能力和特点。 相似文献
11.
状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统.通过将状态、输入和输出封装在一个Monad内,提出一种基于Z规范的纯函数式程序设计方法. 相似文献
12.
13.
本文讨论了如何利用高阶逻辑描述硬件的行为及结构,提出了硬件验证的一般方法,高阶逻辑不仅可以作为一种描述语言用来描述硬件的行为及结构,而且可以作为证明系统用来验证硬件设计的正确性。文中给出的用以说明描述及验证的例子包括CMOS反相器、复位的奇偶校验器。 相似文献
14.
本文介绍了即时电视规范的元数据,内容引用,及安全与版权保护三个主要组成部分,并对元数据的构成进行了深入讨论。通过分析CRID的解析过程,解释了即时电视规范中重要的节目内容引用机制。最后,结合一个系统实例总体分析了即时电视规范的工作原理,并简要介绍了已实现的针对中国市场的即时电视模拟演示系统。 相似文献
15.
由于程序的形式化验证技术还局限于比较小的程序,软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段.测试大型软件是一项既繁重又复杂的工作,计算机辅助软件测试将会大大降低测试工作量,提高测试效率.本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法,然后阐述如何基于该方法设计井实现一个测试工具环境,以提高测试者的工作效率,减轻测试者的负担. 相似文献
16.
基于Petri网的协议并行化处理模型的描述和验证 总被引:3,自引:0,他引:3
本文提出了一个OSI/RM运输层协议并行处理模型,以适应协议的高效处理,根据模型特点,使用Petri网作为形式化描述工具,对该模型进行描述,分析和验证。 相似文献
17.
虚拟装配是虚拟设计和虚拟制造中的一个重要组成部分,通过它可以验证产品的可装配性以及获取正确的装配序列。介绍软件复用的思想以及构件技术的概念,设计并开发一个基于Vega Prime的通用的虚拟装配的构件,同时介绍构件中几个重要功能的实现。最后将该构件应用于某方向舵虚拟仿真系统中。 相似文献
18.