added testcases for specificationwriter