论文部分内容阅读
描述了基于UML状态图测试的一组测试准则,并提出2个新的准则：N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的评估可为软件工程师选择测试准则提供指导和帮助.
UML状态图测试充分性准则的公理化评估
【摘 要】
：
描述了基于UML状态图测试的一组测试准则,并提出2个新的准则：N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出
【机 构】
：
上海大学计算机工程与科学学院
【出 处】
：
上海大学学报：自然科学版
【发表日期】
：
2007年5期
【基金项目】
：
国家自然科学基金资助项目（60673115）,国家重点基础研究发展计划（973计划）资助项目（2002CB312001）,上海市教委科技发展基金资助项目（05AZT0）,上海市教委科研项目（07ZZ06）
其他文献
无线传感器网络在道路交通监控中的应用日益广泛．在公路带上形成无线传感器网络拓扑结构时，传统的做法是将结点随机放置在公路带上，这种做法不仅消耗了大量结点能量，且降低了整个
提出一个基于微型圆盘光学谐振腔（microdisk structure cavity）中自生长量子点的量子光信号存储方案，该方案利用量子光场和量子点系综自旋态之间的Raman过程来实现长时间的量子
文章回顾了有机电化学和有机电化学工业的发展历程，指明了有机电化学的研究方向，从而得出了有机电化学是符合21世纪“可持续发展战略”的绿色化学。
2009年4月24日，中国银行三亚分行与大连万达集团三亚万达大酒店有限公司在海南省三亚市隆重举行贷款签约仪式。中共海南省委常委、三亚市委书记江泽林，三亚市副市长岳进，中国银
一种实现简单的二值图像密写方法是将图像分为2×2的小块后利用边缘块的奇偶性来隐藏秘密信息,将含密图像以不同行列作边界分块时，图像块像素和的直方图存在明显差异，且非
笔者从三个方面阐述了“放羊”式教育的积极面，以及教学中，在教师的指导下，适时，适量的“放羊”可使教育收到良好的效果。
本文试图从研究金融生态环境的内涵和外延入手，通过对独特背景下海南金融生态环境的历史和现状的实证分析，有针对性地从区域角度提出营造绿色金融生态环境，促进区域金融稳健发展
金融混业经营作为提升我国金融业整体竞争力、做大做强民族金融业的重要环节，其动因主要来源于金融开放外部竞争的推动与金融资本顺应金融业发展规律、谋求利润最大化的内部诉