论文部分内容阅读
测试需求模型采用形式化语言构建，对于系统测试实现自动化具有重要促进作用。本文基于面向对象思想，采用状态图作为核心技术，与类图相结合提出适用于嵌入式软件系统实际测试需要的一种实时建模方法。该方法对于需求模型的构建直观简洁易用，与测试用例生成策略相结合，能够实现测试用例的自动生成。
嵌入式软件系统的实时建模方法研究
【摘 要】
：
测试需求模型采用形式化语言构建，对于系统测试实现自动化具有重要促进作用。本文基于面向对象思想，采用状态图作为核心技术，与类图相结合提出适用于嵌入式软件系统实际测试需要
【机 构】
：
黑龙江省计算中心,中华人民共和国黑龙江出入境检验检疫局
【出 处】
：
硅谷
【发表日期】
：
2004年期
【基金项目】
：
黑龙江省自然科学基金;
其他文献
目的了解氪激光治疗糖尿病性黄斑水肿(DMO)的疗效。设计回顾性病例分析。研究对象58例(110眼)DMO患者。方法根据眼底镜观察、FFA和OCT检查了解DMO环形黄斑格栅光凝或局限光凝
目的:探讨异常黑胆质载体动物模型下丘脑、垂体、肾上腺组织细胞的变化.方法:选用ICR小鼠,在干寒环境下,采用干寒性饲料饲养、慢性电击等多因素复合建立维吾尔医学异常黑胆质
目的:探讨节段和短段刺激尺神经后不同节段复合肌肉动作电位(CMAP)负波各参数变化及传导阻滞在吉兰-巴雷综合征(GBS)和慢性炎性脱髓鞘性周围神经病(CIDP)中的意义。方法:20例
本研究探讨CCL-2/MCP-1血浆水平在异基因造血干细胞移植前后的变化,以了解该趋化因子在急性移植物抗宿主病(aGVHD)和特发性肺炎综合症(IPS)发生、发展中的作用.选择22例异基
目的:合成能反映脑乙酰胆碱酯酶活性的PET显像剂[11C]4-乙酰氧基-N-甲基哌啶(11C]MP4A)的前体4.乙酰氧基哌啶(P4A),制备[11C]MP4A.方法:合成MP4A前体P4A,利用[11C]碘代甲烷合
智能变电站保护测控平台为实现保护测控装置的通用性进行研究开发，采用多板多核的通用式分布设计法作为新型测控平台。在原有设计中加入了多核CPU主板、SV板和GOOSE板等，实现了
针对当前野外测量技术主要依靠人工卷尺测量,灵活性差,以及多方向测量难度大,难以适用于野外复杂环境,耗费大量人力物力,设计了一种以激光为测量载体的测量技术,适用于野外各种复杂,测量难度大的环境,介绍了组成激光测量仪的硬件组成部分,阐述了测量仪的远程数据传输功能,适合测量次数多,测量难度大的野外复杂环境。
近年来我国经济进入了快速发展时期，经济发展与环境保护的矛盾日益突出，经济发展对电力的需求不断增大，从而产生的雾霾等环境问题日益严重，因此发展经济、节约电能、保护环境走绿
随着我国电力企业体制改革的不断深化以及电力运行系统的不断完善，对供电企业生产运行管理提出了更高的要求，优化生产运行管理信息系统，加强生产运行管理，对供电企业的发展具有重
模具行业中新型复合材料的应用可降低原模具制造的成本，且节能环保，无论从教学角度及生产实际应用方面都有实施的必要性和创新性。本文从复合材料DMC入手，综述了DMC复合材料的特