论文部分内容阅读
SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步.许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列.通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程.
用于测试的SA动态模型生成方法
【摘 要】
：
SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步.许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用L
【出 处】
：
计算机技术与发展
【发表日期】
：
2004年期
其他文献
综述了以环氧树脂为主的国内外真空辅助成型技术(VARI)用低黏度树脂基体的研发现状,以及双酚F及改性双酚F环氧树脂研究现状,分析了双酚F及改性双酚F环氧树脂应用于真空辅助成
采用一种简单有效的反相高效液相色谱分析法分离测定8种低分子量有机酸,对芦荟及芦荟饮料中的低分子量有机酸进行了分析测定.实验表明,该方法灵敏、高效、回收率高、重现性好
随着信息技术的日益发展，ERP系统在我国迅速推广和普及，企业之间逐渐结成联盟共同应对万变的市场，企业的ERP系统正面临着向ERPII转型，更加重视联盟体内的资源整合、共享、协同。
运用模糊综合评价方法建立模糊数学模型,对矿井煤与瓦斯突出危险性进行分析,针对矿山开采与矿山安全的关系建立数学模型,在单一因素评价的基础上进行多因素的模糊综合评价,给
主动脉内球囊反搏(intra—aortic bal oon pump IABP)是目前在心脏血管疾病方面临床应用较广泛而有效的机械性辅助循环装置,由动脉系统植入一根带气囊的导管至降主动脉内左锁
为了提高汉-维电费自助缴费终端准确率，给出了基于Moses算法的汉-维翻译方法，并在此提出上设计了电费自助缴费终端。该终端系统对给予的维吾尔文字资料进行词法分析，根据预料的
介绍了余误差函数的定义,激光打印机的定影过程和与定影过程相对应的扩散模型,阐述了余误差函数的数值计算对设计激光打印机定影过程的重要性,并指出了已有文献给出的余误差
文中在对IPSec协议体系和Linux下TCP/IP协议栈深入分析的基础上,利用IPSec协议,构造了一个试验性的VPN模型,在Linux平台下实现了保密数据传输.并对所实现的IPSec模块和传输系
提出了一种基于SIP协议的会话边界控制器(SBC)实现方案,它解决了跨越IP网络边界,提供端到端的多媒体通信时存在的NAT/FW穿透、安全接入等诸多问题.并针对SBC类似于全代理的工