基于组件的开发允许在现有组件上构建软件,并有望进行改进软件重用并降低成本。 为了获得基于组件的系统的可靠性,验证技术例如测试可以应用于检查基础组件及其组成。 符合性测试检查行为和组件规范之间的一致性。 另一方面,健壮性测试可检测具有意外输入或压力环境的软件漏洞。 现有的稳健性测试工具旨在使具有不同数据类型的预设值的组件崩溃。 但他们不采取考虑到组件状态,这对于检测组件的鲁棒性问题至关重要。 我们提出了一种基于状态机的方法来检测组件的鲁棒性问题。 首先,一组生成路径以覆盖状态机的转换。 遵循路径的测试输入达到很高的效果涵盖系统状态,并比无状态API测试检查更多转换。 其次,无效输入和不合时宜的方