SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Software Quality Journal

Volumn 4, Issue 4, 1995, Pages 309-327

Using formal specifications to support software testing

(2) Hörcher, Hans Martin a Peleska, Jan a

a DST Deutsche System Technik GmbH ^* (Germany)

Author keywords

formal specifications; safety critial systems; Software testing; specification language Z

Indexed keywords

EID: 0010535483 PISSN: 09639314 EISSN: 15731367 Source Type: Journal
DOI: 10.1007/BF00402650 Document Type: Article

Times cited : (22)

References (17)

1
- 84936408116
- Carrington, D. and Stocks, P. (1994) A tale of two paradigms: formal methods and software testing. In J. P. Bowen and J. A. Hall, eds, Z User Workshop, Cambridge, June 1994, Workshops in Computing, pp. 51–68. BCS FACS, Springer Verlag.

2
- 0027579085
- Experimental results from an automatic test case generator
- (1993) ACM Transactions on Software Engineering , vol.2 , Issue.2 , pp. 109-127
- Demillo, R.¹ Offutt, A.J.²

3
- 84936438786
- Dick, J. and Faivre, A. (1993) Automating the generation and sequencing of test cases from model-based specifications. In J.C.P. Woodcock and P.G. Larsen, eds, FME'93: Industrial-Strength Formal Methods, number 670 in Lecture Notes in Computer Science, pp. 268–284. FME Europe, Springer Verlag.

4
- 84936409763
- Diller, A. (1990) Z: An Introduction to Formal Methods, 1st edn. (John Wile & Sons, 1990).

5
- 0027614942
- Classification trees for partition testing
- (1993) Software Testing, Verification and Reliability , vol.3 , Issue.2 , pp. 63-82
- Grochtmann, M.¹ Grimm, K.²

6
- 84936439705
- Automatische Testdatengenerierung zur Unterstüzung des Softwaretests
- (1993) Informatik Forschung und Entwicklung , vol.8 , Issue.3 , pp. 128-136
- Gutjahr, W.¹

7
- 84936379731
- Das DST-Unittestbed zur automatisierten Durchführung von Unittests
- (1993) GI-Softwaretechnik Trends, Mitteilungen der Fachgruppe ‘Software-Engineering’ , vol.13 , Issue.2 , pp. 41-49
- Hörcher, H.-M.¹

8
- 84936445726
- Hörcher, H.-M. (1995) Improving software tests using Z specifications. In Z User Meeting-ZUM'95, Lecture Notes in Computer Science. BCS FACS, Springer Verlag.

9
- 84936402428
- Hörcher, H.-M. and Peleska, J. (1993) The role of formal specifications in software testing. In Tutorial Notes for the FME'94 Symposium. Formal Methods Europe, October 1994.

10
- 84936391875
- Hamer, U. and Peleska, J. (1995) The Airbus A330/340 Cabin Communication System-A Z Application. In Michael G. Hinchey and Jonathan Bowen, eds, Applications of Formal Methods, Series in Computer Science. (Prentice Hall International, 1995).

11
- 84936443394
- Jones, C.B. (1986) Systematic Software Development using VDM. Series in Computer Science. (Prentice Hall International, 1986).

12
- 84936404537
- Mikk, E. (1993) Automatic compilation of Z specifications into C for automatic test result evaluation. Master's thesis, Christian Albrecht Universität Kiel, December 1993.

13
- 84936418053
- Mikk, E. (1995) Compilation of Z specifications into C for automatic test result evaluation. In Z User Meeting-ZUM'95, Lecture Notes in computer Science. (BCS FACS, Springer Verlag).

14
- 84936437072
- Myers, G.J. (1979) The Art of Software Testing. (John Wiley & Sons, 1979).

15
- 84936425036
- Scullard, G.T. (1988) Test case selection using VDM. In R. Bloomfield, L. Marshall, and R. Jones, eds, VDM88: VDM—The Way Ahead, number 328 in Lecture Notes in Computer Science, pp. 178–186. (VDM Europe, Springer Verlag).

16
- 84936442650
- Spivey, M. (1992) The Z Notation—A Reference Manual, 2nd edn. International Series in Computer Science. (Prentice Hall International, 1992).

17
- 84936448470
- Wordsworth, J.B. (1992) Software Development with Z. International Computer Science Series. (Addison Wesley, 1992).

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