A tool suite for diagnosis and testing of software design specifications

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2000, Pages 295-304

  Li, J Jenny ^a   Horgan, J Robert ^a  

^a TELCORDIA TECHNOLOGIES   (United States)

Author keywords

Suds; Coverage testing; Software design specification; Software engineering tool; Specification and description language (SDL 2 )

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FLOWCHARTING; JAVA PROGRAMMING LANGUAGE; PROGRAM DEBUGGING; SOFTWARE ENGINEERING;

COVERAGE TESTING; SOFTWARE DESIGN SPECIFICATIONS; SOFTWARE ENGINEERING TOOL; SPECIFICATION AND DESCRIPTION LANGUAGE;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0034590584     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Agrawal, H., Alberi, J., Li, J. J. and et al., "Mining System Tests to Aid Software Maintenance", IEEE Computer, July 1998, pp64-73.
2. International Telegraph and Telephone Consultative Committee, "SDL User Guidelines," Blue book: IXth Plenary Assembly, Melbourne, 14-25 Nov. 1988, Geneva: International Telecommunication Union, 1989.
3. Li, J. J. and Horgan, J.R., "To Maintain a Reliable Software Specification", ISSRE98, pp59-69.
4. Atlee, J. M., and Gannon, J., "State-based Model Checking of Event-Driven System Requirements", IEEE Trans. Software Engineering, Vol. 19, No.1, Jan. 1993, pp24-40.
5. Brand, D. and Zafiropulo, P., "On Communicating Finite-State Machines", Journal of ACM, Vol. 30, No. 2, April, 1983, pp. 323-342.
6. Agrawal, H., "Dominators, Super Blocks, and Program Coverage" Conference Record of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'94), Portland, Oregon, January 1994, pp. 25-34
7. www.telelogic.com
8. www.verilog.com
9. Moher, T., PROVIDE: A Process Visualization and Debugging Environment, IEEE Transactions on Software Engineering, Vol. 14, No. 6, June 1988.
10. www.xsuds.com or xsuds.agreenhouse.com