摘要：软件过程由多个活动组成,活动可以分解成子活动,活动间的关系包括静态关系和动态关系。提出基于活动分解和ECA 规则的过程建模。通过活动分解对软件过程的静态部分进行建模,描述活动与子活动之间的关系;通过ECA 规则描述活动之间的动态时序关系,即描述触发活动的事件和内部条件,给过程的调整和动态变化带来了方便,增强了其适应变化的能力。

摘要：将场景和模式方法用于嵌入式软件测试用例的设计与生成,通过对被测软件系统需求进行分析建模,将建立的场景模型划分到不同的场景模式中,依据场景模式构建测试场景的状态图,遍历场景状态图以获取测试执行路径,确定相关的测试数据,设计并生成测试用例。实验结果证明,该方法可以较快地设计和生成测试用例,提高测试用例的可重用性,实现对嵌入式软件的有效测试。

摘要：句法分析不能满足汉语分析的需要 ,句法和语义相结合的分析方法适用于汉语分析。分析的基础要有一部语法语义词典。目前的机读词典多是语法词典 ,因而需要在语法词典中加入词的语义信息。《同义词词林》是一部较好的义类词典 ,但没有语法信息 ,可以《同义词词林》的分类体系对语法词典进行义类标注 ,得到语法语义词典。这一过程中有不一致的情况 ,特别地 ,对《同义词词林》中未收录的词就不能直接标注义类。本文采用《同义词词林》的分类体系 ,研究设计了一个汉语词自动义类标注算法 ,对北大《现代汉语语法信息词典》进行自动义类标注。实验结果较为满意 ,得到 91 %的准确率。

摘要：测试氨棉包芯纱弹力梭织物不同方向的拉伸性能.根据实验结果与人体不同部位的特殊体形特征和服用要求,采用不同的斜裁方式设计制作了紧身腰带;利用三维人体非接触激光扫描仪对紧身腰带的服用效果进行了客观评价.结果表明,采取九片的衣片设计,利用区域性硬型材料与软型材料相搭配的组合方式,可使紧身腰带达到较好的束身效果.

摘要：针对Web应用负载测试的需要,提出了一种基于TTCN-3的Web应用负载测试方法。采用TTCN-3函数建模用户访问Web应用的基本行为,通过并发测试组件模拟并发用户行为。由主测试组件创建大量并发测试组件形成负载,并协调不同测试节点上的并发测试组件实现负载测试。为便于组织实施测试,设计了基于TTCN-3的分布式负载测试框架。将该方法用于网上书店的测试,验证了该方法的可行性与有效性。

摘要：本文主要讨论了程序设计语言的研究方向，以及与之有关的研究领域，并展望了程序设计语言的发展。

摘要：针对日益增长的Web应用功能测试需求与测试重用需求,提出了一种基于TTCN-3的Web应用功能测试方法。该方法结合分层测试的思想以及TTCN-3的特点,提出将Web应用功能测试划分为页面内容测试、会话管理测试、使用场景测试等3个层次,并分别从这3个层次给出了采用TTCN-3进行测试的过程。该方法应用TTCN-3参数化设计测试用例的思想,有效分离了测试设计与测试实现,使测试用例具有高可重用性。结合实例,表明了该方法的有效性。

摘要：针对当前大型软件系统因支撑数据的质量问题给整个系统带来的直接或潜在危害,深入分析了产生数据质量问题的根本原因、易发阶段、严重等级等相关要素,剖析了科学的数据质量管理制度和完备的数据质量管理体系,提出了数据采集、数据整合、数据清洗、数据挖掘等先进的数据质量控制工作原理。以基于分类模式的数据挖掘技术为例,介绍实现数据质量控制的典型方法,从而使得大型软件系统在研制和维护过程中可通过所研究的标准、体系和方法基本形成适用于各领域系统数据质量问题的高效预防措施和最佳解决方案。

摘要：为解决传统嵌入式数据库系统只支持基本的事务操作,使得系统无法满足实时性应用需求的问题,分析了实时系统的特点和要求,并综合嵌入式数据库系统事务管理机制,提出了实时事务管理器作为嵌入式数据库系统的实时性解决方案,该管理器的核心算法包括事务截止期分析、事务优先级动态分配策略、事务调度策略和事务接纳策略几个部分。通过应用于嵌入式数据库管理系统Tyche_DB可知,该系统具备了实时系统的特点,满足实时性应用的需求。

摘要：分析了分布式软件系统中的典型通信协议故障,研究了基于API Hook的分布式软件可靠性测试方法,提出了基于通信协议故障注入的应用软件可靠性测试方法,并设计、实现了工具原型,为基于故障注入的分布式软件可靠性测试提供了技术手段。