摘要：测试数据的自动产生技术是软件测试的一个重要研究领域,是提高软件测试效率和效果的有效方法。为保证被测对象中实际运行更频繁的部分得到更充分的测试,把使用模型和遗传算法相结合,以整个被测试对象所需测试数据量为优化目标,给出了相应的规划模型,并提出了路径权重和目标路径集的确定方法,设计的适应性函数综合考虑了路径权重、路径覆盖率和路径接近程度三要素。实例证明了模型与方法的合理性及有效性。

摘要：为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描述软件的使用情况。针对状态空间爆炸问题,提出冗余状态和等价状态的定义,设计使用模型化简算法,针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。

摘要：基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。论述了该方法中使用链与测试链的构建技术,基于使用模型的统计分析计算,基于测试链的软件可靠性评估,操作可靠性和使用可靠性评估,以及它们在实际应用中需要注意的若干问题。

摘要：从下面的几个重要特性看，相变存储器（PCM）技术均符合当前电子系统对存储器子系统的需求：

摘要：Web应用软件一般都具有体系结构复杂、代码量大、页面众多且相互联结的特点,在一定的时间和投入内,显然是无法做到穷尽的测试,而确保Web应用软件可靠性的一个很好的可选方案就是基于使用模型的Web统计测试,以便重点测试用户频繁使用的路径和页面,使测试效率达到最高。针对这个问题,提出了一个能够反映系统真实使用情况的Web统计测试的使用模型WSUM,该模型基于Web应用的导航行为图和日志文件进行构建,对于用户的导航行为的描述更为全面和准确。在此基础上,还提出了基于使用模型WSUM设计和生成测试用例的方法,并给出了应用此方法进行统计测试的例子。

摘要：本书的主题是动力学系统中的模型提取，主要目的是通过使用模型提取技术为移动机器人汽车设计控制器。模型提取提供了一种简单的方法来描述动力学系统却仍能获取原始系统最重要的信息。另一个目的是对不确定初始条件下的模型提取技术进行研究。

摘要：2013年公布的《美国新一代科学教育标准》中，“科学与工程实践”（以下简称“科学实践”）一词取代了“科学探究”。这一改变不是否定科学探究，而是对科学探究的拓展和丰富。科学实践包括8个类型：提出问题和明确需要解决的问题；建立和使用模型；设计和实施调查研究；分析和解释数据；利用数学和计算思维；建构解释和设计解决方案；基于证据进行论证；获取、评估和交流信息等。

摘要：选择合适的千兆位收发器（GT）是通信和实时处理领域尤其需要重点考虑的设计事项，但特定的市场领域可能会存在太多的标准、协议或使用模型。有时针对某一种应用就会涉及到好几种标准，为了选择最适合的千兆位收发器，必须对各种协议的最新发展情况了如指掌。

摘要：天然气作为一种清洁能源,其燃烧产生碳排放物原低于汽柴油的排放物,目前天然气在家庭生活和出租车等领域已经有了广泛的应用。文中探讨天然气在通信基站的应用,从使用环境、使用成本以及可靠性等方面进行了详细的分析,充分利用其低价格、低污染等特点,为中国移动的"绿色行动计划"贡献力量。

摘要：叙述了全面质量管理系统的辅助手段—情势管理模型在系统和计算机技术公司（SCT公司）中的应用情况。尽管改进质量的方法各不相同，但它们却具有一些共同的特点，例如：查明用户，确定用户的需求，规定效益准则，编制文件资料，揭示缺点，消除缺点，进行修正。采用情势管理模型，可以根据组织文化及该组织的可能性，选择与一定情势相适应的方法。首先编制过程表和确定各过程的特征。例如在SCT公司，编制软件的过程包括数千道工序，因此，设计工作要延续6～巨＊个月。挑选出关键过程并确定其复现率。然后再确定组织文化的特征，工作人员对工作的态度和管理风格。以SCT公司为例阐述了推广使用这种模型的问题和必要的阶段。使用模型的经验表明，如果过程较复杂，在改进过程之前应当先把孩过程分解成比较简单的单元；对经常复现的过程，建议采用较简单的方式。