分享到:

如何测试高可靠性软件

高可靠性软件在国民经济中的重要作用不言而喻,恰当的软件测试方案是保证软件质量的重要手段。本文就通过实例介  (本文共6页) 阅读全文>>

《舰船电子工程》2010年08期
舰船电子工程

软件高可靠性及其测试探讨

软件可靠性是衡量一个软件好坏的重要因素,软件的高可靠性在于企业的软件开发流程管理是否到位,而软件测试是达到高可靠性的手段。传统的可靠性测试对如今迅猛发展的软件产业的效果...  (本文共3页) 阅读全文>>

《微型电脑应用》2016年11期
微型电脑应用

Z规格说明的推理与验证

Z规格说明具有非形式规约不可比拟的严谨性、清晰性。这种描述对于系统内对象的状态描述、行为描述是非常有用的原始参照物。但是,形式化描述不可避免的可能会含有错误或者是矛盾,这些问题在后期必定会导致前期的形式化设...  (本文共5页) 阅读全文>>

《计算机应用与软件》2009年12期
计算机应用与软件

一种基于Z规格说明的测试用例复用机制

测试用例的复用对于提高测试工作的效率极为重要。提出一种测试用例复用机制,减少测试用例对环境的依赖,提高复用的程度...  (本文共5页) 阅读全文>>

《系统仿真学报》2004年12期
系统仿真学报

一种容忍入侵结构的Z规格说明

面向对象的形式化规格说明语言Object Z在软件开发中的规格需求方面已广泛应用,但在安全关键系统开发中的应用还是空白。容忍入侵是一种全新的系统安全防护手段,是实现系统可生存性的一种方法,可用于安全关键...  (本文共6页) 阅读全文>>

《上海大学学报(自然科学版)》2000年06期
上海大学学报(自然科学版)

一种在万维网上显示Z规格说明的方法

万维网的普及和发展给软件工程师提供了交流和共享知识的场所.Z是一种基于一阶谓词逻辑和集合论的形式规格说明语言.Z语言用大量的数学符号和模式来构造...  (本文共5页) 阅读全文>>

《计算机科学》1998年01期
计算机科学

Z规格说明中的定理证明方法

形式规格说明使用数学的表示,以一种精确的方法描述了系统要做什么,而不考虑它是如何做的。规...  (本文共4页) 阅读全文>>