【摘 要】
：
为在需求分析阶段验证软件是否满足非功能质量要求,提出一种基于场景行为的需求建模及质量特性检测方案。该方案定义能够建立高精度、可推理、易理解的需求行为模型的行为描
【机 构】
：
江西科技学院信息工程学院,武汉大学计算机学院
【基金项目】
：
国家自然科学基金资助项目（91118003,61003071）, 深圳战略性新兴产业发展专项资金资助项目（JCYJ20120616135936123）, 中央高校基本科研业务费专项资金资助项目（3101046,201121102020006）, 江西科技学院校自然科学基金资助项目（ZR14YB05）
论文部分内容阅读
为在需求分析阶段验证软件是否满足非功能质量要求,提出一种基于场景行为的需求建模及质量特性检测方案。该方案定义能够建立高精度、可推理、易理解的需求行为模型的行为描述语言BDL,构造需求行为模型到状态迁移模型CCS的模型转换函数,以互模拟的定义为前提,验证转换函数的正确性,进而开发可信建模检测工具MTS。该工具导出的行为模型能够与质量特性表达式一起导入特性检测工具CWB实现质量检测。最后,使用该工具对手机软件升级这一需求进行行为建模,成功验证手机软件的一致性、安全性、行为可信性及行为非终止性。
其他文献
为了选择有效的图像特征,并将这些特征融合以进行图像的显著区域检测,提出一种基于图像特征稀疏约束的显著性检测算法。该算法首先建立一个包括多种图像特征的特征池,之后假设图像的显著图由特征池中特征的线性组合来表示,并用线性回归的方法从眼动追踪数据库的信息中学习出该线性组合的权重参数;在学习的过程中,对线性回归的系数加一个稀疏约束条件,使得某些不重要特征对应的系数在最优化过程中自动收缩为0,从而达到特征选
针对传统纹理分类方法计算复杂的问题,基于bag-of-words模型提出了一种简单、新奇的纹理分类方法。在特征提取阶段,使用NSCT滤波器对局部图像块进行映射投影,然后通过观测矩阵提取其随机测量值特征;在纹理分类阶段,直接将随机特征嵌入到bag-of-words环境,并直接在压缩域内进行学习和分类。利用纹理图像的稀疏性,提出的特征提取方法简单,并且在性能和复杂度上都优于传统特征提取方法。最后使用C
为了提高面部表情的分类识别性能,基于集成学习理论,提出了一种二次优化选择性(quadratic optimization choice,QOC)集成分类模型。首先,对于九个基分类器,依据性能进行排序,选择前30%的基分类器作为集成模型的候选基分类器;其次,依据组合规则产生集成模型簇;最后,对集成模型簇进行二次优化选择,选择具有最小泛化误差的集成分类器的子集,从而确定最优集成分类模型。为了验证QOC
在对等网上利用多路径分发视频是一种重要的机制,虽然在一对节点之间找出符合条件的多条路径并不困难,但发送端如何从可用路径集中选出最优路径子集,并为其最优地分配发送速
为了优化无线传感器网络（WSN）的覆盖方法,针对MOEA/D中缺少对本代优质个体的保存和最优解集中个体极少的两个问题,提出了粒子群优化的基于分解的多目标进化算法（MOEA/D-PSO）。通
为适应不同终端显示多样化的要求,需对接收到的图像进行缩放调整。针对现有的基于内容感知(content-aware)的图像缩放方法中视觉内容的连贯性易被破环而出现失真的问题,提出了一个基于离散余弦变换(discrete cosine transform,DCT)域的视觉显著性检测的图像缩放算法。该算法利用DCT域的视觉显著性检测模型获取视觉显著图,然后结合视觉显著图和能量分布图进行线裁剪(seam
针对无线网络中大多数现有方法不能很好地兼顾能量效率和能量均衡的问题,提出了基于改进随机路点（random waypoint,RWP）移动模型结合线性规划（linear programming,LP）的无线网络
针对蚁群算法在图像边缘提取中经常出现收敛速度慢、检测精度低、停滞等问题,提出一种结合Powell法的排序加权蚁群(rank weighted ant colony optimization,RWACO)图像边缘提取算法。该算法将RWACO与Powell法相结合,利用RWACO算法进行全局优化,然后将全局最优值作为Powell法的初始点进行局部优化。实验结果表明,该算法兼顾了全局优化和局部优化的优点
针对Krinidis等人提出的模糊局部C-均值聚类系列算法缺乏合理性的不足,提出一种新的鲁棒模糊局部C-均值聚类分割算法。对鲁棒模糊局部C-均值聚类的目标函数重新分析并建立正确的聚类目标函数,对新的聚类目标函数及其约束条件采用拉格朗日乘子法进行严格数学推导并获得一种新的隶属度和聚类中心迭代表达式,最后设计一种新的充分利用像素邻域信息图像聚类分割算法。实验结果表明,所建议的鲁棒模糊局部C-均值聚类分
传统的遗传算法在解决认知无线电频谱分配问题时,没有考虑染色体中来自于不同频谱的基因所表达的遗传特性是不同的,而不加区别地对染色体进行交叉会降低其进化效率。针对此问