论文部分内容阅读
构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论基础上构造了一种基于有限状态自动机,并可验证构件化软件行为的测试方法。通过实验验证了其有效性。