%0 Journal Article %T 基于消息序列的形式化面向对象软件测试技术 %A 赖祥伟 %A 张为群 %J 计算机科学 %D 2002 %I %X 本文分析了UML交互图和状态图中的消息提取机制,构造了使用形式化描述语言RAISE对UML图中提取的消息进行描述、规约和精华,最终生成测试用例的测试流程,提出了基于消息序列的面向对象软件自动测试方法,并且在此基础上提出了检测OO系统容错能力的测试用例构造方法。 %K 面向对象技术 %K 软件测试 %K UML %K RAISE %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=D1A6B7E93DD87589&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=F3090AE9B60B7ED1&sid=D59111839E7C8BDF&eid=7CE3F1F20DE6B307&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=10