基于组件的软件系统的接口测试

分享到

【作者】田野，张屹峰
【刊名】太原师范学院学报（自然科学版）
【作者单位】太原师范学院计算机中心　　山西太原；太原师范学院计算机中心　　山西太原
【年份】2007
【卷号】第6卷
【期号】第3期
【页码】127-129,134
【关键词】组件软件测试状态图
【摘要】软件测试在整个软件开发过程中占有非常重要的地位.现代软件系统越来越复杂,基于组件的软件工程方法为开发者提供了一个设计软件的方法.利用有限状态自动机可以描述组件各状态及状态间转换.程序执行状态图(PESC)及各种覆盖准则可用来描述程序执行状态及其变化.对于展开的状态图,由它来产生一棵测试树,该树包含了所有的测试路径.
【文献类型】期刊