论文部分内容阅读
UML中的用例可以简洁准确地描述系统需求，它可以作为软件测试中测试用例生成的一个很好的基础；然而正是由于用例描述的特点，使得它忽略了对系统内部需求的描述，导致生成的测试用例是不准确的、粗糙的．为了有效地控制这种不良影响，在软件开发的初始阶段，即用例的基础上引入“契约化”方法，通过对用例所描述的需求进行形式化约束，并把该约束带人顺序图中，这种方法不仅可以增强测试场景的准确性，又保证了最后生成的测试用例更加精准，覆盖率更加详尽．