反应式系统面向性质测试的方法框架

提出了一种反应式系统选择性测试方法．该方法根据描述待测系统的UML Statecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列．据此实现了一个面向性质的测试工具．实验表明，该方法可以将测试资源集中于用户关注的系统行为．经扩展后，该方法可用于实时系统．     

一种面向性质的实时系统测试方法

尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,待测系统的行为空间变得非常庞大,使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测试方法.首先对UML Statecharts作适当实时扩展,使得扩展后能描述non-trivial时间约束;然后用一种受限实时逻辑描述待测系统的功能特性;在此基础上根据待测性质从系统模型生成有针对性的测试序列.实验表明,在相同测试深度下,面向性质测试比非面向性质测试需要少得多的测试序列.     

红酒运输中包装的缓冲减振隔衬性能分析

目的:将有限元仿真结合到随机振动试验中,为红酒运输包装研究提供新思路。方法:以3种不同缓冲减振材料制成的红酒内包装隔衬作为研究对象,通过随机振动试验研究其振动响应,并采用有限元仿真模拟分析试验与仿真结果的关联性。结果:随机振动试验结果与有限元仿真结果高度一致,且有限元仿真较随机试验节省物料、节约时间。结论:通过随机试验与有限元相结合的方法可提高试验效率,有限元仿真方法可为运输振动环境下产品内包装件的分析与设计提供有效指导。     

程序设计规则检查：一种保障软件质量的基本方法

Programming rule checking is an important approach of quality assurance in the coding phase ot the software lifecycle. In this paper we introduce the notion,the objective,and the general procedures of programming rule checking. Following that ,we examine how rule checking improves software quality from the perspectives of validity, understandability, portability, and safety. The tool support of rule checking is also presented. After making investigations on the mechanism of rule checking, we propose some approaches on the generalization, on the standardization,as well as on the practical application of rule checking.     

基于模型的实时系统测试方法

本文分析了基于模型的实时系统测试的主要特征，分类介绍了现有的测试方法，并对这些方法作了归纳、比较和评价，指出了这类测试面临的困难和今后的发展趋势。     

软件可靠性评估系统的智能化实现

软件可靠性评估系统的智能化有利于避免评估人员水平和经验上的差距造成的评估结果的不一致性,有利于保证评估结果的准确性。文章从专家系统辅助模型预选、各软件可靠性模型的自动比较判优和组合模型（包括其基模型的参数估计方式）的自动确定等方面对可靠性评估系统的智能化实现作了探讨,并给出了其实施框架。     

基于最优组合赋权的打叶复烤过程烟叶可用性研究

目的：进一步提高打叶复烤过程中烟叶可用性评价结果的可信度和科学性,以提升卷烟工业企业所购烟叶的价值。方法：提出一种基于矩估计理论的最优组合赋权评价方法对烟叶化学成分可用性进行评价。以主客观权重为基础,组合权重与主客观权重偏差最小为目标,求解主客观权重的相对重要性系数从而确定化学指标的最优组合权重;结合隶属度函数,以烟叶化学成分指标为数据集计算烟叶化学成分可用性值,进而对打叶复烤过程中烟叶可用性进行评价;并以麒麟复烤厂打叶复烤成品烟叶作为分析对象。结果：该方法能够充分考虑主客观因素,使得赋权结果和评价结果与实际情况更加吻合。结论：通过矩估计理论组合赋权能够对打叶复烤过程中烟叶可用性进行更加合理、科学的评价。