基于CPNs场景模型的测试用例生成技术研究

来源 :计算机工程 | 被引量 : 0次 | 上传用户:zhouj1790
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
将用例场景引入面向对象的软件测试中,有利于测试设计者设计测试用例。将着色Petri网(Colored Petri Nets,CPNs)模型直观可靠的特点和较好的耦合性运用到UML用例场景的描述中,进一步给出了CPNs场景模型的集成算法,并运用变色标记捕获UML规约中的场景及更多新增的场景。同时探讨了基于CPNs场景模型的测试用例生成方法。
其他文献
Objectives: To determine the epidemiological, clinical and paraclinical profile of bone metastases cancer. Patients and Methods: It was a retrospective study pe
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
Objective: Serum from SSc patients was analyzed centrally to determine ANA patterns and extractable nuclear antigens (ENAs) between lcSSc and dcSSc and associat
1950~2010年,《金属加工》已走过60年的发展历程。60年来,杂志在各级领导、广大企业、读者、行业协会(学会)的大力支持下,一路高歌,始终走在我国工业媒体发展的前列。值此《金属
Objective: To describe clinical, paraclinical and evolution’s spectrum of musculoskeletal infections in patients with human immunodeficiency virus. Methods: De
从周期性系统能力规划思想出发,提出基于“服务时间”尺度的接纳控制机制LBAC(延迟限定的接纳控制),与已有的度量方法相比较,服务时间这一尺度能够更准确地表达系统负载。文章给出
"互联网+"时代让信息以前所未有的广度和深度流动起来,这对传统文学期刊来说,是机遇更是挑战。本文从单一的内容生产到多元平台建设,把作者和读者变为用户,从文学阅读服务转换成
经历了2008年全球金融风暴的洗礼,在危机重重的2009年,各企业尽显英雄本色艰难度过,迎来充满发展机遇和挑战的2010年。
PNE480数控车床是我公司在1987年从德国奥利康·鲍林格尔公司引进的设备,是当时世界上最先进的数控车床。由于近20年来使用常出现一些故障,致使生产不能顺利进行。
Aim: To elucidate the anti-apoptotic properties of nuclear factor kappa light-chain-enhancer of activated B cells (NF-κB) and feedback regulation of NF-κB by