切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于自动机模型的构件集成软件测试要素的提取
基于自动机模型的构件集成软件测试要素的提取
来源 :计算机应用 | 被引量 : 3次 | 上传用户:xkfywwy
【摘 要】
:
分析了构件化软件接口、事件、上下文及内容依赖关系在集成测试中的作用,以及提取该四要素的难度;针对构件化软件的自身特点提出了一种有限状态自动机模型,利用该模型实施对四要素的提取,并通过实例验证了该模型的有效性。
【作 者】
:
张毅坤
刘伟
【机 构】
:
西安理工大学计算机科学与工程学院
【出 处】
:
计算机应用
【发表日期】
:
2007年04期
【关键词】
:
构件化软件
有限状态自动机
测试要素
正则表达式
component-based software Deterministic Finite Automatio
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分析了构件化软件接口、事件、上下文及内容依赖关系在集成测试中的作用,以及提取该四要素的难度;针对构件化软件的自身特点提出了一种有限状态自动机模型,利用该模型实施对四要素的提取,并通过实例验证了该模型的有效性。
其他文献
无线局域网安全量化评估方法与系统设计研究
无线网络的飞速发展使得网络安全的量化评估日益重要。从非授权接入的角度出发,建立了802.11b无线局域网试验环境和安全评估模型,对无线局域网的安全量化评估进行了深入分析。把无线局域网的安全量化评估分为两个部分:非授权接入后的网络入侵程度评估和在此基础上对整个网内主机安全性能的评估,给出了量化评估的方法和步骤,并介绍了系统实现流程。最后通过实例进行了安全量化评估分析验证。
期刊
安全评估
层次分析法
神经网络
无线局域网
security evaluation analytic hierarchy process neural netw
实验动物与动物实验设施的进展
实验动物科学是一门以生命科学为主体的综合性独立的新兴学科,是生物医学乃至生命科学的基础和支撑条件。其发展和应用程度是衡量一个国家或地区科学技术水平高低的重要标志之
期刊
实验动物
动物实验设施
动物实验室
技巧的“魔力”
一幅杰出作品的产生,倾注了艺术家鲜明的倾向、深刻的思想、是非观念和喜怒哀乐的感情。这种思想感情,通过作品传给观者,感染着观众的情绪,撞击着观众的心灵,从而引起观众的
期刊
艺术技巧
是非观念
德拉克罗瓦
委罗内塞
丁托列托
印象派画家
野兽派
表现主义
鲁本斯
光色
对装饰艺术设计的思考
在现代设计的领域里,有一些设计工作的名称较明白具体。如服装、染织、陶瓷、漆艺、室内设计(包括家具、灯具)等。而有一些设计工作的名称,就要了解它工作的实质,才能明了它
期刊
装饰艺术设计
室内设计
包装装潢
美术设计
促销方式
企业形象
现代工业
装饰带
工业设计
艺术审美
留给来者的思考——谨以此文纪念陈之佛先生百年诞辰
一个多世纪以来中华民族所承受的动荡与坎坷似乎都浓缩在传统手工艺这个特殊的领域之中了。曾几何时,中国历朝历代都曾由于精致而华美的手工艺品而博得全世界的瞩目,中国的平
期刊
传统手工艺
工艺美术教育
百年诞辰
精神生活与物质生活
研究所
工艺美术行业
产业结构
历史命运
手工业时代
文明与文化
在搅动前加入泡腾产品的洗涤方法
一种清洗沾污纺织品的方法,其包括下述步骤:第一个步骤是在水中加入基本上由泡腾颗粒和洗涤剂基体组成的颗粒洗涤剂组合物,形成含约400ppm至约600000ppm的颗粒洗涤剂组合物的含
期刊
组合物
碱源
洗涤剂
颗粒
洗涤液
干燥状态
含水
纺织品
洗涤方法
水洗
《教育电视系统》专题学习网站的设计
本文从信息技术与课程整合的角度出发,介绍了《教育电视系统》专题学习网站的设计过程。专题学习网站的设计以教学设计为基础,通过对网站学习者的需求进行分析,提出了专题学习网
期刊
教育电视系统
专题学习网站
研究性学习
协作学习
设计
谈信息技术与课程整合中教师角色定位
信息技术与课程整合已经成为21世纪教育改革的发展趋势,在这新形势下,传统教学结构中的教师角色面临着巨大的挑战。本文试图从信息技术与课程整合的理论基础、内涵出发,来探讨教
期刊
信息技术
课程整合
教师角色
基于平稳小波变换邻域系数萎缩的图像去噪法
为消除图像去噪过程中普遍存在的边缘失真,先利用Canny边缘检测算子提取含噪图像的边缘特征,使边缘图像的像素点和含噪图像的像素点一一对应,将含噪图像中边缘像素点的值设零,再将得到的去掉边缘信息的含噪图像进行二维离散平稳小波变换,对小波系数采用基于邻域的方法进行系数萎缩。该算法充分考虑了平稳小波系数的邻域性质,对处理后的小波系数进行平稳小波反变换得到平滑去噪图像,最后将边缘图像嵌入平滑图像中得到去噪
期刊
CANNY边缘检测
平稳小波变换
邻域
系数萎缩
峰值信噪比
学生作业选登
<正>~~
期刊
学生作业
与本文相关的学术论文