基于UML的嵌入式绗缝测试系统研究

为提高电脑绗缝机伺服运动控制系统的特性与可靠性,设计并实现了一种基于UML的嵌入式绗缝测试系统。以绗缝系统的需求规格、各种规范、标准和协议为基础,以UML的分析设计规约文档作为设计的重要依据,通过对UML文档的词法语法分析,利用类图、活动图、用例图分别完成单元测试、类簇测试和系统测试,通过分析测试结果完善绗缝系统的设计。

抽象解释技术在嵌入式软件测试中的应用

随着人们对软件地位的重视程度提高,软件测试也成为软件工程中必不可少的一部分[1],软件测试技术的发展也日新月异,抽象解释技术的出现无疑是一个大的变革。从剖析运行错误和抽象解释的概念入手,先后讨论了抽象解释技术在嵌入式软件测试中的工作原理和应用案例情况,最后阐述了基于抽象解释技术的测试方案的好处。