Therefore, this research is focused on a developing tool which supports specification refining and test case synchronizing with the requirements.

• 因此，本研究的重点在于如何建立可渐进订立规格并可同步规格与测试案例的开发平台。