Barriers to Systematic Model Transformation Testing.
The article discusses model driven engineering techniques in computer software design, and the difficulties of testing automatic model transformations. A fault in one model system can propagate into another during this process, but the changes induced by the transformation often make it difficult to...
| Published in: | Communications of the ACM Vol. 53; no. 6; pp. 139 - 144 |
|---|---|
| Main Authors: | , , , , , |
| Format: | Article |
| Published: |
Association for Computing Machinery
Jun2010
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=51189679&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 51189679 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Jun2010 vid: 53 iid: 6 pid: 68 pub: Association for Computing Machinery artinfo: ui: 51189679 10.1145/1743546.1743583 ppf: 139 ppct: 5 formats: tig: atl: Barriers to Systematic Model Transformation Testing. aug: au: BAUDRY, BENOIT GHOSH, SUDIPTO FLEUREY, FRANCK FRANCE, ROBERT LE TRAON, YVES MOTTU, JEAN-MARIE affil: Computer Science Department, INRIA Rennes Bretagne Atlantique, France. associate professor, Computer Science Department, Colorado State University, CO. Professor, Department of Computer Science, Colorado State University, CO. Professor, University of Luxembourg, CSC Research Unit and Security Reliability and Trust Research Center. Associate professor in computer science, University of Nantes, France. su: Model-integrated computing Debugging Software engineering Computer software testing Software architecture Computer simulation sug: subj: Model-integrated computing Debugging Software engineering Computer software testing Software architecture Computer simulation ab: The article discusses model driven engineering techniques in computer software design, and the difficulties of testing automatic model transformations. A fault in one model system can propagate into another during this process, but the changes induced by the transformation often make it difficult to systematically isolate the source of the problem. An example is provided which involves flattening hierarchies and meta-models. The difficulties which arise from the translation of complex data between heterogeneous computer languages is discussed. Potential solutions to some of these problems are also presented, involving the construction of oracles, meta-heuristics, and the use of white-box testing. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|