基于模型检验的构件数据流测试

来源 :2009中国计算机大会 | 被引量 : 0次 | 上传用户：zhennanquming

【摘要】

：

模型检验输出的反例提供了一种自动产生测试用例的有效途径，提出了用模型检验进行构件数据流测试的方法.用构件状态机描述构件的外部行为，用带有变量定义和使用标记的Kripke结

【作者】

：

曾红卫缪淮扣

【机构】

：

上海大学计算机工程与科学学院,上海 200072

【出处】

：

2009中国计算机大会

【发表日期】

：

2009年期

【关键词】

：

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

模型检验输出的反例提供了一种自动产生测试用例的有效途径，提出了用模型检验进行构件数据流测试的方法.用构件状态机描述构件的外部行为，用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息.给出了从构件状态机到KriDke结构的转换方法并建立了全定义覆盖和全使用覆盖准则的陷阱性质构造公式.陷阱性质将使模型检验器NuSMV输出反例，从而产生构件的数据流测试序列.

其他文献

基于记录相似度估计的高效重复记录检测算法

信息集成过程中出现的重复记录的存在为数据处理和分析带来了困难。重复记录检测已经成为当前数据库研究中的热点问题之一。基于二分图最优匹配的重复记录检测算法具有考虑到

会议

非清洁数据上的CUBE操作

现实数据库中的不完整数据、不一致数据、重复数据等非清洁数据为数据库的有效使用带来了影响，在包含非清洁数据的数据库中，如何进行高效的OLAP分析为数据库研究带来了新的挑战

会议

清洁数据库不完整数据重复数据有效使用一致数据实验验证聚集查询计算方法处理方法有重叠效率算法聚类存储

苹果洋葱栽培技术(二)

二、苗期管理 1.温度管理原则是:前升、中控、后降。幼苗出土前以升温为主。温度适宜,出苗快,减少病害,有利苗齐、苗全、苗壮、苗均。白天室温应达到25~30℃;夜间室温要达

期刊

栽培技术大棚育苗温室育苗温度管理苗期管理幼苗出土保温材料中控土壤疏松氟乐灵乳油

周鸿祎：奇虎六次反猎杀

一　　我对做空这事非常能理解。　　这几年，中国有一批到美国买壳上市的公司，不客气地讲，这里面骗子比例相当高，一些造假方法超过美国人的想象。拿出那种玩儿A股的精神，第一年赢利，第二年亏损，第三年就ST。路演的时候给人吹得都挺好，一到交季报的时候就老做不到。　　再加上中国互联网行业又存在VIE（可变利益实体）结构，国家本来应该给个明确的说法，又含糊其辞。熟悉中国国情的人都知道，VIE这事儿已经是板上钉

期刊

做空周鸿祎买壳上市路演第二年给人那种股价事儿中国概念股

基于不确定主观权重的Web服务选择

Web服务技术的发展和流行使得互联网上Web服务逐渐增多，并出现一些功能相同或类似的服务，要选择合适的服务，需考虑服务的QoS属性及用户对属性的偏好.用户通常习惯用定性概念表示

会议

Web服务不确定主观权重云模型用户偏好

一种基于模型的可视化汽车电子软件需求表示方法

汽车电子软件(Automotive Software)是一类控制汽车机械和动力部件、实现各种汽车安全和舒适功能的高可靠实时嵌入式软件，其需求分析和设计方法是目前软件工程面临的重要挑战

会议

网格数据库连接查询自适应处理算法研究

由于网格数据库运行环境的动态性，传统的基于静态优化的查询处理技术效率不高。给出了网格数据库连接查询流水线处理的代价模型。提出了一个基于流水线、自适应的连接查询处理

会议

统计机器学习中的特征选择方法综述

特征选择通常被视为数据挖掘的第一步，特别是对于高维稀疏数据，通过特征选择可以去除大量的冗余和不相关特征信息的干扰，有效降低问题特征空间的维数，从而提高对目标函数的预测性

会议

特征选择弹性网络统计机器学习数据挖掘数据降维预测性能惩罚约束

一种基于扩展UML的企业应用软件PIM模型

针对UML在企业应用软件PIM建模领域的不足，提出了一种基于扩展UML企业应用软件PIM层模型：ICE-PIM。首先，针对企业应用软件特点的分析，提出了一个以业务对象为中心的软件开发方法，

会议

企业应用软件业务对象元模型建模效率件开发方法软件特点扩展机制建模方法层模型语法

基于构件的软件架构提取

软件架构的建模和描述是软件系统开发过程中的重要内容。软件架构的描述在软件生命同期中起到了非常重要的作用。对于没有可靠的设计文档的遗留系统，很难对其进行维护和升级。

会议

基于模型检验的构件数据流测试

与本文相关的学术论文