论文部分内容阅读
在软件系统的设计过程或文档说明中，软件系统的动态行为可通过UML活动图描述，软件系统的正确性与可靠性要通过构造一定的测试模型来验证．由于UML活动图缺乏精确的数学模型描述，所以无法直接生成有效的测试模型．本文研究将UML活动图模型与FAD（形式活动图）相结合，应用FAD的片段方程式理论详细分析了生成测试用例的完整过程．其结果在软件测试中具有一定的理论指导意义和应用价值．