软件测试性计算方法研究

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:gl_521
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在软件开发和评估过程中,软件测试性是一个越来越需要考虑的重要因素,对于软件测试性的计算则是指导软件进行有效测试的理论工具.目前,对软件测试性有几种不同的理解,从而导致测试性计算方法的不同.从探索这些不同定义间关系的角度出发,分类介绍了一些测试性计算方法,并分析了这两类方法之间的区别和联系.这种讨论有助于促进对软件测试性的理解,并能根据不同的情况选择不同的计算方法.
其他文献
加速康复外科(enhanced recovery after surgery, ERAS)是采用有循证医学证据证明有效的围术期处理措施,降低手术创伤的应激反应、减少并发症、提高手术安全性和患者满意度,从而
加速康复外科(enhanced recovery after surgery,ERAS)是基于循证医学证据的一系列围术期优化措施,以减少围术期的生理与心理创伤应激,减少并发症,达到加速康复的目的.但是目前
主要结合负载型光催化剂催化降解原理、载体的功能及选择原则等,重点介绍天然产物负载型光催化剂在有机污染物处理中的研究进展,同时提出利用有效的负载技术,制备活性高、成
为了解决工业控制中微机与仪表的通信问题,以冰箱环境模拟试验室温度监控系统为背景,给出了一种通过RS232方式、利用VB的MSComm控件实现的微机与主动发送式智能仪表的通信算法,并详细叙述了该算法所需的数据结构和数据采集及处理的具体流程。该算法已在实践中得到广泛应用。
从物理改性(机械磨细改性和高温改性、微波改性、超声波改性)、化学改性(酸改性、碱改性、盐改性)和联合改性三个方面,介绍了近年来国内外对粉煤灰进行改性研究的各种方法,指出了
MANET(Mobile Ad Hoc Network)是由一组无线移动主机组成的一个没有任何建立好的基础设施或集中管理设备的临时网络.网络拓扑易变、带宽、能源有限是Ad Hoc移动网络的主要特