|
|
 |
| |
|
|
|
Extension in The Case of Arrays in Daikon like Tools |
|
|
|
PP: 5-10 |
|
|
|
Author(s) |
|
|
|
M. H. Fouladgar,
B. Minaei-Bidgoli,
H. Parvinb,
H. Alinejad-Rokny,
|
|
|
|
Abstract |
|
|
| Software engineering comprises some processes such as designing, implementing and modifying of code. These
processes are done to generate software fast and have a high quality, efficient and maintainable software. In order to
perform these processes, invariants can useful and help programmers and testers. Arrays and pointers are frequent data
types and are used in program code repeatedly. Because of this conventional use, these two data types can be the reason of
fault in some program codes. First and last elements of arrays can confront to fault because of carelessness in using index
in loops. Also arrays with the same type mostly have some relations which can be probably faulty. Therefore invariants
which can report array and pointer properties are functional. This paper presented some constructive extension to Daikon
like tools so that can produce more relevant invariants in the case of array. |
|
|
|
|
|
|
|
