摘要
软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。为了较为方便恰当地描述软件体系结构的动态性,通过对软件体系结构描述语言研究,利用带标号的转换系统来模拟软件体系结构的动态性,把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试,并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法。
The software architectural （SA） dynamics description is a critical step in the conformance testing based on SA. To describe SA dynamics more convenienfly and properly, one architectural description language （ADL） is researched and a labeled transition systems （LTS） is used. A LTS graph is used as the SA dynamics model for deriving the test sequences. At the same time, a case study is given to research the derivation of LTS and the application of LTS in the conformance testing.
出处
《计算机工程与设计》
CSCD
北大核心
2007年第4期982-984,共3页
Computer Engineering and Design
