{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T21:54:58Z","timestamp":1740174898474,"version":"3.37.3"},"reference-count":11,"publisher":"Wiley","license":[{"start":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T00:00:00Z","timestamp":1550707200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2017M622621"],"award-info":[{"award-number":["2017M622621"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Scientific Programming"],"published-print":{"date-parts":[[2019,2,21]]},"abstract":"<jats:p>In the signal processing software testing for synthetic aperture radar (SAR), the verification for algorithms is professional and has a very high proportion. However, existing methods can only perform a degree of validation for algorithms, exerting an adverse effect on the effectiveness of the software testing. This paper proposes a procedure-based approach for algorithm validation. Firstly, it describes the processing procedures of polar format algorithm (PFA) under the motion-error circumstance, based on which it analyzes the possible questions that may exist in the actual situation. By data simulation, the SAR echoes are generated flexibly and efficiently. Then, algorithm simulation is utilized to focus on the demonstrations for the approximations adopted in the algorithm. Combined with real data processing, the bugs concealed are excavated further, implementing a comprehensive validation for PFA. Simulated experiments and real data processing validate the correctness and effectiveness of the proposed algorithm.<\/jats:p>","DOI":"10.1155\/2019\/7105281","type":"journal-article","created":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T18:35:26Z","timestamp":1550774126000},"page":"1-12","source":"Crossref","is-referenced-by-count":2,"title":["Verification of Imaging Algorithm for Signal Processing Software within Synthetic Aperture Radar (SAR) System"],"prefix":"10.1155","volume":"2019","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6512-3026","authenticated-orcid":true,"given":"Le-tian","family":"Zeng","sequence":"first","affiliation":[{"name":"The Fifth Electronic Research Institute of MIIT, No. 110 Dongguanzhuang Road, Tianhe District, Guangzhou, China"},{"name":"School of Computer Science and Engineering, South China University of Technology, Guangzhou University, Panyu District, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chun-hui","family":"Yang","sequence":"additional","affiliation":[{"name":"The Fifth Electronic Research Institute of MIIT, No. 110 Dongguanzhuang Road, Tianhe District, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mao-sheng","family":"Huang","sequence":"additional","affiliation":[{"name":"The Fifth Electronic Research Institute of MIIT, No. 110 Dongguanzhuang Road, Tianhe District, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue-long","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, South China University of Technology, Guangzhou University, Panyu District, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"year":"1995","key":"1"},{"year":"2005","key":"2"},{"year":"2016","key":"3"},{"year":"2004","key":"4"},{"year":"2017","key":"5"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2012.55"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"year":"2014","key":"9"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/36.789644"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/taes.2013.6621846"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/jstars.2015.2459765"}],"container-title":["Scientific Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/sp\/2019\/7105281.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/sp\/2019\/7105281.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/sp\/2019\/7105281.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T18:35:28Z","timestamp":1550774128000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.hindawi.com\/journals\/sp\/2019\/7105281\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,21]]},"references-count":11,"alternative-id":["7105281","7105281"],"URL":"https:\/\/doi.org\/10.1155\/2019\/7105281","relation":{},"ISSN":["1058-9244","1875-919X"],"issn-type":[{"type":"print","value":"1058-9244"},{"type":"electronic","value":"1875-919X"}],"subject":[],"published":{"date-parts":[[2019,2,21]]}}}