SCOPUS 정보 검색 플랫폼

Software Testing Verification and Reliability

Volumn 11, Issue 1, 2001, Pages 3-37

A rigorous method for test templates generation from object-oriented specifications

a UNIVERSITY OF WISCONSIN LA CROSSE (United States)

b Dept of Electrical and Computer Engineering (Canada)

Author keywords

Object oriented formal specification; Object Z; Specification based testing; Test templates generation; Testing composite operations

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; ELECTRONIC MAIL; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE ENGINEERING;

COMPOSITE OPERATIONS; OBJECT ORIENTED FORMAL SPECIFICATION; OBJECT-Z; SPECIFICATION BASED TESTING; TEST TEMPLATES GENERATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0035274655 PISSN: 09600833 EISSN: None Source Type: Journal
DOI: 10.1002/stvr.210 Document Type: Article

Times cited : (2)

References (27)

1
- 0005227433
- A theory of specification-based testing for object-oriented software
- Department of Computer Science, Swiss Federal Institute of Technology, Software Engineering Laboratory, January
- (1996) Technical Report 96/163
- Barbey, S.¹ Buchs, D.² Peraire, C.³

2
- 0025889635
- Relationship between specifications and testing
- (1991) Information and Software Technology , vol.33 , Issue.1 , pp. 47-52
- Hall, P.A.V.¹

3
- 84951757552
- Improving software tests using Z specifications
- Springer-Verlag, June
- (1995) Proceedings of the Ninth International Conference of Z Users (Lecture Notes in Computer Science) , vol.967 , pp. 152-166
- Hörcher, H.M.¹

4
- 84957623309
- Testing can be formal, too
- Springer-Verlag
- (1995) TAPSOFT'95: Theory and Practice of Software Development (Lecture Notes in Computer Science) , vol.915 , pp. 82-96
- Gaudel, M.¹

5
- 0003566434
- Prentice Hall International Series in Computer Science
- (1992) The Z Notation: A Reference Manual (2nd Edn)
- Spivey, J.M.¹

6
- 0029368427
- Object-Z: A specification language advocated for the description of standards
- (1995) Computer Standards & Interfaces , vol.17 , Issue.5-6 , pp. 511-533
- Duke, R.¹ Rose, G.² Smith, G.³

7
- 0026256511
- Software testing based on formal specifications: A theory and a tool
- (1991) Software Engineering Journal , vol.6 , Issue.6 , pp. 387-405
- Bernot, G.¹ Gaudel, M.² Marre, B.³

8
- 0032108147
- In black and white: An integrated approach to class-level testing of object-oriented programs
- (1998) ACM Transactions on Software Engineering and Methodology , vol.7 , Issue.3 , pp. 250-295
- Chen, H.Y.¹ Tse, T.H.² Chan, F.T.³ Chen, T.Y.⁴

9
- 0005131769
- Using algebraic specifications in software testing: A case study on the software of an automatic subway
- Universite de Paris-Sud, Orsay, France, July
- (1992) Technical Report No. 765
- Dauchy, P.¹ Gaudel, M.² Marre, B.³

10
- 84956999665
- Automating formal specification-based testing
- Springer-Verlag
- (1997) TAPSOFT'97: Theory and Practice of Software Development (Lecture Notes in Computer Science Series) , vol.1214 , pp. 833-847
- Donat, M.R.¹

11
- 0028421077
- The ASTOOT approach to testing object-oriented programs
- (1994) ACM Transactions on Software Engineering and Methodology , vol.3 , Issue.2 , pp. 101-130
- Doong, R.¹ Frankl, P.G.²

12
- 0003873909
- Specification and verification of object-oriented programs
- Ph.D. Thesis, Department of Computer Science, University of Minnesota, Minneapolis, MN, November
- (1994)
- Kirani, S.¹

13
- 0026867276
- Specification-based test oracles for reactive systems
- Proceedings of the 14th International Conference on Software Engineering, May 1992 , pp. 105-118
- Richardson, D.¹ Aha, S.L.² O'Malley, T.O.³

14
- 0028437965
- Automatically generating test data from a Boolean specification
- (1994) IEEE Transactions on Software Engineering , vol.20 , Issue.5 , pp. 353-363
- Weyuker, E.¹ Goradia, T.² Singh, A.³

15
- 84962535562
- Structural specification-based testing with ADL
- ACM Press: San Diego
- (1996) Proceedings of the Third International Symposium on Software Testing and Analysis , pp. 62-70
- Chang, J.¹ Richardson, D.J.² Sankar, S.³

16
- 85015362530
- Automating the generation and sequencing of test cases from model-based specifications
- Springer-Verlag
- (1993) FME'93-Industrial Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, April 1993 (Lecture Notes in Computer Science) , vol.670
- Dick, J.¹ Faivre, A.²

17
- 0031094715
- Testing from Z specifications
- (1997) Software Testing, Verification and Reliability , vol.7 , Issue.1 , pp. 19-33
- Hierons, R.M.¹

18
- 84951753410
- Testing as abstraction
- Springer-Verlag
- (1995) Proceedings of the Ninth International Conference of Z Users (Lecture Notes in Computer Science) , vol.967 , pp. 137-151
- Stepney, S.¹

19
- 0030285205
- A framework for specification-based testing
- (1996) IEEE Transactions on Software Engineering , vol.22 , Issue.11 , pp. 777-793
- Stocks, P.¹ Carrington, D.²

20
- 84993969382
- Using Z specifications in category partition testing
- COMPASS'97: Proceedings of the Seventh Annual Conference on Computer Assurance, June 1992 , pp. 3-10
- Amla, N.¹ Ammann, P.²

21
- 0001933666
- Formal specification and testing: A case study
- (1992) Software Testing, Verification and Reliability , vol.2 , Issue.1 , pp. 7-23
- Laycock, G.¹

22
- 0027836563
- The state-based testing of object-oriented programs
- Proceedings of the IEEE Conference on Software Maintenance, September 1993 , pp. 302-311
- Turner, C.D.¹ Robson, D.J.²

23
- 0003018242
- A tale of two paradigms: Formal methods and software testing
- Software Verification Research Centre, Department of Computer Science, University of Queensland, Queensland, Australia, February
- (1994) Technical Report 94-04
- Carrington, D.¹ Stocks, P.²

24
- 0031383558
- Translating object-Z specifications to object-oriented test oracles
- (1997) Proceedings of the Asia Pacific Software Engineering Conference and International Computer Science Conference, December 1997. IEEE Computer Society , pp. 414-423
- McDonald, J.¹ Murray, L.² Strooper, P.³

25
- 48049121185
- Specification-based class testing: A case study
- IEEE Computer Society Press
- (1998) Proceedings of the Second International Conference on Formal Engineering Methods, Brisbane, Australia, December 1998 , pp. 222-231
- MacColl, I.¹ Murray, L.² Strooper, P.³ Carrington, D.⁴

26
- 4243864702
- Object-oriented program testing using formal requirements specification
- Masters Thesis, Department of Computer Science, University of Manitoba, Winniepeg, Manitoba, Canada, April 1997
- Subramanian, S.¹

27
- 0005133326
- Deriving test cases for composite operations in Object-Z specifications
- IEEE Computer Society Press
- (1999) Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 26), Santa Barbara, CA, August 1999 , pp. 429-441
- Periyasamy, K.¹ Alagar, V.S.² Subramanian, S.³

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