软件测试不仅要考虑到功能的正确性、覆盖的完整性，也应该考虑到测试用例的可行性。一种常用的产生测试用例的方法是路径覆盖，它是通过分析控制流来产生的，但是这样很可能产生不可行路径。论文运用Petri网来描述程序，并且按照一定的数学规则将此Petri网进行分解，得到独立的段组（Independent Segment Group，ISG）并产生测试用例，最后设计一个算法找到满足覆盖准则的最少测试用例。