摘要: 构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论基础上构造了一种基于有限状态自动机,并可验证构件化软件行为的测试方法。通过实验验证了其有效性。
关键词:
构件化软件,
正则表达式,
控制状态序列,
有限状态自动机,
捕获器
Abstract: 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.
Key words:
Component-based software,
Regular expression,
Sequence of control state,
Finite-state automaton,
Capturer
中图分类号:
张毅坤;侯宇明;崔杜武. 基于有限状态自动机的构件化软件集成测试方法[J]. 计算机工程, 2006, 32(18): 75-78.
ZHANG Yikun; HOU Yuming; CUI Duwu. Integrate Test Method for Component-based Software Based on Theory of Finite Automaton[J]. Computer Engineering, 2006, 32(18): 75-78.