메뉴 건너뛰기




Volumn 69, Issue 6, 2010, Pages 598-618

An approach to testing conceptual schemas

Author keywords

Conceptual modeling; Requirements validation; Testing; UML OCL

Indexed keywords

AUTOMATED TEST; CONCEPTUAL MODELING; CONCEPTUAL SCHEMAS; DERIVATION RULES; INTEGRITY CONSTRAINTS; PROTOTYPE IMPLEMENTATIONS; SCHEMAS; TESTING FRAMEWORK;

EID: 77951125706     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2010.02.002     Document Type: Article
Times cited : (16)

References (64)
  • 2
    • 0028396177 scopus 로고
    • Understanding Quality in Conceptual Modeling
    • Lindland O.I., Sindre G., and Solvberg A. Understanding Quality in Conceptual Modeling. IEEE Software 11 (1994) 42-49
    • (1994) IEEE Software , vol.11 , pp. 42-49
    • Lindland, O.I.1    Sindre, G.2    Solvberg, A.3
  • 3
    • 0037925323 scopus 로고    scopus 로고
    • Evaluating the quality of information models: Empirical testing of a conceptual model quality framework
    • IEEE Computer Society, Washington, DC, USA
    • D.L. Moody, G. Sindre, T. Brasethvik, A. Sølvberg, Evaluating the quality of information models: empirical testing of a conceptual model quality framework, in: Proceedings of ICSE 2003, IEEE Computer Society, Washington, DC, USA, 2003, pp. 295-305.
    • (2003) Proceedings of ICSE , pp. 295-305
    • Moody, D.L.1    Sindre, G.2    Brasethvik, T.3    Sølvberg, A.4
  • 4
    • 84974673806 scopus 로고
    • A natural language approach for requirements engineering
    • Proceedings of CAiSE, Springer
    • C. Rolland, C. Proix, A natural language approach for requirements engineering, in: Proceedings of CAiSE 1993, LNCS, vol. 593, Springer, 1992, pp. 257-277.
    • (1992) LNCS , vol.593 , pp. 257-277
    • Rolland, C.1    Proix, C.2
  • 5
    • 84863559454 scopus 로고
    • A method for validating a conceptual model by natural language discourse generation
    • Proceedings of CAiSE, Springer
    • H. Dalianis, A method for validating a conceptual model by natural language discourse generation, in: Proceedings of CAiSE 1992, LNCS, vol. 593, Springer, 1992, pp. 425-444.
    • (1992) LNCS , vol.593 , pp. 425-444
    • Dalianis, H.1
  • 6
    • 6444245574 scopus 로고    scopus 로고
    • Enhancing information systems management with natural language processing techniques
    • Métais E. Enhancing information systems management with natural language processing techniques. Data and Knowledge Engineering 41 (2002) 247-272
    • (2002) Data and Knowledge Engineering , vol.41 , pp. 247-272
    • Métais, E.1
  • 7
    • 33747770025 scopus 로고    scopus 로고
    • Information modeling: the process and the required competencies of its participants
    • Frederiks P.J.M., and van der Weide T.P. Information modeling: the process and the required competencies of its participants. Data and Knowledge Engineering 58 (2006) 4-20
    • (2006) Data and Knowledge Engineering , vol.58 , pp. 4-20
    • Frederiks, P.J.M.1    van der Weide, T.P.2
  • 8
    • 0041467369 scopus 로고
    • Automatic generation of documentation for information systems
    • Proceedings of CAiSE, Springer
    • L. Jesus, R. Carapuca, Automatic generation of documentation for information systems, in: Proceedings of CAiSE 1992, LNCS, vol. 92, Springer, 1992, pp. 48-64.
    • (1992) LNCS , vol.92 , pp. 48-64
    • Jesus, L.1    Carapuca, R.2
  • 9
    • 0041641760 scopus 로고
    • Using explanations to improve the validation of executable models
    • Proceedings of CAiSE, Springer
    • J.A. Gulla, G. Willumsen, Using explanations to improve the validation of executable models, in: Proceedings of CAiSE 1993, LNCS, vol. 685, Springer, 1993, pp. 118-142.
    • (1993) LNCS , vol.685 , pp. 118-142
    • Gulla, J.A.1    Willumsen, G.2
  • 10
    • 0030124902 scopus 로고    scopus 로고
    • Validating conceptual specifications through model execution
    • Olivé A., and Sancho M.R. Validating conceptual specifications through model execution. Information Systems 21 (1996) 167-186
    • (1996) Information Systems , vol.21 , pp. 167-186
    • Olivé, A.1    Sancho, M.R.2
  • 11
    • 0030193153 scopus 로고    scopus 로고
    • A general explanation component for conceptual modeling in CASE environments
    • Gulla J.A. A general explanation component for conceptual modeling in CASE environments. ACM Transactions on Information Systems 14 (1996) 297-329
    • (1996) ACM Transactions on Information Systems , vol.14 , pp. 297-329
    • Gulla, J.A.1
  • 12
    • 69249216368 scopus 로고    scopus 로고
    • Constraint acquisition for entity-relationship models
    • Hartmann S., Link S., and Trinh T. Constraint acquisition for entity-relationship models. Data and Knowledge Engineering 68 (2009) 1128-1155
    • (2009) Data and Knowledge Engineering , vol.68 , pp. 1128-1155
    • Hartmann, S.1    Link, S.2    Trinh, T.3
  • 14
    • 84906280551 scopus 로고
    • Validating conceptual models by transformational prototyping
    • Proceedings of CAiSE, Springer
    • O.I. Lindland, J. Krogstie, Validating conceptual models by transformational prototyping, in: Proceedings of CAiSE 1993, LNCS, vol. 685, Springer, 1993, pp. 165-183.
    • (1993) LNCS , vol.685 , pp. 165-183
    • Lindland, O.I.1    Krogstie, J.2
  • 16
    • 36048931368 scopus 로고    scopus 로고
    • USE: a UML-based specification environment for validating UML and OCL
    • Gogolla M., Büttner F., and Richters M. USE: a UML-based specification environment for validating UML and OCL. Science of Computer Programming 69 (2007) 27-34
    • (2007) Science of Computer Programming , vol.69 , pp. 27-34
    • Gogolla, M.1    Büttner, F.2    Richters, M.3
  • 18
    • 57049160000 scopus 로고    scopus 로고
    • An ancient (but still valid?) look at the classification of testing
    • Glass R.L. An ancient (but still valid?) look at the classification of testing. IEEE Software 25 (2008) 111-112
    • (2008) IEEE Software , vol.25 , pp. 111-112
    • Glass, R.L.1
  • 19
    • 49949107469 scopus 로고    scopus 로고
    • Seven principles of software testing
    • Meyer B. Seven principles of software testing. IEEE Computer 41 (2008) 99-101
    • (2008) IEEE Computer , vol.41 , pp. 99-101
    • Meyer, B.1
  • 22
    • 25144468787 scopus 로고    scopus 로고
    • Conceptual schema-centric development: A grand challenge for information systems research
    • Proceedings of CAiSE, Porto, Portugal, Springer
    • A. Olivé, Conceptual schema-centric development: a grand challenge for information systems research, in: Proceedings of CAiSE 2005, LNCS, Porto, Portugal, Springer, 2005, pp. 1-15.
    • (2005) LNCS , pp. 1-15
    • Olivé, A.1
  • 24
    • 77951139715 scopus 로고    scopus 로고
    • OMG, UML Testing Profile, Version 1.0, formal/05-07-07, accessed October 2009
    • OMG, UML Testing Profile, Version 1.0, formal/05-07-07, (accessed October 2009).
  • 25
    • 0021304178 scopus 로고
    • Concepts and terminology for the conceptual schema and the information base
    • Jardine D.A. Concepts and terminology for the conceptual schema and the information base. Computers & Standards 3 (1984) 3-17
    • (1984) Computers & Standards , vol.3 , pp. 3-17
    • Jardine, D.A.1
  • 26
    • 77951100144 scopus 로고    scopus 로고
    • OMG, MDA Guide, Version 1.0.1, docs/omg/03-06-01, accessed October 2009.
    • OMG, MDA Guide, Version 1.0.1, docs/omg/03-06-01, (accessed October 2009.
  • 28
    • 25844525486 scopus 로고    scopus 로고
    • Complexity and clarity in conceptual modeling: comparison of mandatory and optional properties
    • Gemino A., and Wand Y. Complexity and clarity in conceptual modeling: comparison of mandatory and optional properties. Data and Knowledge Engineering 55 (2005) 301-326
    • (2005) Data and Knowledge Engineering , vol.55 , pp. 301-326
    • Gemino, A.1    Wand, Y.2
  • 29
    • 38649103513 scopus 로고    scopus 로고
    • Defining and validating metrics for assessing the understandability of entity-relationship diagrams
    • Genero M., Poels G., and Piattini M. Defining and validating metrics for assessing the understandability of entity-relationship diagrams. Data and Knowledge Engineering 64 (2008) 534-557
    • (2008) Data and Knowledge Engineering , vol.64 , pp. 534-557
    • Genero, M.1    Poels, G.2    Piattini, M.3
  • 30
  • 33
    • 25844466601 scopus 로고    scopus 로고
    • Test-driven development: concepts, taxonomy, and future direction
    • Janzen D., and Saiedian H. Test-driven development: concepts, taxonomy, and future direction. Computer 38 (2005) 43-50
    • (2005) Computer , vol.38 , pp. 43-50
    • Janzen, D.1    Saiedian, H.2
  • 34
    • 1542265578 scopus 로고    scopus 로고
    • JUnit: A cook's tour
    • 27-38, available from
    • E. Gamma, K. Beck, JUnit: A cook's tour, Java Report 4 (1999) 27-38, available from: .
    • (1999) Java Report , vol.4
    • Gamma, E.1    Beck, K.2
  • 35
    • 77951131859 scopus 로고    scopus 로고
    • British Computer Society, Vocabulary of terms in software testing, British Standards, BS 7925-1, (accessed October 2009).
    • British Computer Society, Vocabulary of terms in software testing, British Standards, BS 7925-1, (accessed October 2009).
  • 36
    • 31044452475 scopus 로고    scopus 로고
    • Validating UML and OCL models in USE by automatic snapshot generation
    • Gogolla M., Bohling J., and Richters M. Validating UML and OCL models in USE by automatic snapshot generation. Software and Systems Modeling 4 (2005) 386-398
    • (2005) Software and Systems Modeling , vol.4 , pp. 386-398
    • Gogolla, M.1    Bohling, J.2    Richters, M.3
  • 39
    • 77951136338 scopus 로고    scopus 로고
    • Testing the osCommerce Conceptual Schema by Using CSTL
    • LSI-09-28-R, UPC, 2009, available from
    • A. Tort, Testing the osCommerce Conceptual Schema by Using CSTL, Research Report LSI-09-28-R, UPC, 2009, available from: .
    • Research Report
    • Tort, A.1
  • 40
    • 77951144664 scopus 로고    scopus 로고
    • OMG, Object Constraint Language, Version 2.0, formal/2006-05-01, accessed October 2009
    • OMG, Object Constraint Language, Version 2.0, formal/2006-05-01, (accessed October 2009).
  • 41
    • 33745727000 scopus 로고    scopus 로고
    • Modeling events as entities in object-oriented conceptual modeling languages
    • Olivé A., and Raventós R. Modeling events as entities in object-oriented conceptual modeling languages. Data and Knowledge Engineering 58 (2006) 243-262
    • (2006) Data and Knowledge Engineering , vol.58 , pp. 243-262
    • Olivé, A.1    Raventós, R.2
  • 44
    • 33749244760 scopus 로고    scopus 로고
    • A method for the definition of integrity constraints in object-oriented conceptual modeling languages
    • Olivé A. A method for the definition of integrity constraints in object-oriented conceptual modeling languages. Data and Knowledge Engineering 59 (2006) 559-575
    • (2006) Data and Knowledge Engineering , vol.59 , pp. 559-575
    • Olivé, A.1
  • 45
    • 25144440243 scopus 로고    scopus 로고
    • Derivation rules in object-oriented conceptual modeling languages
    • Proceedings of CAiSE, Springer, Berlin
    • A. Olivé, Derivation rules in object-oriented conceptual modeling languages, in: Proceedings of CAiSE 2003, LNCS, vol. 2681, Springer, Berlin, 2003, pp. 404-420.
    • (2003) LNCS , vol.2681 , pp. 404-420
    • Olivé, A.1
  • 46
    • 84957023982 scopus 로고    scopus 로고
    • Validating UML models and OCL constraints
    • Proceedings of UML, Springer, York, UK
    • M. Richters, M. Gogolla, Validating UML models and OCL constraints, in: Proceedings of UML 2000, LNCS, Springer, York, UK, 2000, pp. 265-277.
    • (2000) LNCS , pp. 265-277
    • Richters, M.1    Gogolla, M.2
  • 48
    • 4444311590 scopus 로고    scopus 로고
    • System test synthesis from UML models of distributed software
    • Proceedings of FORTE, Springer
    • S. Pickin, C. Jard, Y. Le Traon, T. Jéron, J.M. Jézéquel, A. Le Guennec, System test synthesis from UML models of distributed software, in: Proceedings of FORTE 2002, LNCS, vol. 2529, Springer, 2002, pp. 97-113.
    • (2002) LNCS , vol.2529 , pp. 97-113
    • Pickin, S.1    Jard, C.2    Le Traon, Y.3    Jéron, T.4    Jézéquel, J.M.5    Le Guennec, A.6
  • 49
    • 84887479765 scopus 로고    scopus 로고
    • Using model checking to generate tests from requirements specifications
    • Gargantini A., and Heitmeyer C. Using model checking to generate tests from requirements specifications. ACM SIGSOFT Software Engineering Notes 24 (1999) 146-162
    • (1999) ACM SIGSOFT Software Engineering Notes , vol.24 , pp. 146-162
    • Gargantini, A.1    Heitmeyer, C.2
  • 51
    • 25144525539 scopus 로고    scopus 로고
    • A method for information systems testing automation
    • Proceedings of CAiSE, Springer
    • P. Santos Neto, R. Resende, C. Padua, A method for information systems testing automation, in: Proceedings of CAiSE 2005, LNCS, vol. 3520, Springer, 2005, pp. 504-518.
    • (2005) LNCS , vol.3520 , pp. 504-518
    • Santos Neto, P.1    Resende, R.2    Padua, C.3
  • 53
    • 84948995039 scopus 로고    scopus 로고
    • L. Briand, Y. Labiche, A UML-Based approach to system testing, in: Proceedings of UML 2001, LNCS, 2185, Springer, 2001, pp. 149-208.
    • L. Briand, Y. Labiche, A UML-Based approach to system testing, in: Proceedings of UML 2001, LNCS, vol. 2185, Springer, 2001, pp. 149-208.
  • 54
    • 4644363382 scopus 로고    scopus 로고
    • Test-driven modeling for model-driven development
    • Zhang Y. Test-driven modeling for model-driven development. IEEE Software 21 (2004) 80-86
    • (2004) IEEE Software , vol.21 , pp. 80-86
    • Zhang, Y.1
  • 55
  • 56
    • 0037406533 scopus 로고    scopus 로고
    • Satisfiability of object-oriented database constraints with set and bag attributes
    • Formica A. Satisfiability of object-oriented database constraints with set and bag attributes. Information Systems 28 (2003) 213-224
    • (2003) Information Systems , vol.28 , pp. 213-224
    • Formica, A.1
  • 58
    • 38349035819 scopus 로고    scopus 로고
    • Towards automated reasoning on ORM schemes
    • Proceedings of ER, Springer
    • M. Jarrar, Towards automated reasoning on ORM schemes, in: Proceedings of ER 2007, LNCS, vol. 4801, Springer, 2007, pp. 181-197.
    • (2007) LNCS , vol.4801 , pp. 181-197
    • Jarrar, M.1
  • 59
    • 45849146562 scopus 로고    scopus 로고
    • Decidable reasoning in UML schemas with constraints
    • Proceedings of CAiSE, Springer
    • A. Queralt, E. Teniente, Decidable reasoning in UML schemas with constraints, in: Proceedings of CAiSE 2008, LNCS, vol. 5074, Springer, 2008, pp. 281-295.
    • (2008) LNCS , vol.5074 , pp. 281-295
    • Queralt, A.1    Teniente, E.2
  • 60
    • 70350217788 scopus 로고    scopus 로고
    • An online platform for semantic validation of UML models
    • Proceedings of ICWE, Springer
    • M. Brambilla, C. Tziviskou, An online platform for semantic validation of UML models, in: Proceedings of ICWE 2009, LNCS, vol. 5648, Springer, 2009, pp. 477-480.
    • (2009) LNCS , vol.5648 , pp. 477-480
    • Brambilla, M.1    Tziviskou, C.2
  • 61
    • 69849112713 scopus 로고    scopus 로고
    • Reasoning on UML conceptual schemas with operations
    • Proceedings of CAiSE, Springer
    • A. Queralt, E. Teniente, Reasoning on UML conceptual schemas with operations, in: Proceedings of CAiSE 2009, LNCS, vol. 5565, Springer, 2009, pp. 47-62.
    • (2009) LNCS , vol.5565 , pp. 47-62
    • Queralt, A.1    Teniente, E.2
  • 62
    • 39049093084 scopus 로고    scopus 로고
    • Modeling legislation by using UML state machine diagrams
    • V. Strahonja, Modeling legislation by using UML state machine diagrams, in: Proceedings of CCECE'06, vol. 54, 2006, pp. 624-627.
    • (2006) Proceedings of CCECE'06 , vol.54 , pp. 624-627
    • Strahonja, V.1
  • 64
    • 70349442127 scopus 로고    scopus 로고
    • CASE tools: computer support for conceptual modelling
    • Diaz O., and Piattini M. (Eds), Artech House
    • Bouzeghoub M., Kedad Z., and Métais E. CASE tools: computer support for conceptual modelling. In: Diaz O., and Piattini M. (Eds). Advanced Database Systems, Techniques and Design (2000), Artech House 439-483
    • (2000) Advanced Database Systems, Techniques and Design , pp. 439-483
    • Bouzeghoub, M.1    Kedad, Z.2    Métais, E.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.