10.3969/j.issn.1000-3428.2006.18.027
基于有限状态自动机的构件化软件集成测试方法
构件技术及其相应规范的出现带来了构件化软件时代.可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论基础上构造了一种基于有限状态自动机,并可验证构件化软件行为的测试方法.通过实验验证了其有效性.
构件化软件、正则表达式、控制状态序列、有限状态自动机、捕获器
32
TP311(计算技术、计算机技术)
陕西省自然科学基金2001x20;陕西省教育厅资助项目00JK265
2006-10-23(万方平台首次上网日期,不代表论文的发表时间)
共4页
75-78