UML活动图到有色Petri网映射方法的研究

软件测试是质量保证和故障检测最常用的方法。然而,它也是软件开发生命周期中最昂贵的和耗时的活动。基于代码的和基于规则说明的软件测试已经持续了近四十年。基于模型的测试是软件测试的新方法,其中软件模型被用于产生测试用例。模型是系统的简化表示,模型执行的成本比原始系统更低廉。因此,模型长期以来一直用于系统验证和确认。UML(Unified Modeling Language)是软件系统分析和设计的众所周知的标准。UML模型可以被分成结构模型和行为模型。活动图是一种行为模型,自从UML 2.x版本发布以来,活动图增添一些新的语义。它有广泛的应用范围,包括嵌入式系统、工作流和网站服务系统。文中专注于研究活动图模型。活动图的非形式化语义对于开发UML检验和确认工具是一个重大挑战。文中的主要研究目标是将UML模型用于测试。重点在两个方面:将活动图模型转换成CPN(Coloured Petri Nets)模型,评估转换方法的正确性。为此,提出一个三步的转换方法,解决了活动图的语义模糊问题,转换后用CPN表示。CPN是众所周知的形式化语言,并且它有广泛的工具支持。

基于讯飞SDK的智能语音无线鼠标控制系统

针对办公等较为复杂的专业化应用场景自然语言理解能力尚弱,缺少针对中文语音环境下的电脑语音助手应用等问题,笔者基于讯飞SDK提供的语音技术,深入研究音频识别和深度处理技术,研制一款无线智能语音鼠标及相关的控制系统软件,让键盘、鼠标与语音三者紧密配合,各自发挥优势为计算机输入信息。该系统软件能够为人机交互带来全新的操作方式,让人从烦琐的计算机操作中解放出来,让用户感受智能语音带来的全新体验。