【摘 要】
：
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段。本文提出了一种针对软件体系结构层配置信息的测试方法,该方法用Wright描述软
【机 构】
：
哈尔滨师范大学计算机科学系哈尔滨150080
论文部分内容阅读
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段。本文提出了一种针对软件体系结构层配置信息的测试方法,该方法用Wright描述软件体系结构,将体系结构配置行为转换成改进的配置行为图表示构件内部计算及外部迁移信息,在相应算法的基础上,完善提出测试路径生成算法,设计并实现了测试原型工具,指导测试路径覆盖。
其他文献
基于构件的软件开发已经成为软件工程研究领域和软件开发实践过程中越来越重要的内容。在构件进行描述和检索的过程中,检索主要的依据是基于构件IOPE进行的。本文作者基于现
构件组合系统的行为通过构件之间的交互来体现。而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和公平性等。因此,如何从构件交互中提取遵循特定构件
解放前的课程标准,等于具文,教师教学大半由个人爱好出发,教师主观主义很强,不照顾学生的理解性及年龄特征,所以教出来的学生只有绝少数天才学生有些收获,甚至有一部份学生
隐蔽通道的标识是TCSEC、CC等国际标准评估高安全等级操作系统的安全性的关键指标。本文首先介绍了隐蔽通道的概念,其次,概述了当今标识隐蔽通道的主流方法,并对这些方法的优
塑料牙刷即俗称的玻璃牙刷,目前已风行遐迩,妇孺欢迎了,可是这样就难为了吾国的特产猪鬃(参看第一卷第二期)。说到吾国的特产,不免使吾们掉下一包眼泪。在过去曾煊赫一时,列
近期研究表明应用服务器存在老化现象,导致服务时间增加,使应用服务器性能下降。为了实时地解决应用服务器老化现象,本文提出基于上下文感知老化的软件再生模型。采用上下文
在C语言缓冲区溢出漏洞静态检查方法中,目前的模型检测工具无法提取出漏洞模型,不能对该类错误进行检查。提出了基于编译技术与模型检测相结合的缓冲区溢出漏洞检查方法。利
为了提高软件密集型装备故障诊断与维护的准确性与时效性,设计了一种故障诊断与维护智能决策支持系统,它通过对失效信息的分析,推断故障产生的原因,并给出维护方案,重点讨论
如何有效地保证软件体系结构能够正确地进行动态演化是目前软件工程领域中一个亟待解决的问题。模型验证是一种关于系统性质验证的算法方法,它通常采用状态空间搜索的方法来
本书作者休列特·詹森氏(Hewlatt Johnson)是英国坎特勃里的副主教,他自一九一七年以来,就潜心苏联的研究。这本书是他在战后苏联经过长时间实地考察以后写成的。他所考察的