湖北省自然科学基金(2011CDB233)
- 作品数：3 被引量：11H指数：2
- 相关作者：陈建勋毋国庆黄勃万黎李琳更多>>
- 相关机构：武汉科技大学中国民生银行武汉大学更多>>
- 发文基金：湖北省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于动态依赖的类间测试顺序研究被引量：3
- 2014年
- 类间集成测试顺序决定着测试成本的大小,为了得到合适的测试顺序,提出了一种基于动态依赖的类间测试顺序的方法。首先分析对象关系图中类间依赖关系,然后运用边删除规则去除环路,最后运用有向无环图的拓扑序列给出类的测试顺序。仿真结果表明,本文的方法较Briand的方法减少了42%的测试桩。此方法满足最小化测试桩的需要,提高了测试效率,减少了测试成本。
- 陈建勋肖亦然
- 关键词：有向无环图
- 基于动态规划的DNA二级结构预测算法
- 2014年
- 基于DNA分子二级结构的结构稳定性和热力学稳定性,提出一种预测DNA分子二级结构的算法。利用基于矩阵的动态规划算法求解DNA分子最大碱基对匹配的所有二级结构;利用Nearest-Neighbor热力学模型计算所有结构的自由能,自由能在阈值范围内的即为DNA分子可能的二级结构。将实验结果与RNA structure软件结果进行对比,对比结果表明,该方法具有较高的准确率和覆盖范围。
- 黄鑫泉张凯陈建勋
- 关键词：生物信息学热力学稳定性
- 基于行为模型的需求可视化研究被引量：8
- 2013年
- 针对复杂软件系统的需求信息难以表达和沟通的问题,提出了一种用动画方式描述需求行为模型的可视化方法.该方法基于行为描述语言(Behavior Description Language,BDL)所建立的需求行为模型,动画的执行机制是采用状态机和状态块分别作为其执行模型和描述模型,每一个状态迁移都对应一个需要进行可视化描述的行为,一个关联元素将状态块模型中的一个迁移与一个动作原语进行关联,控制图形的运动,实现需求行为模型的可视化.该方法的优点在于,需求动画的直观性可以使不同背景的用户发现遗漏和不正确的潜在需求,避免需求变更,并且BDL模型必须通过一系列检测,以确保需求动画的正确性.文中给出了行为模型到状态模型转换规则的正确性证明,为转换提供了相应的理论验证.最后给出了校园通系统实例分析以及所实现的建模工具和动画工具介绍.
- 李琳毋国庆黄勃万黎吴昊
- 关键词：可视化
