基于有限状态自动机的构件化软件集成测试方法  

Integrate Test Method for Component-based Software Based on Theory of Finite Automaton

作　　者：张毅坤[1] 侯宇明[1] 崔杜武[1] 

机构地区：[1]西安理工大学计算机科学与工程学院,西安710048

出　　处：《计算机工程》2006年第18期75-78,共4页Computer Engineering

基　　金：陕西省自然科学基金资助项目(2001x20);陕西省教育厅科研基金资助项目(00JK265)

摘　　要：构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论基础上构造了一种基于有限状态自动机,并可验证构件化软件行为的测试方法。通过实验验证了其有效性。It comes the era of component-based software when the technology of components and its specification comes to the horizon. However, the endowments inherent in component-base software are challenging the traditional software testing method： because of the independence of component development, how to ensure the quality of a software system integrating various components without accessing their source code？ With the theory of observation construction, this paper constructs a new software testing method, which is based on the theory of automaton and could verify the dynamic behavior of component-base software. Finally an example is given to prove the method valid.

关 键 词：构件化软件 正则表达式 控制状态序列 有限状态自动机 捕获器 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]