针对软件中2路并发行为完全覆盖的测试方法

来源 :重庆邮电大学学报(自然科学版) | 被引量 : 4次 | 上传用户：sjk

【摘要】

：

针对软件中2路并发行为的测试序列生成方法,提出一种基于面向测试着色Petri网(testing-oriented colored Petri net,To CPN)。根据被测软件系统需求构建ToCPN模型,即系统模型,并将待测行为采用着色Petri网(colored Petri net,CPN)进行描述,形成待测行为模型;提出待测行为模型到系统模型的状态投影算法、针对极大状态结点和极小状态结点的状

【作者】

：

孙涛叶新铭

【机构】

：

内蒙古大学计算机学院

【出处】

：

重庆邮电大学学报(自然科学版)

【发表日期】

：

2014年06期

【关键词】

：

测试着色Petri网(ToCPN) 2路并发外部观察点测试序列 testing-oriented colored Petri net（ToCPN） 2-W

【基金项目】

：

国家自然科学基金（61163011）, 内蒙古自然科学基金（2012MS0922）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

Ad Hoc网络中DSR协议的QoS改进算法

针对Ad Hoc网络中基于资源预留的QoS算法所带来的复杂度问题,本文引入了适合该网络的测量可用带宽算法,并且提出了新的DSR-QoS改进算法.仿真结果表明,在网络业务较大的时候这

期刊

AdHoe网络DSR带宽估计QOS路由Ad hoc network DSR Bandwidth computation QoS routing

基于SDN的5G移动通信网络架构

移动互联业务的持续增长以及物联网等各类通信应用的广泛普及对移动通信系统的功能和性能提出了新的挑战。第5代(5G)移动通信系统基于对已有通信技术的融合及演进,引入新的无线传输及网络技术,将实现多种应用场景用户业务传输性能保障。软件定义网络(software defined networking,SDN)通过采用集中控制的新型网络架构,将传统数据转发设备的数据转发与逻辑控制功能进行分离,实现了数据层与

期刊

移动通信体系架构软件定义网络集中控制云平台

功率极低的32kHz振荡器

功率极低的32kHz振荡器与采用CMOS变换器的传统振荡器电路相比，具有很多优势。传统变换器电路存在着一些问题，如电源电流的波动范围较宽（3～6V），同时耗电很难低于250μA。而且，由于电

期刊

振荡器功率变换器CMOS电源电流生产厂家输入特性电源变化电路传统

创新思维论

创新是知识经济时代的灵魂。创新又是思维的结晶。本文从创新思维的意义、性质 ,创新思维的准备条件 ,创新思维的发端机制 ,创新思维运用的基本思维方法 ,创新思维方法运用的

期刊

知识创新思维

计算机辅助P波离散度测定及其对阵发性心房颤动的预测价值

目的研究一种快速准确的P波离散度（Pd）计算机辅助测算方法，评价Pd对阵发性心房颤动（房颤）的预测价值。方法将12导联同步描记心电图进行计算机数字化处理，每导联各叠加3个心动周期的

期刊

心房颤动P波离散度图像处理计算机辅助atrial fibrillation P wave dispersion image processing com

电子科技大学坚持立德树人根本任务，努力探索网络育人新途径

作为教育部首批高校校园网络文化建设专项试点单位之一，电子科技大学按照《关于进一步加强和改进新形势下高校宣传思想工作的意见》要求，贯彻落实教育部对试点工作的总体部署，坚

期刊

电子科技大学网络育人立德树人高校宣传思想工作网络文化建设试点单位党委书记高校校园

初一美术教学探究

对于部分初一新生由于初中阶段的学习内容、教法、学法等方面都与小学阶段有所不同，而在新的起跑线上出现参差不齐现象，笔者通过在初一两个班进行实验、探究，得出搞好中小学教法

期刊

衔接教法学法实验探索

让美术教学濡染上乡土的醇香

《美术新课标》中提出“认识本土文化是学生学习艺术，认识艺术的基础，是他们走向世界的起点，教师有必要引导学生深入地学习本土文化，从他们的周围环境开始，挖掘生活的美，乡土文化的

期刊

乡土文化美术教学引导学生学习艺术民族精神教育本土文化生活气息乡土气息

汽车产品研发中零部件成本管理与控制方法探讨

汽车零部件成本的过程控制与闭环控制是汽车企业提升整车研发实力、增强企业竞争力的重要而有效的管理环节。文中介绍汽车产品价格和零部件成本的一般构成,结合汽车产品开发

期刊

零部件成本过程控制闭环控制

降低摩托车排气噪声的试验研究

排气噪声是摩托车最主要噪声源之一,对某125摩托车进行了整车噪声评价和声源识别、对其不带消声器而带空管的发动机排气噪声进行了频谱分析并对消声器消声性能做过改进试验和

期刊

摩托车噪声试验

针对软件中2路并发行为完全覆盖的测试方法

其他学术论文