On possibility of conditional invariant detection

  • Authors:

  • Hani Fouladgar;Behrouz Minaei-Bidgoli;Hamid Parvin

  • Affiliations:

  • School of Computer Engineering, Iran University of Science and Technology, Tehran, Iran;School of Computer Engineering, Iran University of Science and Technology, Tehran, Iran;School of Computer Engineering, Iran University of Science and Technology, Tehran, Iran

  • Venue:
  • KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Software engineering includes some different process such as designing, implementing and modifying of software. All of these processes are done to have fast developed software as well as reach a high quality, efficient and maintainable software. Invariants help programmer and tester to do most steps of software engineering more easily. Invariants are mostly always true but of course with a specific confidence. Since some invariants are produced on some conditions of program execution and not always, conditional invariants can show the behavior of program so much better. For producing this kind of invariants, it might be used some technique of data mining such as association rule mining or using decision tree to obtain rules. So the paper will introduce a new perspective to dynamic invariant detection. Also the feasibility of conditional invariant detection is examined and a framework to extract them is proposed.