메뉴 건너뛰기




Volumn 186 LNCS, Issue , 1985, Pages 261-275

Application of PROLOG to test sets generation from algebraic specifications

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; PATTERN MATCHING; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS;

EID: 84910809974     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-15199-0_17     Document Type: Conference Paper
Times cited : (13)

References (31)
  • 1
    • 0020141868 scopus 로고
    • Validation, verification and testing of computer software
    • W.R. Adrion, M.A. Branstad and J.C. Cherniavsky, “Validation, verification and testing of computer software”, ACM Comp. Sarv. 14, 2 (June 1982).
    • (1982) ACM Comp. Sarv , vol.14 , Issue.2
    • Adrion, W.R.1    Branstad, M.A.2    Cherniavsky, J.C.3
  • 3
    • 84918449828 scopus 로고
    • Modélisation de la notion de test de programme; application à la production de jeux de tests
    • Université Paris 6, Paris
    • L Bougé, “Modélisation de la notion de test de programme; application à la production de jeux de tests”, Thèse de 3ème cycle, Université Paris 6, Paris (Oct. 1982).
    • (1982) Thèse De 3ème Cycle
    • Bougé, L.1
  • 4
    • 84915689567 scopus 로고
    • A proposition for a theory of testing: An abstract approach to the testing process
    • Rept. No. PB-160, DAIMI, Aarhus University, Denmark, to appear in
    • L. Bougé, “A proposition for a theory of testing: an abstract approach to the testing process”, Rept. No. PB-160, DAIMI, Aarhus University, Denmark (may 1983), to appear in Theor. Comp, Science.
    • (1983) Theor. Comp, Science
    • Bougé, L.1
  • 5
    • 0003108918 scopus 로고
    • in: Computer Program Testing, B. Chandrasekran and S. Radicchi, eds. (North-Holland
    • T.A. Budd “Mutation analysis: ideas, examples, problems and prospects”, in: Computer Program Testing, B. Chandrasekran and S. Radicchi, eds. (North-Holland, 1981) 129-148.
    • (1981) Mutation Analysis: Ideas, Examples, Problems and Prospects , pp. 129-148
    • Budd, T.A.1
  • 6
    • 0020245867 scopus 로고
    • Two notions of correctness and their relation to testing
    • T.A. Budd and D. Angluin, “Two notions of correctness and their relation to testing”, Acta Informatica 18 (1982) 31-45.
    • (1982) Acta Informatica , vol.18 , pp. 31-45
    • Budd, T.A.1    Angluin, D.2
  • 8
    • 84918449826 scopus 로고
    • Algebraic specification of synchronization and errors: A telephonic example
    • Berlin, this volume
    • B. Biebow and J. Hagelstein, “Algebraic specification of synchronization and errors: a telephonic example”, Proc. Coll. Soft. Eng., Berlin (1985), this volume.
    • (1985) Proc. Coll. Soft. Eng
    • Biebow, B.1    Hagelstein, J.2
  • 11
    • 0016993577 scopus 로고
    • A system to generate test data and symbollicaly execute programs
    • L Clarke, “A system to generate test data and symbollicaly execute programs”, IEEE Trans. Soft. Eng. SE-2, 8 (1978) 215-222.
    • (1978) IEEE Trans. Soft. Eng , vol.SE-2 , Issue.8 , pp. 215-222
    • Clarke, L.1
  • 14
    • 0021478364 scopus 로고
    • Oriented equational clauses as a programming language
    • L. Fribourg, “Oriented equational clauses as a programming language”, J. Logic Programming, 2 (Oct. 1984) 165-177.
    • (1984) J. Logic Programming , vol.2 , pp. 165-177
    • Fribourg, L.1
  • 15
    • 0020849983 scopus 로고
    • A mathematical framework for the investigation of testing
    • J.S. Gourlay, “A mathematical framework for the investigation of testing”, IEEE trans. Soft. Eng. SE-9, 6 (1983).
    • (1983) IEEE Trans. Soft. Eng. SE-9 , vol.SE-9 , pp. 6
    • Gourlay, J.S.1
  • 17
    • 0004988782 scopus 로고
    • The algebraic specification of abstract data types
    • J. Guttag and J. Horning, “The algebraic specification of abstract data types”, Acta infarmatica 10, 1(1978).
    • (1978) Acta Infarmatica , vol.1 , pp. 10
    • Guttag, J.1    Horning, J.2
  • 18
    • 84910527030 scopus 로고
    • Equality, types, modules and generics for logic programming
    • Uppsala, Sweden
    • J. Goguen and J. Meseguer, “Equality, types, modules and generics for logic programming”, Proc. 2nd Int.logic Programming Conf., Uppsala, Sweden (July 1984) 115-125.
    • (1984) Proc. 2Nd Int.Logic Programming Conf. , pp. 115-125
    • Goguen, J.1    Meseguer, J.2
  • 20
    • 0016994996 scopus 로고
    • Reliability of path analysis strategies
    • W.E. Howden, “Reliability of path analysis strategies”, IEEE Trans. Soft. Eng. SE-2, 8 (1976) 208-214.
    • (1976) IEEE Trans. Soft. Eng , vol.SE-2 , Issue.8 , pp. 208-214
    • Howden, W.E.1
  • 21
    • 0003190372 scopus 로고
    • Functional program testing
    • W.E. Howden, “Functional program testing”, IEEE Trans. Soft. Eng, SE-6, 2 (1980) 162-169.
    • (1980) IEEE Trans. Soft. Eng , vol.SE-6 , Issue.2 , pp. 162-169
    • Howden, W.E.1
  • 22
    • 0020152782 scopus 로고
    • Weak mutation testing and completeness of test sets
    • W.E. Howden, “Weak mutation testing and completeness of test sets”, IEEE Trans. Soft. Eng. SE-8, 4 (1982) 371-379.
    • (1982) IEEE Trans. Soft. Eng. , vol.SE-8 , Issue.4 , pp. 371-379
    • Howden, W.E.1
  • 23
    • 85034845966 scopus 로고
    • A Prolog environment for developing and reasoning about data types
    • Berlin, this volume
    • J. Hsiang and M. Srivas, “A Prolog environment for developing and reasoning about data types”, Proc. Coll. Soft. Eng., Berlin (1985), this volume.
    • (1985) Proc. Coll. Soft. Eng.
    • Hsiang, J.1    Srivas, M.2
  • 24
    • 85034845823 scopus 로고
    • Qlog - The software for prolng and logic programming
    • Debrecen, Hungary
    • H.J. Komorowski, “Qlog - The software for prolng and logic programming”, Proc. of the Logic Programming Workshop, Debrecen, Hungary (1980) 305-320.
    • (1980) Proc. of the Logic Programming Workshop , pp. 305-320
    • Komorowski, H.J.1
  • 25
    • 0343620458 scopus 로고
    • Technical Rept, Dept. of Computer Science, U. of Melbourne
    • L. Naish, “An introduction to MU-PROLOG”, Technical Rept, Dept. of Computer Science, U. of Melbourne (1982).
    • (1982) An Introduction to MU-PROLOG
    • Naish, L.1
  • 27
    • 0005250541 scopus 로고
    • A kernel language for algebraic specification and implementation
    • Bergholm, Sweden
    • D. Sanella and M. Wirsinng, “A kernel language for algebraic specification and implementation”, Proc. Int. Conf. Foundations Computing Theory, Bergholm, Sweden (Aug. 1983).
    • (1983) Proc. Int. Conf. Foundations Computing Theory
    • Sanella, D.1    Wirsinng, M.2
  • 28
    • 0019018929 scopus 로고
    • A domain strategy for computer program testing
    • L.J. White, E.J. Cohen, “A domain strategy for computer program testing”, IEEE Traus. Soft. Eng. SE-6, 3 (1980) 247-257.
    • (1980) IEEE Traus. Soft. Eng , vol.SE-6 , Issue.3 , pp. 247-257
    • White, L.J.1    Cohen, E.J.2
  • 29
    • 0019018936 scopus 로고
    • Experience with path analysis and testing of programs
    • M.R. Woodward, D. Hedley and M.A. Hennel, “Experience with path analysis and testing of programs”, IEEE Trans. Soft. Eng. SE-6, 3 (1980) 278-285.
    • (1980) IEEE Trans. Soft. Eng , vol.SE-6 , Issue.3 , pp. 278-285
    • Woodward, M.R.1    Hedley, D.2    Hennel, M.A.3
  • 31
    • 85023330400 scopus 로고
    • Sufficient test sets for path analysis testing strategy
    • San Diego, Calif
    • S.H. Zeil, L.J. White, “Sufficient test sets for path analysis testing strategy”, Proc. 5th Int. Conf. Soft. Eng., San Diego, Calif. (March 1981) 184-191.
    • (1981) Proc. 5Th Int. Conf. Soft. Eng. , pp. 184-191
    • Zeil, S.H.1    White, L.J.2


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