Software Testing Method Based on Model Comparison

来源 :西南交通大学学报：英文版 | 被引量 : 0次 | 上传用户：zjp062

【摘要】

：

A model comparison based software testing method(MCST)is proposed.In this method,the requirements and programs of software under test are transformed into the o

【作者】

：

谢晓东卢炎生毛澄印

【机构】

：

SchoolofComputerScienceandTechnology

【出处】

：

西南交通大学学报：英文版

【发表日期】

：

2008年2期

【关键词】

：

软件测试机械模型计算机技术设计方案 Software testing Test suite generation Model comparison

【基金项目】

：

The National Natural Science Foundation of Hubci Province （ No. 2005ABA266）

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

A model comparison based software testing method(MCST)is proposed.In this method,the requirements and programs of software under test are transformed into the ones in the same form,and described by the same model describe language(MDL).Then,the requiremen

其他文献

谈二难推理(假言选言推理)

<正> 假言选言推理,是由两个以上假言判断和与之有关的选言判断为前提而构成的复合判断混合推理。其中,由两个假言判断和一个二肢的选言判断作前提所构成的假言选言推理,传统

期刊

假言选言推理推理形式二难推理复杂构成式简单构成式

新型皮托-文丘里流量计

一、前言利用压差来测定流体流速或流量的方法,是目前工业检测中应用最多的方式之一,但对于以往的采用节流孔板、文丘里管及皮托管等的测定方式来说,在低流速范围的测定时会

期刊

文丘里流量计文丘里管

水解(酸化)—SBR工艺处理制药废水实例

文章介绍了采用水解－SBR－混凝沉淀工艺处理某制药厂处理有机废水的工程调试及运行情况。原水COD为1200～1500mg／L，BODs为350～400mg／L，PH为3．5～6，经处理后可达到《污水综合排放标准》（GB897

期刊

有机废水水解—SBR—混凝沉淀调试

论防窃电技术

随着电力体制改革深化和发展，适应建设“一强三优”供电公司的要求，加强客户需求侧管理工作越来越得到各级领导的重视，特别是加强电能计量装置的改造工作更显得十分重要．窃电行为

期刊

电网企业反窃电专用计量箱电能计量装置客户配置规范

《失乐园之一》

请下载后查看，本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.

期刊

失乐园《失乐园之一》鲁迅美术学院

Software Testing Method Based on Model Comparison

其他学术论文