规格说明相关论文
本项目解决区域内门店下门店协作能力、产品配套需求、产品链缺失等方面的协作匹配问题，有效促进门店之间各类生产要素、用户资源的......
随着西班牙站取得亚军后，年仅22岁的F1新秀汉密尔顿4站比赛后积30分成为F1历史上最年轻的车手积分领先者。“我一直告诉自己是在做......
该论文将Petri网理论与面向对象相结合,提出了一种新的面向对象Petri网模型-NOOPN.该模型基于面向对象语言SmallTalk的面向对象性,......
在软件开发过程中,多数用户需求的规格说明采用非形式的自然语言或半形式的图表结构进行描述,由于非形式方法的模糊性和歧义性,产......
软件开发方法已经从面向过程转到面向对象.面向对象方法虽然大大促进了计算机科学和软件产业的发展,但是它依然存在缺陷,特别是在......
随着计算机产业的快速发展,软件的开发规模不断扩大,对软件开发效率和安全性的要求也越来越高,各种开发方法应运而生。Z语言作为一......
随着信息技术的发展，软件规模不断扩大，而且越来越复杂，如何保证和提高软件质量成为软件界最为关心的问题之一。软件测试作为保证软件......
学位
Web应用程序是近些年来软件业中发展最快的应用程序之一。Web应用所使用的开发语言和开发模型在不断发展。Web应用本身也越来越复......
井喷的木制摩天大楼 木材曾经是人类广泛采用的最古老的建筑材料，直到100多年前，木材还牢牢占据着“建材老大”的地位。然而，自从1......
放射源在国民经济的飞速发展中得到了广泛应用,但因其目前还处于落后的人工监管状态、危害无形,而且易造成环境污染和社会恐慌,管......
随着计算机硬件性能迅速提高和价格的持续下降，计算机系统应用范围不断地扩大，软件系统也日益复杂，研究如何提高软件质量和软件开发效......
形式化方法是一种用数学方法来描述和验证目标软件系统性质的方法，它通常用形式规格说明语言来描述软件需求。由于用数学符号描述的......
摘要：该自主招生人才评价系统已经成功运用在我校单独招生人才评价工作中。该软件的应用改变了招生录取费时、费力，易出差错的人工处......
本文首先介绍基于规格说明的一种面向对象簇级测试的动态方法IPI,然后对其作了改进 ,并且设计了一种原型系统以实现改进后的算法......
提出了一种基于UML序列图的面向对象类簇级测试的方法。这种方法根据序列图进行分析提取类交互信息和用户的输入数据生成测试用例,......
介绍基于规约说明的变异算法在测试数据生成中的应用思想，分析不同变异算子与故障类别之间的蕴含关系．把这种算法应用到构件合约变异......
Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功......
UML是目前广泛使用的标准的面向对象建模语言.为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言......
基于构件的开发方法(CBD)的提出和大量应用,对传统的测试技术提出了新的挑战。本文通过对CBD方法及特点的研究,提出了CBD软件的测......
针对确认测试自动化在实现中的难题，提出了将测试过程进行划分的确认控制策略，并探讨了次之付诸实践的可行方法。一方面通过将测试过......
Z语言是一种广泛应用的形式化语言,适合于仿真实时软件系统的需求规格说明.通过微机系统仿真软件的Z规格说明,讨论了Z语言在实时系......
用一般的方法开发设计一些关键性的系统时不可避免的会出现一些错误, 而这些错误会随着开发过程一直存在并最终会对系统造成很严重......
众所周知,软件开发越到后期,为纠正或弥补错误所付出的代价会呈几何级数增长,因此规格说明的质量成为影响软件开发的难点和关键因......
（接上期）参考资料23：美国按照国家标准局105—1手册设计的砝码规格说明：外部：外层为1／4in厚的全钢结构，所有的边和角均磨圆。......
嵌入式系统是目前计算机研究领域的一个热点,嵌入式软件的特点使其设计方法发生了变化,软件测试是保证嵌入式产品质量的关键,研究......
介绍软件再工程与形式化方法之后，对形式化方法应用于软件再工程过程的国内外现状进行了总结，接着概括了形式化方法支持软件再工程过......
1 软件测试程序软件测试就是在软件投入运行之前，对软件进行需求分析、设计规格说明和编码的最终复审，是软件质量保证的关键性步骤。......
软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事......
回顾了软件构件与形式化方法的基本概念,介绍了软件构件的形式化,根据典型的面向构件的开发流程和基于形式化方法开发软件的特点,......
形式化方法具有精确的描述性和很强的抽象性．用形式化方法描述规格说明，避免了在需求分析阶段对数据结构和算法细节的详细描述，同时又......
该文分析了信息系统软件开发的特点，并在UML静态结构模型中类图的基础上，提出了一种针对信息系统软件开发，特别是数据库系统开发的规......
软件的需求分析是软件生存周期的重要阶段,它是联系用户与软件开发者的纽带,它的好坏对软件下一步的开发工作将产生决定性的影响。......
通过软件配置管理工具标识和确定各系统软件配置管理项对过程进行管理,在软件全生命周期内控制软件配置管理项的投放、变更,记录并......
需求分析与规格说明是嵌入式产品开发的一个重要环节。本文以一款IP电话机为例,通过"需求分析与概念性规格说明"以及"图形化规格说......
B方法是一种软件形式化方法。支持从规格说明到代码生成的整个软件开发周期。本文比较系统地分析了B方法规格说明的构造结构。并结......
提出一种基于规格说明的面向对象簇级动态测试的新方法,并将它完全嵌入到被测试程序的解释器中,从而构成了一个解释型簇级测试工具......
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用......
正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出......
阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分......
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确，面向对象方......
本文对将有限自动机理论用于测控软件自动生成的技术进行了研究,旨在开发能够生成测控程序的软件自动生成系统。在对软件自动生成......
随着Internet的普及以及组件、中间件和Web Services等技术的迅速发展以及Web的广泛应用,Web应用的可靠性和质量保证成为一个非常......
嵌入式系统的广泛应用使人们越来越关注其可靠性。嵌入式软件测试是保证嵌入式软件正确性和提高嵌入式软件可靠性最基本和最有效的......
