针对Web服务的组合与验证问题，在范畴理论描述框架的基础上，引入进程代数描述服务组件的外部行为，为Web服务系统的架构描述建立了一种形式化的语义模型。
2018-01-09 15:14
形式化工程方法，是以软件形式化方法理论为基础，以系统化的工程方法引导工业界工程人员构建高质量的软件模型，用以引导后续的代码编写和相关测试分析。并选取了工业实际场景中的某
2023-03-24 11:01
衛星通訊系統地面站 – 在地球上或接近地球的基地台 上鏈 – 將資料從地面站傳送到衛星上 下鏈 – 從衛星傳送資料到地面站 轉接器 – 衛星內部將上鏈的信號轉換成下鏈的信號之電子裝置 在通訊衛星的分
2008-10-23 13:55
本文提出了适应于通信协议的一类抽象形式化模型：抽象行为模型和抽象结构模型．前者主要包括事件、输入／输出、内部／外部和状态等子模型
2018-01-09 11:00
概觀由於業界正不斷降低測試成本，許多 RF 測試工程師更必須縮短量測時間。如你所想，無線區域網路 (WLAN) 裝置的測試作業亦必須迎合此趨勢。不論是設計檢驗的自動化測試系統，或最後的生產測試作業
2019-07-22 07:55
系列简介：形式化方法在计算机和软件工程学科中作为一个学科分支，正在越来越多地进入工业界诸多实践领域。以DO-333适航标准为代表的工业标准，亦对软件开发过程明确提出了采用形式化方法的要求。为此，结合
2022-06-10 10:49
1.量測系統構成 2.量測系統變異 2.1量測系統變異概述
2009-07-04 14:29
方法只能在η固定的特定有限域上进行验证，而且计算量往往超出计算机的能力。基于交互式定理证眀器的形式化验证为有限域性质的通用验提供了可能性，但这方面的工作难度较大。已有研究主要针对有服域的抽象性质进行形式化验证，但计
2021-04-25 11:41
本文回顾和讨论了形式化方法和测试技术，以及形式规格说明可以用于测试用例生成、测试顺序确定的途径；并提出了将形式化方法和测试技术应用于安全保密设备。关键词 形式
2009-06-11 10:49
Linux系統文件包分享
2022-10-08 10:51
