基于层次有色Petri网的软件测试用例选取研究

来源 :第二届全国信号处理与应用学术会议 | 被引量 : 0次 | 上传用户:hekaishou
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试的关键之一是良好的测试用例选型。目前,测试用例的设计主要是依据测试人员对系统需求和设计的理解,通过手工方式实现测试用例的建模。针对测试用例设计中缺乏可行的定量化操作方法的问题,在UML状态图基础之上,提出了一种基于CPN实现测试用例半自动化筛选方法。通过民航电报系统测试用例选择的实例,表明该方法能够按照深度和广度覆盖测试的原则,优化选取测试用例。
其他文献
Ozonation pretreatment is typically implemented to improve algal cell coagulation.However,knowledge on the effect of ozonation on the characteristics and coagul
提出根据贝叶斯理论,运用Gibbs抽样的MCMC方法,解决混合谱的参数估计问题。该方法不仅充分利用模型信息和样本数据信息,同时融合了模型分布中未知参数信息,能同时估计出所有参数,
将如下新鲜蔬菜洗净、消毒、切碎、压榨,其汁水有保健去病之功效:白菜:其汁具解热除烧、通肠利胃之功效。常服之,可预防坏血病,减少肠癌的发病率,胃溃疡者服之效果显著。芹
《生死恋》,真柏,树高72厘米,作品构图秀美,景观端庄;稳健之中颇具动势。主干黑白分明,翠叶茂密,体现出飘逸、清高的气质,并与左侧枯树秃枝形成鲜明对比,强化了疏与密、枯与
说话人识别(Speaker Recognition),又称声纹识别(Voiceprint Recognition),是由计算机利用语音波形中所包含的反映特定说话人生理和行为特征的语音特征参数来自动识别说话人身
会议
奔波于社会、家庭和事业间的中年男子最容易“透支”的就是健康。如果有不惑之年的男子向你诉说疲惫和劳累,那绝对不是小家碧玉的扭捏作态。许多中年人都经历过情绪低落、容
介绍了串行RapidIO的技术特点,从体系结构、流量控制、维护和错误管理等方面进行了研究;同时给出了串行RapidIO在实时频谱分析系统中的实际工程应用以及相应的测试数据和波形
企业职工养老保险基金是每一个缴费者的“保命钱”。截至去年底,我国各项社保基金规模已超过1.8万亿元,其中地方社保占据主体地位。但由于目前还没有一个系统的法律法规对地
The emergence of eutectic high-entropy alloys (EHEAs) offers new insights into the design of next generation structural alloys,which is due to their stable dual
运动目标的自动检测通常在智能视频监控系统中发挥重要作用。为了有效地进行运动目标检测,背景建模往往是关键的一步。目前,混合高斯模型在视频背景建模方面效果较好,并得到了广
会议