{"id":"https://openalex.org/W2019748547","doi":"https://doi.org/10.1002/scj.4690221403","title":"Extraction of transformations to be tested from the structured external functional specification","display_name":"Extraction of transformations to be tested from the structured external functional specification","publication_year":1991,"publication_date":"1991-01-01","ids":{"openalex":"https://openalex.org/W2019748547","doi":"https://doi.org/10.1002/scj.4690221403","mag":"2019748547"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690221403","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690221403","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109163444","display_name":"Takeshi Kaneko","orcid":"https://orcid.org/0009-0005-3576-7679"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Takeshi Kaneko","raw_affiliation_strings":["Faculty of Engineering, The University of Tokyo, Tokyo, Japan 113"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, The University of Tokyo, Tokyo, Japan 113","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109520138","display_name":"Takeshi Nakajo","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takeshi Nakajo","raw_affiliation_strings":["Faculty of Engineering, The University of Tokyo, Tokyo, Japan 113","Takeshi Nakaljo graduated in 1979 from the Dept. React. Chem., Fac. Eng., University of Tokyo, where he obtained a Dr. of Eng. degree in 1986. He became an Assistant in 1987 in the Dept. React. Chem., Fac. Eng., University of Tokyo. He is engaged in research on quality control, system analysis, and software engineering. He is a member of the Jap. SOC. Quality Contr. and of the Inf. Proc. Soc., Japan"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, The University of Tokyo, Tokyo, Japan 113","institution_ids":["https://openalex.org/I74801974"]},{"raw_affiliation_string":"Takeshi Nakaljo graduated in 1979 from the Dept. React. Chem., Fac. Eng., University of Tokyo, where he obtained a Dr. of Eng. degree in 1986. He became an Assistant in 1987 in the Dept. React. Chem., Fac. Eng., University of Tokyo. He is engaged in research on quality control, system analysis, and software engineering. He is a member of the Jap. SOC. Quality Contr. and of the Inf. Proc. Soc., Japan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5109163444"],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.23513753,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"22","issue":"14","first_page":"26","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7503718733787537},{"id":"https://openalex.org/keywords/functional-specification","display_name":"Functional specification","score":0.6144629120826721},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5652258396148682},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.5028123259544373},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4725993275642395},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.27259546518325806},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.267816960811615},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.22687509655952454},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.20667287707328796}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7503718733787537},{"id":"https://openalex.org/C57371142","wikidata":"https://www.wikidata.org/wiki/Q16914225","display_name":"Functional specification","level":5,"score":0.6144629120826721},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5652258396148682},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.5028123259544373},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4725993275642395},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.27259546518325806},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.267816960811615},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.22687509655952454},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.20667287707328796},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690221403","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690221403","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W249942718","https://openalex.org/W632374264","https://openalex.org/W2130274814","https://openalex.org/W4234087179"],"related_works":["https://openalex.org/W3143526808","https://openalex.org/W3116151133","https://openalex.org/W2330019418","https://openalex.org/W2057728388","https://openalex.org/W2137223410","https://openalex.org/W1537590089","https://openalex.org/W2185884724","https://openalex.org/W2332280859","https://openalex.org/W2294850974","https://openalex.org/W4385784960"],"abstract_inverted_index":{"Abstract":[0],"The":[1,117,134],"authors":[2],"propose":[3],"a":[4,62,150],"software":[5,63,80,132,151],"testing":[6,136,162],"method":[7,53,122,128,137],"for":[8,95],"the":[9,20,27,49,52,70,76,86,90,105,120,127,142,165,174],"detection":[10],"of":[11,78,119,141,168,173],"modification":[12],"errors":[13],"caused":[14],"by":[15,125],"functional":[16,64,146],"specification":[17,65,147],"changes.":[18],"In":[19],"method,":[21],"if":[22],"inappropriate":[23],"transformations":[24,50,87,103],"are":[25,93,110],"selected,":[26],"following":[28],"problems":[29],"may":[30],"occur:":[31],"(1)":[32,85],"test":[33,157],"cases":[34,158],"cannot":[35],"be":[36,115],"obtained,":[37],"(2)":[38,98],"efficiency":[39],"becomes":[40],"worse,":[41],"and":[42,82,97],"(3)":[43],"effectiveness":[44,118],"declines.":[45],"This":[46],"paper":[47],"identifies":[48],"that":[51],"can":[54,154],"most":[55],"effectively":[56],"apply,":[57],"employing":[58],"Hatley's":[59],"model":[60],"as":[61],"description":[66],"model.":[67],"It":[68,153],"introduces":[69],"concept":[71],"\u201cchange":[72],"level\u201d":[73],"based":[74],"on":[75],"analysis":[77],"actual":[79,131],"defects":[81,143],"shows":[83],"that:":[84],"used":[88],"in":[89,104,149],"change":[91,106],"level":[92,107],"optimal":[94],"testing,":[96],"when":[99,164],"there":[100],"exist":[101],"two":[102],"whose":[108],"restrictions":[109,166],"complementary,":[111],"only":[112],"one":[113],"must":[114],"tested.":[116],"proposed":[121,135],"is":[123],"demonstrated":[124],"applying":[126],"to":[129,145],"an":[130],"product.":[133,152],"detected":[138],"90":[139],"percent":[140],"due":[144],"changes":[148],"readily":[155],"produce":[156],"even":[159],"without":[160],"automated":[161],"tools":[163],"consist":[167],"simple":[169],"inequalities":[170],"or":[171],"equalities":[172],"input":[175],"parameters.":[176]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}