A pattern-based framework for software anomaly detection

Software Quality Journal

Volumn 12, Issue 2, 2004, Pages 99-120

  Kothari, S C ^a   Bishop, Luke ^a   Sauceda, Jeremias ^a,c   Daugherty, Gary ^b  

^a Iowa State University   (United States)

^b ROCKWELL COLLINS   (United States)

^c EnSoft Corp   (United States)

Author keywords

High assurance software; Pattern specification language; Safety critical avionics systems; Software inspection; Software tools framework

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DECISION MAKING; KNOWLEDGE BASED SYSTEMS; PREVENTIVE MAINTENANCE; PROBLEM SOLVING; QUALITY CONTROL; SEMANTICS;

HIGH ASSURANCE SOFTWARE; HIGH ASSURANCE SOFTWARES; PATTERN SPECIFICATION LANGUAGE; SAFETY CRITICAL AVIONICS SYSTEM; SOFTWARE INSPECTION; SOFTWARE TOOLS FRAMEWORK;

SOFTWARE ENGINEERING;

EID: 3543151346     PISSN: 09639314     EISSN: 15731367     Source Type: Journal    
DOI: 10.1023/B:SQJO.0000024058.90885.6a     Document Type: Review

References (46)

1. Anderson, P., Reps, T., Teitelbaum, T., and Zarins, M. 2003. Tool support for fine-grained software inspection, IEEE Software, July: 42-50.
2. Antoniol, G., Fiutem, R. Lutteri, G., Tonella, P., Zanfei, S. and Merlo, E. 1997. Program understanding and maintenance with the CANTO environment, International Conference on Software Maintenance, Bari, Italy, 1-3 October 1997, pp. 72-81.
3. AspectJ Quick Reference, http://www.aspectj.org/doc/dist/quick.pdf.
4. Aurum, A., Petersson, H., and Wahlin, C. 2002. State-of-the-art: Software inspection after 25 years, Software Testing Verification Reliability 12(3): 133-154.
5. Bishop, P. et al. 2002. Software critical analysis of COTS/SOUP, Computer Safety, Reliability and Security: Proc. 21st Int'l Conf, Safecomp 2002, Lecture Notes in Computer Science, Vol. 2434, pp. 198-211. Springer-Verlag.
6. Chilenski, J.J. and Miller, S.P. 1994. Applicability of modified condition/decision coverage to software testing, Software Engineering Journal 7(5): 193-200.
7. Cscope homepage. http://cscope.sourceforge.net/.
8. Daugherty, G. and Kothari, S.C. 2002. Pattern examples, version 1.2o, Rockwell Collins Advanced Technology Center and Iowa State University, November.
9. Douglass, B.P. 2002. Real-Time Design Patterns, Robust Scalable Architecture for Real-Time Systems. Addison-Wesley Professional.
10. FAA/NASA. 2002. Multiple inheritance, FAA/NASA workshop position paper, OOTiA-1, version 2.1, Proceedings of the 1st FAA/NASA Workshop on Object-Oriented Technology in Aviation (OOTiA), Norfolk, VA, April 2002, to appear.
11. Fagan, M.E. 1976. Design and code inspection to reduce errors in program development, IBM Systems J. 15(3): 182-211.
12. Features: Code inspection, http://www.intellij.eom/idea/features/6.
13. Fiutem, R., Tonella, P., Antoniol, G., and Merlo, E. 1996. A cliche-based environment to support architectural reverse engineering, Proc. of IEEE Conf. on Software Maintenance, Monterey, November, pp. 319-328.
14. Flesca, S., Furfaro, F., and Greco, S. 2002. XGL: A graphical query language for XML, Proceedings of the International Database Engineering and Applications Symposium (IDEAS'02), July 17-19, 2002, Edmonton, Canada.
15. Gamma, E., Helm, R. et al. 1995. Design Patterns-Elements of Reusable Object-Oriented Software. Addison-Wesley.
16. Gilb, T. and Graham, D. 1993. Software Inspection. Addison-Wesley.
17. Harandi, M.T. and King, J.Q. 1990. Knowledge-based program analysis, IEEE Software 7(1): 74-81.
18. High-Assurance Java Virtual Machine. http://www.kestrel.edu/home/ projects/java/.
19. ISO Ada Standard, http://www.adaic.org/compilers/acaa.html.
20. ISU-Rockwell DARPA SEC project website. http://dirac.ee.iastate.edu/sec/.
21. JSIS: Semantic Interface Specification for Java Technology, http://www.jsistools.com/download/.
22. Kamperman, J. Automated software inspection: A new approach to increased software quality and productivity, http://www.apacheweek.com/issues/.
23. Kiczales, O., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., and Irwin, J. 1997. Aspect-oriented programming, Proceedings of the European Conference on Object-Oriented Programming (ECOOP), Finland, Lecture Notes in Computer Science, Vol. 1241. Springer-Verlag.
24. Kothari, S.C. 2002. Automatic parallelization, Aspect-Oriented Programming, and Beyond, High-Performance Computing Asia Conference, Banglore, India, December 2002 (invited paper).
25. Laitenberger, O. 2002. A survey of software inspection technologies, Handbook on Software Engineering and Knowledge Engineering, Vol. 2, pp. 517-555. World Scientific Publishing.
26. Littlefair, T. 2001. An Investigation into the Use of Software Code Metrics in the Industrial Software Development Environment, Ph.D. Thesis, Cowan University, http://www.fste.ac.cowan.edu.au/~tlittlef/.
27. McCabe, T. and Watson, A. 1994. Software complexity, Crosstalk, J. Defense Software Engrg. 7(12).
28. Mitra, S. and Kothari, S. 1997. Parallelization agent: A new approach to parallelization of legacy codes, 8th SIAM Conference on Parallel Processing for Scientific Computing.
29. Object Management Group. IDL available from http://www.omg.org/.
30. Object Management Group. 2002a. OMG Unified Modeling Language Specification (Action Semantics), version 1.4 with Action Semantics, final adopted specification, available from http://www.omg.org/.
31. Object Management Group. 2002b. Request For Proposal: MOF 2.0 Query/View/Transformations RFP, ad/2002-04-10, April 24.
32. Object Management Group. 2002c. UML 1.4 with Action Semantics, Chapter 6, Object Constraint Language Specification, available from http://www.omg.org/.
33. OOTIA web site, http://shemesh.larc.nasa.gov/foot/.
34. Parnas, D.L. 1994. Inspection of safety critical software using function tables, Proc. IFIF 13th World Computer Congress, Vol. 3, pp. 270-277. North-Holland.
35. Parnas, D.L. and Lawford, M. 2003. Inspection's role in software quality assurance, IEEE Software, July: 16-20.
36. Paul, S. and Prakash, A. 1994. A framework for source code search using program patterns, IEEE Transactions on Software Engineering 20(6): 463-475.
37. Reasoning Inc. Automated software inspection: A new approach to increased software quality and productivity, http://www.reasoning.com.
38. Schmidt, D. et al. 2000. Pattern-Oriented Software Architecture, Vol. 2. Patterns for Concurrent and Networked Objects. New York, Wiley.
39. Software Considerations in Airborne Systems and Equipment Certification. 1992. Document No. RTCA/DO-178B, RTCA Inc., Washington, DC, December 1.
40. Software metrics and static analysis. http://www.cs.queensu.ca/Software- Engineering/archive/static.html.
41. Tanenbaum, A.S. 2001. Modern Operating Systems, 2nd ed. Prentice-Hall.
42. Viega, J., Bloch, J.T., Kohno, T., and McCraw, G. ITS4: A static vulnerability scanner for C and C++ code, http://www.cigital.com/its4/.
43. Wagner, D. Static analysis and software assurance, http://www.cs. berkeley.edu/~daw/talks/sas01.ppt.
44. Warmer, J. and Kleppe, A. 1999. The Object Constraint Language: Precise Modeling with UML. Reading, MA, Addison-Wesley.
45. W3 XML Query web site. http://www.w3.org/XML/Query.
46. XSLT-Extensible stylesheet language transformation. http://www.w3.org/TR/ xslt.