[eiffelstudio] Log of /branches/eth/sats

Revision 84469 - Directory Listing
Modified Fri Oct 1 11:34:14 2010 UTC (9 years, 2 months ago) by jasonw

Fixed some bugs in fix generation for linearly constrained faults.

Revision 82290 - Directory Listing
Modified Wed Feb 10 16:31:00 2010 UTC (9 years, 10 months ago) by jasonw

<<Merged from tags/Eiffel_64/R1@79478.>>

Revision 82288 - Directory Listing
Modified Tue Feb 9 23:23:28 2010 UTC (9 years, 10 months ago) by jasonw

Reverted a bad merge from trunk.

Revision 82285 - Directory Listing
Modified Tue Feb 9 19:59:06 2010 UTC (9 years, 10 months ago) by jasonw

<<Merged from trunk@79478.>>

Revision 82281 - Directory Listing
Modified Tue Feb 9 16:10:49 2010 UTC (9 years, 10 months ago) by jasonw

Added graphx library used for control flow analysis.

Revision 82280 - Directory Listing
Modified Tue Feb 9 10:05:27 2010 UTC (9 years, 10 months ago) by bustefan

Major refactoring of etr_method_extractor.e and etr_use_def_chain_generator.e

Revision 82279 - Directory Listing
Modified Mon Feb 8 11:01:17 2010 UTC (9 years, 10 months ago) by bustefan

1. Added simple logger 2. Refactoring

Revision 82263 - Directory Listing
Modified Fri Feb 5 16:18:03 2010 UTC (9 years, 10 months ago) by bustefan

1. Used INTERFACE_NAMES / WARNING_MESSAGES for refactoring strings 2. Fixed a bug in line->path conversion

Revision 82262 - Directory Listing
Modified Fri Feb 5 13:32:29 2010 UTC (9 years, 10 months ago) by bustefan

1. Some bug fixes 2. Refactoring 3. Added initial versions of setter generator, effective class generator and pretty printer. Still work in progress.

Revision 82260 - Directory Listing
Modified Thu Feb 4 15:56:36 2010 UTC (9 years, 10 months ago) by bustefan

A lot of bug fixes in ETR_STRUCTURE_PRINTER.
Most of the Eiffel source was parsed to test it.

Revision 82256 - Directory Listing
Modified Thu Feb 4 09:35:41 2010 UTC (9 years, 10 months ago) by bustefan

1. Bug fixes to structure printer 2. added printer that inserts comments 3. method extraction now prints comments

Revision 82245 - Directory Listing
Modified Wed Feb 3 15:53:13 2010 UTC (9 years, 10 months ago) by bustefan

fixed a bug

Revision 82244 - Directory Listing
Modified Wed Feb 3 15:40:49 2010 UTC (9 years, 10 months ago) by bustefan

fixed a misunderstanding

Revision 82243 - Directory Listing
Modified Wed Feb 3 14:40:12 2010 UTC (9 years, 10 months ago) by bustefan

Tool to extract times of phases and distributions of valid test cases from log files

Revision 82239 - Directory Listing
Modified Tue Feb 2 10:06:29 2010 UTC (9 years, 10 months ago) by bustefan

1. clients no longer have to use a feature context. Feature is specified in the operator. 2. Can easily switch between compiler and non-compiler environment by changing ast-factories 3. some refactoring & bug fixes

Revision 82238 - Directory Listing
Modified Mon Feb 1 21:45:44 2010 UTC (9 years, 10 months ago) by jasonw

Fixed some of the faults.

Revision 82237 - Directory Listing
Modified Mon Feb 1 21:17:20 2010 UTC (9 years, 10 months ago) by jasonw

Collected all valid fixes into a file.

Revision 82236 - Directory Listing
Modified Mon Feb 1 20:20:23 2010 UTC (9 years, 10 months ago) by jasonw

Fixed a few bugs.

Revision 82228 - Directory Listing
Modified Mon Feb 1 16:46:47 2010 UTC (9 years, 10 months ago) by bustefan

A couple more bug fixes

Revision 82226 - Directory Listing
Modified Mon Feb 1 15:41:51 2010 UTC (9 years, 10 months ago) by bustefan

Small range-exception fixed

Revision 82225 - Directory Listing
Modified Mon Feb 1 15:36:01 2010 UTC (9 years, 10 months ago) by bustefan

More bug fixes and better error handling

Revision 82220 - Directory Listing
Modified Mon Feb 1 14:29:39 2010 UTC (9 years, 10 months ago) by bustefan

Various bug fixes

Revision 82219 - Directory Listing
Modified Mon Feb 1 08:33:05 2010 UTC (9 years, 10 months ago) by bustefan

Method extraction should be fully usable from within EiffelStudio now

Revision 82218 - Directory Listing
Modified Sun Jan 31 23:36:01 2010 UTC (9 years, 10 months ago) by mpei

Nature of exception and tag from exception trace.

Revision 82217 - Directory Listing
Modified Sun Jan 31 20:37:11 2010 UTC (9 years, 10 months ago) by jasonw

Fixed a few bugs.

Revision 82216 - Directory Listing
Modified Sun Jan 31 17:25:19 2010 UTC (9 years, 10 months ago) by jasonw

Fixed a few bugs.

Revision 82215 - Directory Listing
Modified Sun Jan 31 14:15:37 2010 UTC (9 years, 10 months ago) by jasonw

Fixed some bugs.

Revision 82213 - Directory Listing
Modified Sat Jan 30 20:44:11 2010 UTC (9 years, 10 months ago) by mpei

Missing files committed.

Revision 82212 - Directory Listing
Modified Sat Jan 30 18:48:36 2010 UTC (9 years, 10 months ago) by bustefan

Small bug-fix

Revision 82210 - Directory Listing
Modified Sat Jan 30 16:13:48 2010 UTC (9 years, 10 months ago) by bustefan

1. Some bugs fixed 2. start + end lines are now taken from selected text

Revision 82209 - Directory Listing
Modified Sat Jan 30 15:43:31 2010 UTC (9 years, 10 months ago) by jasonw

Updated a script.

Revision 82208 - Directory Listing
Modified Sat Jan 30 15:22:13 2010 UTC (9 years, 10 months ago) by bustefan

Method extraction fully integrated. Usability=Work in progress

Revision 82207 - Directory Listing
Modified Sat Jan 30 15:14:13 2010 UTC (9 years, 10 months ago) by jasonw

Updated the format of the log file.

Revision 82206 - Directory Listing
Modified Sat Jan 30 14:54:14 2010 UTC (9 years, 10 months ago) by mpei

behavior sequence construction result cached now. Early result would be returned directly for repeated requests with the same configuration.

Revision 82205 - Directory Listing
Modified Sat Jan 30 12:58:09 2010 UTC (9 years, 10 months ago) by jasonw

1. Enabled fault reason finding by looking for a necessary condition of the failing assertion.
2. Removed previously generated fixes before a new AutoFix session.

Revision 82204 - Directory Listing
Modified Sat Jan 30 11:30:32 2010 UTC (9 years, 10 months ago) by jasonw

1. Removed duplicated variable declaraction in Daikon related files.
2. Removed debug session file every time before launching debugger.

Revision 82199 - Directory Listing
Modified Fri Jan 29 19:59:55 2010 UTC (9 years, 10 months ago) by jasonw

Refactoring.

Revision 82197 - Directory Listing
Modified Fri Jan 29 16:16:15 2010 UTC (9 years, 10 months ago) by bustefan

Integrate method extration into IDE - work in progress

Revision 82195 - Directory Listing
Modified Fri Jan 29 14:42:31 2010 UTC (9 years, 10 months ago) by jasonw

Updated test case extraction to distinguish some more integer values.

Revision 82194 - Directory Listing
Modified Fri Jan 29 14:28:27 2010 UTC (9 years, 10 months ago) by jasonw

Fixed some bugs.

Revision 82193 - Directory Listing
Modified Fri Jan 29 12:21:05 2010 UTC (9 years, 10 months ago) by jasonw

Shortcut catcall warning in runtime.

Revision 82192 - Directory Listing
Modified Fri Jan 29 12:20:32 2010 UTC (9 years, 10 months ago) by jasonw

1. Fixed some bugs.
2. Changed the test case searching to only include test cases that revealing new states in a project.

Revision 82191 - Directory Listing
Modified Fri Jan 29 08:39:16 2010 UTC (9 years, 10 months ago) by bustefan

Refactoring & Comments

Revision 82190 - Directory Listing
Modified Fri Jan 29 07:27:41 2010 UTC (9 years, 10 months ago) by bustefan

Minor bugfixes

Revision 82189 - Directory Listing
Modified Thu Jan 28 23:02:03 2010 UTC (9 years, 10 months ago) by mpei

Correcting the repeated model loading.
Exception trace resolving.

Revision 82188 - Directory Listing
Modified Thu Jan 28 21:12:31 2010 UTC (9 years, 10 months ago) by jasonw

Updated a script.

Revision 82187 - Directory Listing
Modified Thu Jan 28 20:55:26 2010 UTC (9 years, 10 months ago) by mpei

Duplications in generated behavior sequences are removed.

Revision 82184 - Directory Listing
Modified Thu Jan 28 06:56:12 2010 UTC (9 years, 10 months ago) by mpei

post state guided behavior construction revised.
Correcting the program in re-entering the behavior construction module

Revision 82181 - Directory Listing
Modified Wed Jan 27 22:54:43 2010 UTC (9 years, 10 months ago) by mpei

1. constructor only loads the model on first call.
2. only argumentless commands are considered in post-state guided feature selection.

Revision 82179 - Directory Listing
Modified Wed Jan 27 19:55:37 2010 UTC (9 years, 10 months ago) by jasonw

Fixed some  bugs.

Revision 82176 - Directory Listing
Modified Wed Jan 27 13:44:36 2010 UTC (9 years, 10 months ago) by mpei

refactoring class name.
cleanup cluster.

Revision 82175 - Directory Listing
Modified Wed Jan 27 09:39:31 2010 UTC (9 years, 10 months ago) by mpei

Cleanup the clusters.

Revision 82174 - Directory Listing
Modified Wed Jan 27 09:32:37 2010 UTC (9 years, 10 months ago) by mpei

State transition model and behavior construction redesigned.

Revision 82173 - Directory Listing
Modified Wed Jan 27 08:26:02 2010 UTC (9 years, 10 months ago) by bustefan

Refactoring

Revision 82167 - Directory Listing
Modified Tue Jan 26 18:10:17 2010 UTC (9 years, 10 months ago) by jasonw

Fixed a few bugs.

Revision 82166 - Directory Listing
Modified Mon Jan 25 22:18:19 2010 UTC (9 years, 10 months ago) by jasonw

1. Fixed a few bugs.
2. Added a script to evaluate AutoFix for a given set of faults.

Revision 82165 - Directory Listing
Modified Mon Jan 25 13:09:26 2010 UTC (9 years, 10 months ago) by jasonw

Added a script to build project to reveal faults.

Revision 82163 - Directory Listing
Modified Sun Jan 24 20:09:47 2010 UTC (9 years, 10 months ago) by jasonw

1. Added a fault reveal mode in AutoFix interpreter.
2. Enabled proxy logging.
3. Generated files facilitating fix diff.

Revision 82150 - Directory Listing
Modified Fri Jan 22 15:16:17 2010 UTC (9 years, 10 months ago) by bustefan

More refactoring

Revision 82149 - Directory Listing
Modified Fri Jan 22 14:59:11 2010 UTC (9 years, 10 months ago) by bustefan

Major refactoring

Revision 82148 - Directory Listing
Modified Fri Jan 22 13:03:32 2010 UTC (9 years, 10 months ago) by slucas

Comments

Revision 82147 - Directory Listing
Modified Fri Jan 22 11:13:50 2010 UTC (9 years, 10 months ago) by bustefan

type checker rewritten. more efficient, supports arguments and supports renamed locals & arguments

Revision 82137 - Directory Listing
Modified Thu Jan 21 16:20:43 2010 UTC (9 years, 10 months ago) by bustefan

1. type checker can handle object test locals 2. method extractor can handle object test locals 3. some refactoring

Revision 82123 - Directory Listing
Modified Wed Jan 20 08:30:14 2010 UTC (9 years, 10 months ago) by bustefan

1. fixed a bug that caused the modifying-printer to output unparseable text 2. made assignment-attempt replacer use modifications so they can be applied at will

Revision 82122 - Directory Listing
Modified Wed Jan 20 07:41:36 2010 UTC (9 years, 10 months ago) by bustefan

1. refactoring 2. lazy initialization in contexts

Revision 82098 - Directory Listing
Modified Mon Jan 18 13:37:23 2010 UTC (9 years, 10 months ago) by bustefan

using SHARED_TEXT_ITEMS

Revision 82095 - Directory Listing
Modified Mon Jan 18 10:59:03 2010 UTC (9 years, 10 months ago) by bustefan

etr_use_def_chain_generator.e: support for elseif and inspect

Revision 82094 - Directory Listing
Modified Mon Jan 18 10:05:03 2010 UTC (9 years, 10 months ago) by bustefan

Method extraction: Old/modified method is generated

Revision 82093 - Directory Listing
Modified Mon Jan 18 08:38:50 2010 UTC (9 years, 10 months ago) by bustefan

extracted method correct for most cases

Revision 82081 - Directory Listing
Modified Fri Jan 15 13:54:31 2010 UTC (9 years, 11 months ago) by bustefan

some more cases supported in method extraction

Revision 82080 - Directory Listing
Modified Fri Jan 15 10:34:50 2010 UTC (9 years, 11 months ago) by bustefan

Method extraction (Work in progress)

Revision 82056 - Directory Listing
Modified Tue Jan 12 16:19:12 2010 UTC (9 years, 11 months ago) by bustefan

example added: effective class generator

Revision 82051 - Directory Listing
Modified Tue Jan 12 10:34:07 2010 UTC (9 years, 11 months ago) by bustefan

added operator that replaces all obsolete assignment-attempts by object tests

Revision 82039 - Directory Listing
Modified Mon Jan 11 14:11:35 2010 UTC (9 years, 11 months ago) by bustefan

1. simple setter generator 2. bug fixes

Revision 82038 - Directory Listing
Modified Mon Jan 11 13:29:02 2010 UTC (9 years, 11 months ago) by bustefan

1. context transformer supports renaming in creation instructions 2. renaming of locals and arguments by name

Revision 82037 - Directory Listing
Modified Mon Jan 11 12:57:37 2010 UTC (9 years, 11 months ago) by bustefan

1. refactoring 2. contexts split into class and feature contexts 3. contexts store some information directly so they can be changed 4. context transformer supports renaming of locals and arguments 5. example argument-renaming operator

Revision 82021 - Directory Listing
Modified Thu Jan 7 15:29:35 2010 UTC (9 years, 11 months ago) by jasonw

Only retreive post execute state when a valid fix is found. Since state retrieval is time consuming, this can speed up the fix validation process.

Revision 82018 - Directory Listing
Modified Thu Jan 7 12:51:44 2010 UTC (9 years, 11 months ago) by jasonw

Added support for fix generation for linear constrained precondition violations.

Revision 82013 - Directory Listing
Modified Thu Jan 7 07:03:22 2010 UTC (9 years, 11 months ago) by jasonw

Supported fix generation for assertion violation related to linear constrains in postcondition/class invariant/check violations.

Revision 81995 - Directory Listing
Modified Wed Jan 6 08:45:26 2010 UTC (9 years, 11 months ago) by jasonw

Added support to use Mathematica to solve linear constraints.

Revision 81985 - Directory Listing
Modified Tue Jan 5 03:22:36 2010 UTC (9 years, 11 months ago) by jasonw

1. Fixed some bugs.
2. Refactoring.

Revision 81984 - Directory Listing
Modified Mon Jan 4 12:12:32 2010 UTC (9 years, 11 months ago) by jasonw

Fixed some bugs.

Revision 81981 - Directory Listing
Modified Thu Dec 31 16:22:02 2009 UTC (9 years, 11 months ago) by bustefan

1. Refactoring 2. Context transformation works in more cases

Revision 81980 - Directory Listing
Modified Wed Dec 30 20:52:04 2009 UTC (9 years, 11 months ago) by jasonw

Added numeric constrained assertion analysis to support fix generation for linearly constrained assertion violations.

Revision 81979 - Directory Listing
Modified Wed Dec 30 19:43:23 2009 UTC (9 years, 11 months ago) by bustefan

Context transformer feature complete, some refactoring pending

Revision 81976 - Directory Listing
Modified Wed Dec 30 12:12:04 2009 UTC (9 years, 11 months ago) by bustefan

1. Simple error handling added 2. Some unit tests added 3. Refactoring 4. Various bugs fixed

Revision 81974 - Directory Listing
Modified Wed Dec 30 09:47:46 2009 UTC (9 years, 11 months ago) by jasonw

Refactored Python scripts to avoid code duplication.

Revision 81973 - Directory Listing
Modified Wed Dec 30 09:19:52 2009 UTC (9 years, 11 months ago) by bustefan

1. Refactoring 2. Minor bugfixes

Revision 81962 - Directory Listing
Modified Tue Dec 29 16:08:04 2009 UTC (9 years, 11 months ago) by bustefan

1. bug fix in modifying printer that messed up list separators
2. context transformations now support argument renaming + type changes

Revision 81961 - Directory Listing
Modified Tue Dec 29 12:57:09 2009 UTC (9 years, 11 months ago) by bustefan

first simple context transformation supported:
features have different but conforming types and a feature used in a qualified call has been renamed

Revision 81960 - Directory Listing
Modified Tue Dec 29 09:07:43 2009 UTC (9 years, 11 months ago) by bustefan

Fixed a bug breaking replacements

Revision 81955 - Directory Listing
Modified Mon Dec 28 20:23:54 2009 UTC (9 years, 11 months ago) by jasonw

Added a script to select certain test cases to be used in AutoFix.

Revision 81954 - Directory Listing
Modified Mon Dec 28 16:13:46 2009 UTC (9 years, 11 months ago) by bustefan

Changed structure printer to also process empty nodes. This allows for insertion into non-existing lists as demoed in ewb_eiffel_transform.e

Revision 81953 - Directory Listing
Modified Mon Dec 28 11:03:15 2009 UTC (9 years, 11 months ago) by bustefan

1. Branch visitor improved 2. list append/prepend/put_ith implemented 3. new structure added to simplify ETR_MODIFYING_VISITOR

Revision 81952 - Directory Listing
Modified Mon Dec 28 08:01:33 2009 UTC (9 years, 11 months ago) by bustefan

1. Refactoring 2. Insertion/Replacement made more general 3. Interfaces for basic operators changed

Revision 81951 - Directory Listing
Modified Sun Dec 27 22:48:33 2009 UTC (9 years, 11 months ago) by jasonw

1. Calculate fix postcondition according to revelant ASTs.
2. Added a command line option to provide the maximal fix postcondition assertions that can be considered.
3. Refactoring.

Revision 81950 - Directory Listing
Modified Sun Dec 27 13:34:35 2009 UTC (9 years, 11 months ago) by jasonw

Refactoring: Moved classes into different folders.

Revision 81949 - Directory Listing
Modified Sun Dec 27 13:27:51 2009 UTC (9 years, 11 months ago) by jasonw

Refactoring: moved classes into different folders.

Revision 81948 - Directory Listing
Modified Sun Dec 27 13:26:04 2009 UTC (9 years, 11 months ago) by jasonw

Refactoring: moved classes into different folders.

Revision 81947 - Directory Listing
Modified Sun Dec 27 12:44:59 2009 UTC (9 years, 11 months ago) by jasonw

Refactoring.

Revision 81946 - Directory Listing
Modified Sun Dec 27 12:40:11 2009 UTC (9 years, 11 months ago) by jasonw

1. Refactoring.
2. Added a command line option to freeze and C compile the interpreter before auto-fixing
3. Refined fix ranking calculation, introduced the concept of syntax ranking and semantics ranking. Introcuded weights to different components in syntax ranking.
4. Supported old expression in state model.

Revision 81945 - Directory Listing
Modified Sat Dec 26 22:38:06 2009 UTC (9 years, 11 months ago) by jasonw

1. Refactoring
2. Added command line option to enable certain type of fixes to be generated: afore or wrap.
3. Fixed some bugs in fix generation, removes some fixes which do not make sense.
4. Filtered out duplicated fixes.
5. Added preconditions to fixes, although for the moment, fix preconditions are not used.
6. Added a command line option "mocking" to enable mocking mode.

Revision 81944 - Directory Listing
Modified Sat Dec 26 14:16:59 2009 UTC (9 years, 11 months ago) by jasonw

Fixed a problem causing the validation algorithm cannot terminate itself after finding enough valid fixes.

Revision 81943 - Directory Listing
Modified Sat Dec 26 13:31:14 2009 UTC (9 years, 11 months ago) by jasonw

1. Calculated state difference to analyze impact of applying a fix on passing test cases.
2. Gave fix files meaningful names.
3. Regenerate fix files for valid fixes.
4. Introduced a command line option to specify the maximal test case execution time.
5. Refactoring.

Revision 81942 - Directory Listing
Modified Fri Dec 25 17:18:53 2009 UTC (9 years, 11 months ago) by jasonw

1. Refactoring.
2. Added support to retrieve states from test cased used to validate a fix candidate.
3. Introduced a max valid fix option. The fix validation algorithm will terminate when the specified number of valid fixes are found.

Revision 81937 - Directory Listing
Modified Thu Dec 24 23:46:45 2009 UTC (9 years, 11 months ago) by jasonw

Supported post state retrieval after execution of a test case. Post state can be used to rank fixes: Fixes that have minimal impact on the post state of successful runs are better.

Revision 81935 - Directory Listing
Modified Thu Dec 24 16:37:06 2009 UTC (9 years, 11 months ago) by jasonw

1. Refactoring. 
2. Enhanced fix valication related classes. Using process library to launch fix validation, tried to use debugger, but didn't succeed.
3. Provided framework get get pre-/post state of a test case.

Revision 81919 - Directory Listing
Modified Wed Dec 23 22:26:33 2009 UTC (9 years, 11 months ago) by jasonw

Complete the first draft of fix candidate validation.

Revision 81917 - Directory Listing
Modified Wed Dec 23 22:25:39 2009 UTC (9 years, 11 months ago) by jasonw

Patched run-time to support directly melting into a newly freezed system.

Revision 81901 - Directory Listing
Modified Wed Dec 23 13:16:54 2009 UTC (9 years, 11 months ago) by jasonw

Added classes to support fix candidate validation.

Revision 81900 - Directory Listing
Modified Wed Dec 23 13:16:03 2009 UTC (9 years, 11 months ago) by jasonw

Fixed a bug which causes paranthesis to be lost in printing creation expression.

Revision 81888 - Directory Listing
Modified Tue Dec 22 13:30:57 2009 UTC (9 years, 11 months ago) by bustefan

Modifications are now done using a visitor and are a lot more flexible

Revision 81885 - Directory Listing
Modified Mon Dec 21 21:20:14 2009 UTC (9 years, 11 months ago) by jasonw

1. Added a fixing library.
2. Refactoring.

Revision 81882 - Directory Listing
Modified Mon Dec 21 13:46:32 2009 UTC (9 years, 11 months ago) by bustefan

simple "transactional modifications".
only operations directly in lists supported for now

Revision 81881 - Directory Listing
Modified Sun Dec 20 19:01:10 2009 UTC (9 years, 11 months ago) by jasonw

Enhanced path retrieval for external tools.

Revision 81880 - Directory Listing
Modified Sun Dec 20 18:23:32 2009 UTC (9 years, 11 months ago) by jasonw

1. Added class to collect test case execution status: the states at the entry and exit of every tested routine.
2. Refactoring.

Revision 81879 - Directory Listing
Modified Sun Dec 20 15:19:12 2009 UTC (9 years, 11 months ago) by mpei

Remove redundant file from auto_fix_py.

Revision 81878 - Directory Listing
Modified Sun Dec 20 15:00:42 2009 UTC (9 years, 11 months ago) by mpei

Exception trace explanation cluster moved to autofix library.

Revision 81877 - Directory Listing
Modified Sat Dec 19 20:13:01 2009 UTC (9 years, 11 months ago) by jasonw

1. Refactoring.
2. Printed generated fixes into files.

Revision 81876 - Directory Listing
Modified Sat Dec 19 19:10:13 2009 UTC (9 years, 11 months ago) by mpei

fix configuration error.

Revision 81875 - Directory Listing
Modified Sat Dec 19 18:44:29 2009 UTC (9 years, 11 months ago) by mpei

1. Using model of conforming type to construct behavior.

Revision 81874 - Directory Listing
Modified Sat Dec 19 17:16:39 2009 UTC (9 years, 11 months ago) by jasonw

Refactoring.

Revision 81873 - Directory Listing
Modified Sat Dec 19 12:41:30 2009 UTC (9 years, 11 months ago) by jasonw

Refactoring.

Revision 81872 - Directory Listing
Modified Sat Dec 19 11:45:43 2009 UTC (9 years, 11 months ago) by mpei

1. Naive behavior constructor server.
2. Clean up the code in AUT_OBJECT_STATE_LOG_PROCESSOR.process.

Revision 81871 - Directory Listing
Modified Sat Dec 19 09:26:10 2009 UTC (9 years, 11 months ago) by jasonw

1. Passed config for AutoFix to several classes for ease of access.
2. Added "forward_model_directory" and "backward_model_directory" in AutoFix config, pointing to different state model transition directories.

Revision 81870 - Directory Listing
Modified Sat Dec 19 08:31:12 2009 UTC (9 years, 11 months ago) by jasonw

Fixed an ecf file problem.

Revision 81866 - Directory Listing
Modified Sat Dec 19 00:11:31 2009 UTC (9 years, 11 months ago) by mpei

1. Forward/backward model construction from log file.
2. Model serialization.
3. Model based behavior construction.

Revision 81863 - Directory Listing
Modified Fri Dec 18 22:06:23 2009 UTC (9 years, 11 months ago) by jasonw

1. Added a daikon directory to store Daikon related files.
2. Introduced a mocking mode in fixing process to save time in debugging.
3. Refactoring.

Revision 81859 - Directory Listing
Modified Fri Dec 18 15:52:42 2009 UTC (9 years, 11 months ago) by bustefan

made usage of ast printer more straight-forward and hierarchy output prettier

Revision 81858 - Directory Listing
Modified Fri Dec 18 15:49:25 2009 UTC (9 years, 11 months ago) by jasonw

Added code to generate fixes.

Revision 81857 - Directory Listing
Modified Fri Dec 18 15:43:02 2009 UTC (9 years, 11 months ago) by bustefan

Visitor added which can print an ast to valid eiffel syntax without a matchlist
+ various other small changes

Revision 81847 - Directory Listing
Modified Thu Dec 17 11:17:37 2009 UTC (9 years, 11 months ago) by slucas

Clean-up and formatting

Revision 81840 - Directory Listing
Modified Wed Dec 16 16:55:38 2009 UTC (9 years, 11 months ago) by slucas

Daikon Facility (Refactoring)

Revision 81839 - Directory Listing
Modified Wed Dec 16 14:06:38 2009 UTC (9 years, 11 months ago) by bustefan

Refactoring + coding conventions

Revision 81836 - Directory Listing
Modified Tue Dec 15 22:48:08 2009 UTC (10 years ago) by jasonw

Added support for generating permutations and combinations for hash sets.

Revision 81833 - Directory Listing
Modified Tue Dec 15 17:47:14 2009 UTC (10 years ago) by bustefan

command/query separation for transformations

Revision 81830 - Directory Listing
Modified Tue Dec 15 17:40:24 2009 UTC (10 years ago) by bustefan

added support for insertions and basic replacements + demo
if_wrap generalized into new_if_then_branch

Revision 81825 - Directory Listing
Modified Mon Dec 14 22:43:31 2009 UTC (10 years ago) by jasonw

Added classes to generate fix skeletons for failing assertion in the format of: 1. ABQ,  2. ABQ -> ABQ, 3. Others.

Revision 81821 - Directory Listing
Modified Mon Dec 14 16:19:38 2009 UTC (10 years ago) by bustefan

refactoring

Revision 81820 - Directory Listing
Modified Mon Dec 14 16:16:56 2009 UTC (10 years ago) by bustefan

Simplification to the visitors in EiffelTransform

Revision 81819 - Directory Listing
Modified Mon Dec 14 16:02:41 2009 UTC (10 years ago) by jasonw

Added classes for fix generation.

Revision 81818 - Directory Listing
Modified Mon Dec 14 15:49:09 2009 UTC (10 years ago) by bustefan

fixed compilation error

Revision 81817 - Directory Listing
Modified Mon Dec 14 15:41:37 2009 UTC (10 years ago) by bustefan

IMPORTANT: Changes to AST_EIFFEL might invalidate intermediate compilation results.  Deleting EIFGEN directories might be necessary.

Added a new path attribute to every ast-node
A lot of changes to EiffelTransform

Revision 81812 - Directory Listing
Modified Sun Dec 13 21:01:28 2009 UTC (10 years ago) by jasonw

Added classes for fix generation.

Revision 81811 - Directory Listing
Modified Sun Dec 13 21:00:51 2009 UTC (10 years ago) by jasonw

Added classes for fix generation.

Revision 81810 - Directory Listing
Modified Sun Dec 13 13:55:41 2009 UTC (10 years ago) by jasonw

Finished failing assertion rewriting in the context of an recipient feature.

Revision 81809 - Directory Listing
Modified Sat Dec 12 23:26:01 2009 UTC (10 years ago) by jasonw

1. Added classes to analyze AST structure for features.
2. Added classes to support failing assertion rewriting.

Revision 81802 - Directory Listing
Modified Fri Dec 11 15:01:37 2009 UTC (10 years ago) by bustefan

initial alpha 0.0001 release of EiffelTransform library
At this point it's just a proof of concept hack

Revision 81785 - Directory Listing
Modified Tue Dec 8 22:00:50 2009 UTC (10 years ago) by jasonw

1. Added classes to check if an expression contains only argumentless boolean queries (ABQ) or implications of ABQs.
2. Added a feature to transform ABQ equations into normal form, which does not include any "not" operator.

Revision 81769 - Directory Listing
Modified Mon Dec 7 17:00:02 2009 UTC (10 years ago) by jasonw

Refactoring.

Revision 81761 - Directory Listing
Modified Mon Dec 7 13:02:52 2009 UTC (10 years ago) by jasonw

Added a command line option to use Daikon from AutoFix.

Revision 81754 - Directory Listing
Modified Mon Dec 7 09:51:08 2009 UTC (10 years ago) by jasonw

Refactoring.

Revision 81750 - Directory Listing
Modified Mon Dec 7 00:58:29 2009 UTC (10 years ago) by slucas

Daikon generation updated

Revision 81749 - Directory Listing
Modified Sun Dec 6 22:35:03 2009 UTC (10 years ago) by jasonw

1. Refactoring.
2. Added classes to build AST levels for a routine, which are used for deciding the scope of an automatically generated patch.

Revision 81715 - Directory Listing
Modified Wed Dec 2 02:12:42 2009 UTC (10 years ago) by mpei

Deleting unreferenced local variables

Revision 81712 - Directory Listing
Modified Wed Dec 2 00:11:29 2009 UTC (10 years ago) by mpei

adding complete auto_fix_py cluster

Revision 81711 - Directory Listing
Modified Wed Dec 2 00:05:04 2009 UTC (10 years ago) by mpei

deleting the incomplete auto_fix_py directory

Revision 81709 - Directory Listing
Modified Tue Dec 1 22:31:46 2009 UTC (10 years ago) by mpei

Fixing the absolute paths in autofix.ecf
moving the mis-located afx_state_equality_tester.e to the correct directory

Revision 81708 - Directory Listing
Modified Tue Dec 1 22:08:11 2009 UTC (10 years ago) by mpei

duplicated header files in autoTest/spec removed.

Revision 81704 - Directory Listing
Modified Tue Dec 1 21:01:41 2009 UTC (10 years ago) by mpei

Fixing the absolute path in project configuration file.

Revision 81703 - Directory Listing
Modified Tue Dec 1 11:46:44 2009 UTC (10 years ago) by mpei

1. Enumeration based autoFix
2. Boolean model extraction from object state log and object behavior construction

Revision 81695 - Directory Listing
Modified Mon Nov 30 22:35:01 2009 UTC (10 years ago) by jasonw

Fixed a bug that caused duplicated vairable output for serialized test cases.

Revision 81694 - Directory Listing
Modified Mon Nov 30 22:28:46 2009 UTC (10 years ago) by jasonw

Refactoring.

Revision 81693 - Directory Listing
Modified Mon Nov 30 22:24:18 2009 UTC (10 years ago) by jasonw

Fixed a bug which caused crash when processing contracts with precursor calls.

Revision 81687 - Directory Listing
Modified Sat Nov 28 12:00:15 2009 UTC (10 years ago) by jasonw

1. Fixed some bugs in AutoFix type checker which caused anchered types in locals not handled correctly.
2. Hard coded implications for some types to speed up debugging cycle. Those hard coded implications should be removed finally.

Revision 81686 - Directory Listing
Modified Fri Nov 27 23:18:28 2009 UTC (10 years ago) by jasonw

1. Refactoring.
2. Added classes to analyze a test case to come up with a set of predicates used as state model.

Revision 81685 - Directory Listing
Modified Fri Nov 27 17:31:16 2009 UTC (10 years ago) by jasonw

Added classes to find implications from source code.

Revision 81672 - Directory Listing
Modified Wed Nov 25 17:13:51 2009 UTC (10 years ago) by jasonw

Removed unnecessary preconditions.

Revision 81671 - Directory Listing
Modified Wed Nov 25 17:05:35 2009 UTC (10 years ago) by jasonw

Removed a class that has been added by mistake.

Revision 81670 - Directory Listing
Modified Wed Nov 25 17:04:06 2009 UTC (10 years ago) by jasonw

1. Refactoring.
2. Added classes to support automatic implication finding.

Revision 81669 - Directory Listing
Modified Wed Nov 25 11:42:42 2009 UTC (10 years ago) by jasonw

1. Enabled ARFF file generation as an command line option.
2. Refactoring.

Revision 81665 - Directory Listing
Modified Tue Nov 24 20:14:17 2009 UTC (10 years ago) by jasonw

1. Enabled output parsing from Boogie result.
2. Refactoring.

Revision 81636 - Directory Listing
Modified Mon Nov 23 21:22:04 2009 UTC (10 years ago) by jasonw

Added support for Boogie PL file generation.

Revision 81620 - Directory Listing
Modified Mon Nov 23 13:28:30 2009 UTC (10 years ago) by jasonw

Refactored to support both SMTLIB and Boogie as input format to solvers.

Revision 81619 - Directory Listing
Modified Mon Nov 23 11:18:38 2009 UTC (10 years ago) by jasonw

Refactoring.

Revision 81618 - Directory Listing
Modified Mon Nov 23 11:16:02 2009 UTC (10 years ago) by jasonw

Refactoring.

Revision 81611 - Directory Listing
Modified Sun Nov 22 22:16:20 2009 UTC (10 years ago) by jasonw

Refactoring.

Revision 81610 - Directory Listing
Modified Sun Nov 22 20:57:17 2009 UTC (10 years ago) by jasonw

Added support for analyzing local variables.

Revision 81609 - Directory Listing
Modified Sun Nov 22 20:45:00 2009 UTC (10 years ago) by jasonw

1. Refactoring.
2. Enabled the ability to pull some query postconditions into class invariant.
3. Added a class to generate Weka data file. Weka is a tool for machine learning.

Revision 81607 - Directory Listing
Modified Sun Nov 22 10:15:35 2009 UTC (10 years ago) by jasonw

Fixed a bug in local variable type checker.

Revision 81606 - Directory Listing
Modified Sun Nov 22 10:14:33 2009 UTC (10 years ago) by jasonw

Fixed a bug that caused no test case to be copied into a project.

Revision 81601 - Directory Listing
Modified Sat Nov 21 09:33:23 2009 UTC (10 years ago) by jasonw

Added local variables into state model.

Revision 81598 - Directory Listing
Modified Fri Nov 20 22:29:31 2009 UTC (10 years ago) by jasonw

Refactoring.

Revision 81593 - Directory Listing
Modified Fri Nov 20 13:42:37 2009 UTC (10 years ago) by jasonw

Enabled state retrieval for multiple test cases in one session.

Revision 81590 - Directory Listing
Modified Thu Nov 19 22:00:52 2009 UTC (10 years ago) by jasonw

Added an AutoFix command line option to support extracting state invariants for both passing and failing test cases.

Revision 81585 - Directory Listing
Modified Thu Nov 19 09:36:22 2009 UTC (10 years ago) by slucas

Small updates

Revision 81581 - Directory Listing
Modified Wed Nov 18 21:23:02 2009 UTC (10 years ago) by jasonw

Added a class to generate simple postcondition for functions.

Revision 81558 - Directory Listing
Modified Mon Nov 16 11:24:57 2009 UTC (10 years ago) by jasonw

Fixed a bug which caused crash when generating SMTLIB files for some classes.

Revision 81557 - Directory Listing
Modified Sun Nov 15 20:34:45 2009 UTC (10 years ago) by jasonw

Fixed a bug which caused stack overflow.

Revision 81556 - Directory Listing
Modified Sun Nov 15 18:57:08 2009 UTC (10 years, 1 month ago) by slucas

Simple Daikon Generator

Revision 81555 - Directory Listing
Modified Sat Nov 14 21:12:13 2009 UTC (10 years, 1 month ago) by jasonw

Added the abilty to enlarge a state by assigning random values to missing part.

Revision 81553 - Directory Listing
Modified Sat Nov 14 14:09:26 2009 UTC (10 years, 1 month ago) by jasonw

Added random values for states.

Revision 81532 - Directory Listing
Modified Fri Nov 13 20:48:56 2009 UTC (10 years, 1 month ago) by jasonw

Added the ability to find the smallest premises for a predicate.

Revision 81525 - Directory Listing
Modified Fri Nov 13 15:25:48 2009 UTC (10 years, 1 month ago) by jasonw

Refactoring.

Revision 81524 - Directory Listing
Modified Fri Nov 13 15:16:34 2009 UTC (10 years, 1 month ago) by jasonw

Refactoring.

Revision 81515 - Directory Listing
Modified Fri Nov 13 10:09:33 2009 UTC (10 years, 1 month ago) by slucas

fixed Typo

Revision 81491 - Directory Listing
Modified Wed Nov 11 09:05:00 2009 UTC (10 years, 1 month ago) by jasonw

Updated some code to show how to use the AutoFix framework.

Revision 81482 - Directory Listing
Modified Tue Nov 10 21:37:34 2009 UTC (10 years, 1 month ago) by jasonw

Enabled the ability to reason about whether a state implies another state.

Revision 81474 - Directory Listing
Modified Tue Nov 10 16:28:20 2009 UTC (10 years, 1 month ago) by jasonw

Refactoring.

Revision 81472 - Directory Listing
Modified Mon Nov 9 22:28:38 2009 UTC (10 years, 1 month ago) by jasonw

Enabled reasoning on object state using Z3.

Revision 81463 - Directory Listing
Modified Sun Nov 8 22:04:43 2009 UTC (10 years, 1 month ago) by jasonw

Provided options to enable or disable part of the proxy log generated by AutoTest.

Revision 81452 - Directory Listing
Modified Fri Nov 6 16:00:24 2009 UTC (10 years, 1 month ago) by jasonw

Added classes to generate SMT-LIB files for class invariants. SMT-LIB files are used as inputs to a SAT solver.

Revision 81421 - Directory Listing
Modified Thu Nov 5 12:56:19 2009 UTC (10 years, 1 month ago) by jasonw

Added a project which contains test cases revealing faults.

Revision 81420 - Directory Listing
Modified Thu Nov 5 12:34:34 2009 UTC (10 years, 1 month ago) by jasonw

Added autofix related tools.

Revision 81419 - Directory Listing
Modified Thu Nov 5 12:33:26 2009 UTC (10 years, 1 month ago) by jasonw

Moved autofix related tools into its own directory.

Revision 81404 - Directory Listing
Modified Wed Nov 4 17:12:07 2009 UTC (10 years, 1 month ago) by jasonw

Updated command line options for AutoFix.

Revision 81393 - Directory Listing
Modified Tue Nov 3 21:55:40 2009 UTC (10 years, 1 month ago) by jasonw

1. Provided an AutoTest command line option to disable interpreter log.
2. Provided an AutoTest command line option to disable serialization of successful test cases.
3. Provided an AutoTest command line option to disable test case generation on-the-fly.
4. Fixed some bugs in state log processing.

Revision 81378 - Directory Listing
Modified Tue Nov 3 16:49:05 2009 UTC (10 years, 1 month ago) by jasonw

Added object state log processor to only handle object state requests.

Revision 81374 - Directory Listing
Modified Tue Nov 3 09:32:08 2009 UTC (10 years, 1 month ago) by jasonw

Added classes to represent expression values. For the moment, 4 types of values are supported: integer, boolean, reference and nonsensical (meaning that the actual value is not retrievable).

Revision 81363 - Directory Listing
Modified Mon Nov 2 16:13:11 2009 UTC (10 years, 1 month ago) by jasonw

1. Fixed some bugs in expression generator. 
2. Enabled system state retrieval based on expression built by expression generator.

Revision 81362 - Directory Listing
Modified Sun Nov 1 20:23:00 2009 UTC (10 years, 1 month ago) by jasonw

Added expression generator which can generate all available expressions in current feature.

Revision 81349 - Directory Listing
Modified Sun Nov 1 13:07:34 2009 UTC (10 years, 1 month ago) by jasonw

Refactoring.

Revision 81341 - Directory Listing
Modified Sun Nov 1 10:43:49 2009 UTC (10 years, 1 month ago) by jasonw

Enhanced default values for system state retrieval.

Revision 81339 - Directory Listing
Modified Sat Oct 31 21:13:35 2009 UTC (10 years, 1 month ago) by jasonw

1. Enabled default routine for which system state is retrieved. By default, the recipient routine of the failure is marked to retrieve state.
2. Disabled debug menu display when debugger is stopped during AutoFix operations.

Revision 81333 - Directory Listing
Modified Sat Oct 31 09:26:44 2009 UTC (10 years, 1 month ago) by jasonw

Enabled automatic system state retrieval through debugger.

Revision 81328 - Directory Listing
Modified Fri Oct 30 16:49:15 2009 UTC (10 years, 1 month ago) by jasonw

Enabled automatic breakpoint setting for state retrieval.

Revision 81325 - Directory Listing
Modified Fri Oct 30 14:12:45 2009 UTC (10 years, 1 month ago) by jasonw

Added classes to parse expressions to state.

Revision 81318 - Directory Listing
Modified Thu Oct 29 20:57:46 2009 UTC (10 years, 1 month ago) by jasonw

Added classes for AutoFix project.

Revision 81301 - Directory Listing
Modified Tue Oct 27 20:06:25 2009 UTC (10 years, 1 month ago) by jasonw

Updated the fault revealing project.

Revision 81285 - Directory Listing
Modified Mon Oct 26 21:03:51 2009 UTC (10 years, 1 month ago) by jasonw

Added the project to reveal faults.

Revision 81264 - Directory Listing
Modified Mon Oct 26 16:38:58 2009 UTC (10 years, 1 month ago) by jasonw

Added a script to remove only successful test cases.

Revision 81263 - Directory Listing
Modified Mon Oct 26 16:38:37 2009 UTC (10 years, 1 month ago) by jasonw

1. Updated some comments. 2. Added a script to remove only successful test cases.

Revision 81260 - Directory Listing
Modified Mon Oct 26 14:45:14 2009 UTC (10 years, 1 month ago) by jasonw

Fixed a bug that caused crash when analyzing passing test cases.

Revision 81256 - Directory Listing
Modified Sun Oct 25 12:36:39 2009 UTC (10 years, 1 month ago) by jasonw

Updated the script to select test cases.

Revision 81255 - Directory Listing
Modified Sun Oct 25 10:11:03 2009 UTC (10 years, 1 month ago) by jasonw

Updated scripts to extract serialized test cases and added a script to select certain test cases.

Revision 81239 - Directory Listing
Modified Fri Oct 23 12:31:18 2009 UTC (10 years, 1 month ago) by jasonw

Updated the help message.

Revision 81238 - Directory Listing
Modified Fri Oct 23 12:27:57 2009 UTC (10 years, 1 month ago) by jasonw

Updated the script to extract serialized test cases.

Revision 81178 - Directory Listing
Modified Thu Oct 15 20:27:34 2009 UTC (10 years, 2 months ago) by jasonw

Fixed a bug that the type names in serialized test cases are wrong.

Revision 81177 - Directory Listing
Modified Thu Oct 15 19:51:29 2009 UTC (10 years, 2 months ago) by jasonw

Removed newline characters in the verbatim string for serialized data.

Revision 81170 - Directory Listing
Modified Wed Oct 14 16:27:34 2009 UTC (10 years, 2 months ago) by jasonw

Updated the script to store test cases in different folders.

Revision 81169 - Directory Listing
Modified Wed Oct 14 16:15:20 2009 UTC (10 years, 2 months ago) by jasonw

Added query type information into object state recording.

Revision 81166 - Directory Listing
Modified Wed Oct 14 09:28:36 2009 UTC (10 years, 2 months ago) by jasonw

Added a script to extract serialized test cases from AutoTet logs.

Revision 81161 - Directory Listing
Modified Tue Oct 13 08:32:29 2009 UTC (10 years, 2 months ago) by jasonw

Enabled the test case serialization file name to be passed as an argument to the interpreter.

Revision 81141 - Directory Listing
Modified Mon Oct 12 19:32:45 2009 UTC (10 years, 2 months ago) by jasonw

Fixed a bug that caused serialized test cases not generated if the feature under test are queries.

Revision 81140 - Directory Listing
Modified Mon Oct 12 19:31:09 2009 UTC (10 years, 2 months ago) by jasonw

Added the ability to generate test cases during AutoTesting through object serialization.

Revision 81133 - Directory Listing
Modified Sat Oct 10 13:30:37 2009 UTC (10 years, 2 months ago) by jasonw

1. Fixed a bug that caused crash in test case generation on the fly.
2. Fixed a bug that repalced newline characters in serialized data with "%%N" and "%%R".

Revision 81132 - Directory Listing
Modified Sat Oct 10 11:57:14 2009 UTC (10 years, 2 months ago) by jasonw

Added the ability to seralize test cases during random testing.

Revision 81026 - Directory Listing
Modified Wed Oct 7 09:13:34 2009 UTC (10 years, 2 months ago) by jasonw

Fixed a bug that the configuration is not set into log printers.

Revision 80985 - Directory Listing
Modified Thu Oct 1 13:26:41 2009 UTC (10 years, 2 months ago) by gserge

- new legend on graph.

Revision 80959 - Directory Listing
Modified Tue Sep 29 18:14:04 2009 UTC (10 years, 2 months ago) by jasonw

1. Added some AutoTest result analyzers.
2. Added matlab files to generate fault detection probability related graphs.

Revision 80929 - Directory Listing
Modified Mon Sep 28 13:11:50 2009 UTC (10 years, 2 months ago) by gserge

- worked on analyzer.

Revision 80907 - Directory Listing
Modified Fri Sep 25 18:00:25 2009 UTC (10 years, 2 months ago) by gserge

- worked on analyzer.

Revision 80875 - Directory Listing
Modified Thu Sep 24 15:27:33 2009 UTC (10 years, 2 months ago) by gserge

- changed colors for 3-colored graphs, better readability when printed b/w.

Revision 80856 - Directory Listing
Modified Wed Sep 23 16:36:27 2009 UTC (10 years, 2 months ago) by gserge

- worked on analyzer.
- added helper script to split log folder into groups.

Revision 80854 - Directory Listing
Modified Wed Sep 23 14:46:35 2009 UTC (10 years, 2 months ago) by gserge

- worked on analyzer.

Revision 80784 - Directory Listing
Modified Mon Sep 21 18:39:33 2009 UTC (10 years, 2 months ago) by jasonw

Fixed a bug in the AutoTest log file parser that treated bad response wrongly.

Revision 80773 - Directory Listing
Modified Mon Sep 21 13:17:19 2009 UTC (10 years, 2 months ago) by gserge

Fixed a bug when choosing random integer

Revision 80767 - Directory Listing
Modified Sat Sep 19 14:38:41 2009 UTC (10 years, 2 months ago) by jasonw

Added a tool for precondition satisfaction failure rate analysis.

Revision 80718 - Directory Listing
Modified Tue Sep 15 19:55:49 2009 UTC (10 years, 3 months ago) by jasonw

Fixed some bugs that caused precondition satisfaction algorithm failed on some classes.

Revision 80664 - Directory Listing
Modified Wed Sep 9 15:38:28 2009 UTC (10 years, 3 months ago) by gserge

- moved from plots to figures (with automatic closing of figure window).
- added class names for bar graphs of distinct faults.

Revision 80656 - Directory Listing
Modified Wed Sep 9 02:19:34 2009 UTC (10 years, 3 months ago) by gserge

- fixed number of precond_features.
- added sanity checks.

Revision 80649 - Directory Listing
Modified Tue Sep 8 04:40:00 2009 UTC (10 years, 3 months ago) by gserge

- added the table pf_tested sorted by increase.
- added new graphs for pf_tested.
- added the computation of time spent in invalid test cases.
- fixed some title/axis errors.

Revision 80647 - Directory Listing
Modified Mon Sep 7 19:49:19 2009 UTC (10 years, 3 months ago) by gserge

- many improvements.
- support for more command line options (title, nbr of test runs, horizontal/vertical lines in scatter plot)

Revision 80636 - Directory Listing
Modified Fri Sep 4 23:14:35 2009 UTC (10 years, 3 months ago) by gserge

- fixed a bug where some EPS files would be grayscale.

Revision 80635 - Directory Listing
Modified Fri Sep 4 19:41:52 2009 UTC (10 years, 3 months ago) by gserge

- added support to generate EPS files (in addition to PNG and PDF).

Revision 80634 - Directory Listing
Modified Fri Sep 4 16:41:45 2009 UTC (10 years, 3 months ago) by gserge

- added support to generate PDF files (in addition to PNG).

Revision 80630 - Directory Listing
Modified Fri Sep 4 16:17:00 2009 UTC (10 years, 3 months ago) by gserge

- added generation of bar graph with number of valid TC.
- added more tables.

Revision 80622 - Directory Listing
Modified Fri Sep 4 10:54:38 2009 UTC (10 years, 3 months ago) by gserge

- added generation of hard-to-test features.

Revision 80615 - Directory Listing
Modified Thu Sep 3 21:42:18 2009 UTC (10 years, 3 months ago) by gserge

- added generation of many new graphs (scatter, hist, ...)

Revision 80605 - Directory Listing
Modified Thu Sep 3 16:22:17 2009 UTC (10 years, 3 months ago) by gserge

- worked on features with preconditions.

Revision 80592 - Directory Listing
Modified Wed Sep 2 12:54:20 2009 UTC (10 years, 3 months ago) by jasonw

Updated some matlab files.

Revision 80555 - Directory Listing
Modified Tue Sep 1 12:39:46 2009 UTC (10 years, 3 months ago) by gserge

Imported AutoTest PS result analyzer

Revision 80437 - Directory Listing
Modified Wed Aug 26 18:38:26 2009 UTC (10 years, 3 months ago) by jasonw

Added files for autotest management.

Revision 80402 - Directory Listing
Modified Mon Aug 24 10:37:34 2009 UTC (10 years, 3 months ago) by jasonw

Fixed a bug that objects violating class invariants are not correctly marked.

Revision 80231 - Directory Listing
Modified Thu Aug 13 07:55:03 2009 UTC (10 years, 4 months ago) by jasonw

1. Fixed a bug in log loader to analyze the value of primitive types from the response of a type request.
2. Corrected some type during test case generation.

Revision 80223 - Directory Listing
Modified Wed Aug 12 19:44:33 2009 UTC (10 years, 4 months ago) by jasonw

1. Made predicate evaluation after every test case execution, and return result directly instead of sending a separate request to do the predicate evaluation. This way, the number of requests sent to the interpreter process can be reduced dramatically.
2. Fixed a bug during object loading in interpreter, causing Void values for some non-void objects.

Revision 80192 - Directory Listing
Modified Mon Aug 10 19:18:12 2009 UTC (10 years, 4 months ago) by jasonw

1. Avoided linear constraint solving on objects with the same state. Because the solved result should be the same because the objects are of the same state.
2. Fixed a bug which caused constraint solver to be short cut.

Revision 80190 - Directory Listing
Modified Mon Aug 10 17:25:46 2009 UTC (10 years, 4 months ago) by jasonw

1. Increased number of retried times for "start" request because when doing long duration testing, it is very common that the "start" request will fail.
2. Reduced the number of times that constraint solver is used, because frequently calling the solver will slow down testing a lot.
3. Increased the chance that border values (lower and upper) from lpsolver are to be used.

Revision 80163 - Directory Listing
Modified Fri Aug 7 12:45:00 2009 UTC (10 years, 4 months ago) by jasonw

Enabled extraction of object pool/predicat pool statistics from proxy log file.

Revision 80162 - Directory Listing
Modified Fri Aug 7 06:13:40 2009 UTC (10 years, 4 months ago) by jasonw

1. Enabled random cursor for searching in predicate pool, which makes it possible that the search won't always start from the beginning of the predicate pool. This retains more randomness. Added a command line option "use-random-cursor" to enable using of random cursor.
2. Refactoring the linear constraint solving code into AUT_PRECONDITION_CONSTRAINT_SOLVER and enable solving right after the candidate objects selection.

Revision 80145 - Directory Listing
Modified Thu Aug 6 16:38:15 2009 UTC (10 years, 4 months ago) by gserge

Added lpsolve-related output

Revision 80144 - Directory Listing
Modified Thu Aug 6 16:29:09 2009 UTC (10 years, 4 months ago) by gserge

Fixed a bug with AUT_ABSTRACT_INTEGER.size

Revision 80141 - Directory Listing
Modified Thu Aug 6 15:55:05 2009 UTC (10 years, 4 months ago) by gserge

- changed some string formats in lpsolve input file to maintain consistency.
- fixed behaviour for multiple operands: variables bound to concrete integers are now set in the lpsolve.

Revision 80140 - Directory Listing
Modified Thu Aug 6 14:38:13 2009 UTC (10 years, 4 months ago) by gserge

- fixed generation of random integer from predefined_values_in_bounds (with 0.25 probability)

Revision 80139 - Directory Listing
Modified Thu Aug 6 14:22:55 2009 UTC (10 years, 4 months ago) by gserge

- fixed lower>upper bug in AUT_ABSTRACT_INTEGER.predefined_values_in_bounds
- tighter postcondition for AUT_ABSTRACT_INTEGER.predefined_values_in_bounds
- added {INTEGER_16}.min/max_value to predefined_values

Revision 80129 - Directory Listing
Modified Wed Aug 5 18:43:46 2009 UTC (10 years, 4 months ago) by jasonw

Some refactoring on AUT_ABSTRACT_INTERGER.

Revision 80128 - Directory Listing
Modified Wed Aug 5 18:23:19 2009 UTC (10 years, 4 months ago) by jasonw

Disabled lpsolve when we detected that the precondition assertions contains expression that cannot be handled by lpsolver without a difficult analysis and rearrange of those expressions.
lpsolve is disabled in those cases because the generated input file will be syntactically wrong.

Revision 80126 - Directory Listing
Modified Wed Aug 5 17:28:52 2009 UTC (10 years, 4 months ago) by gserge

Fixed a few bugs in AUT_ABSTRACT_INTEGER

Revision 80122 - Directory Listing
Modified Wed Aug 5 16:12:44 2009 UTC (10 years, 4 months ago) by jasonw

Added missing classes.

Revision 80121 - Directory Listing
Modified Wed Aug 5 15:56:16 2009 UTC (10 years, 4 months ago) by jasonw

1. When it is observed that the the value of a predicate is wrong in the predicate pool, log a message containing the predicate name and time.
2. Log a messing when lpsolve cannot load the input file and a smt solver is needed.

Revision 80119 - Directory Listing
Modified Wed Aug 5 14:33:41 2009 UTC (10 years, 4 months ago) by gserge

- lpsolve integer boundaries: with 0.99 probability use command line boundaries, with 0.01 use {INTEGER_16}.min/max_value

Revision 80115 - Directory Listing
Modified Wed Aug 5 09:18:29 2009 UTC (10 years, 4 months ago) by gserge

Fixed parentheses around variables in paths

Revision 80098 - Directory Listing
Modified Tue Aug 4 18:19:45 2009 UTC (10 years, 4 months ago) by jasonw

Added an AutoTest command line option --integer-bounds to specify the lower and upper bounds for linearly solvable arguments in precondition assertions.

Revision 80097 - Directory Listing
Modified Tue Aug 4 17:50:55 2009 UTC (10 years, 4 months ago) by jasonw

Updated ecf file for autotest library.

Revision 80093 - Directory Listing
Modified Tue Aug 4 16:17:21 2009 UTC (10 years, 4 months ago) by jasonw

Included lpsolve source into AutoTest.

Revision 80092 - Directory Listing
Modified Tue Aug 4 14:52:37 2009 UTC (10 years, 4 months ago) by jasonw

1. Some refactoring in lpsolve related code.
2. Fixed a wrong precondition in AUT_SHARED_RANDOM.

Revision 80091 - Directory Listing
Modified Tue Aug 4 09:40:57 2009 UTC (10 years, 4 months ago) by gserge

- fixed a bug with operator 'and' (lpsolve constraint solver)
- added a comment with type/feature name in lpsolve.lp file (lpsolve constraint solver)

Revision 80084 - Directory Listing
Modified Mon Aug 3 22:03:22 2009 UTC (10 years, 4 months ago) by gserge

- AUT_ABSTRACT_INTEGER: randomly choose (with 0.25 probability) a predefined value within bounds
- AUT_LP_BASED_LINEAR_CONSTRAINT_SOLVER: cap upper bound to {INTEGER_16}.max_value with 0.99 probability

Revision 80079 - Directory Listing
Modified Mon Aug 3 18:46:47 2009 UTC (10 years, 4 months ago) by jasonw

Used time when a feature is tested for the last time as an indicate for enabling precondition satisfaction, this way, we can make sure precondition satisfaction is enabled sufficiently often for a feature.

Revision 80070 - Directory Listing
Modified Mon Aug 3 16:06:55 2009 UTC (10 years, 4 months ago) by jasonw

1. Some refactoring on precondition satisfaction algorithm.
2. Fixed a bug that caused result analyzer to output precondition satisfaction status wrongly.

Revision 80068 - Directory Listing
Modified Mon Aug 3 12:03:57 2009 UTC (10 years, 4 months ago) by jasonw

Fixed a crashing causing bug.

Revision 80065 - Directory Listing
Modified Sun Aug 2 19:14:57 2009 UTC (10 years, 4 months ago) by jasonw

1. Changed a command line option for AutoTest.
2. Added part of the functionality of eager feature selection.
3. Fixed a bug in binary predicate valuation cursor.
4. Some refactoring in SMT constraint solver generator.

Revision 80064 - Directory Listing
Modified Sun Aug 2 09:44:54 2009 UTC (10 years, 4 months ago) by jasonw

Some refactoring.

Revision 80045 - Directory Listing
Modified Fri Jul 31 21:27:09 2009 UTC (10 years, 4 months ago) by jasonw

Added an AutoTest command line option to choose a possibility for reuse of already used values for linear constraint variables.

Revision 80035 - Directory Listing
Modified Fri Jul 31 16:11:44 2009 UTC (10 years, 4 months ago) by jasonw

1. Enabled to use both SMT solver and lpsolve for linear constraints in preconditions.
2. Enabled SMT solver to generate solution containing predefined integers such as +=1, 0.
3. Provided the possibility to enforce SMT solve to generate a different solution every time.
4. Changed the output message level in lpsolve so only minimal output is generated.
5. Some refactoring in AUT_PREDICATE.
6. Reported precondition evaluation overhead in milliseconds in result analyzer.

Revision 80020 - Directory Listing
Modified Thu Jul 30 13:54:20 2009 UTC (10 years, 4 months ago) by gserge

Added support for lpsolve constraint solver

Revision 80018 - Directory Listing
Modified Thu Jul 30 13:23:02 2009 UTC (10 years, 4 months ago) by gserge

Added abstract integer

Revision 80010 - Directory Listing
Modified Wed Jul 29 18:56:45 2009 UTC (10 years, 4 months ago) by jasonw

1. Fixed a bug to avoid testing non-exported features.
2. Fixed a bug that for features not under test, precondition evaluation still enabled, consuming time for nothing.

Revision 79977 - Directory Listing
Modified Tue Jul 28 15:44:50 2009 UTC (10 years, 4 months ago) by gserge

Fixed postconditions

Revision 79975 - Directory Listing
Modified Tue Jul 28 15:04:37 2009 UTC (10 years, 4 months ago) by jasonw

Fixed a bug that caused crash during constraint solver input file generating because the wrong AST was used.

Revision 79971 - Directory Listing
Modified Tue Jul 28 13:29:37 2009 UTC (10 years, 4 months ago) by jasonw

1. Fixed a bug in the marking of objects that violate the class invariants.
2. Fixed a bug that caused inconsistency status in predicate evaluation pool if some objects are found violating the class invariants.
3. Fixed a bug in the linear constraint solver generator which generated arguments index wrongly.

Revision 79959 - Directory Listing
Modified Mon Jul 27 10:45:03 2009 UTC (10 years, 4 months ago) by jasonw

Provided a walkaround to avoid some call on Void target.
Note: It is just a walkaround, not a final fix, I just cannot reproduce the bug for the moment.

Revision 79956 - Directory Listing
Modified Sun Jul 26 13:15:11 2009 UTC (10 years, 4 months ago) by jasonw

Fixed an issue that caused the test generator to hand at the end of testing.

Revision 79955 - Directory Listing
Modified Sun Jul 26 09:37:47 2009 UTC (10 years, 4 months ago) by jasonw

1. Fixed a bug that when interpreter restarts, the typed object pool is not cleared correctly.
2. Fixed a bug that caused crash when the interpreter dies during linear constraint solving.

Revision 79954 - Directory Listing
Modified Sat Jul 25 13:22:59 2009 UTC (10 years, 4 months ago) by jasonw

Fixed a bug which causes precondition satisfaction stuck if a precondition cannot be satisfied.

Revision 79953 - Directory Listing
Modified Sat Jul 25 11:28:17 2009 UTC (10 years, 4 months ago) by jasonw

Fixed a bug during object selection which would missed some object and leave them unselected, which caused a crash.

Revision 79951 - Directory Listing
Modified Sat Jul 25 08:28:22 2009 UTC (10 years, 4 months ago) by jasonw

1. Fixed a bug during precondition evaluation which will try to evaluate predicates on variables which are not defined.
2. Added a rule for object selection for precondition evaluation, make sure that features that are not tested so far have high probability to be applied with precondition evaluation selection.

Revision 79941 - Directory Listing
Modified Fri Jul 24 14:13:39 2009 UTC (10 years, 4 months ago) by jasonw

Added an AutoTest command line option to specify that precondition satisfaction is only started with a certain probability.

Revision 79939 - Directory Listing
Modified Fri Jul 24 12:13:36 2009 UTC (10 years, 4 months ago) by jasonw

1. Fixed some bug during precondition satisfaction.
2. Speeded up random object selection by avoiding iterating though the object list.

Revision 79934 - Directory Listing
Modified Fri Jul 24 07:48:02 2009 UTC (10 years, 4 months ago) by jasonw

Fixed a bug during precondition satisfaction.

Revision 79922 - Directory Listing
Modified Thu Jul 23 14:44:00 2009 UTC (10 years, 4 months ago) by jasonw

Fixed some bugs in precondition evaluation.

Revision 79889 - Directory Listing
Modified Wed Jul 22 19:08:45 2009 UTC (10 years, 4 months ago) by jasonw

Fixed some bugs in precondition evaluation.

Revision 79576 - Directory Listing
Modified Sat Jul 4 07:38:11 2009 UTC (10 years, 5 months ago) by jasonw

1. Added framework classes for lpsolve.
2. Added random precondition satisfying candidate selection classes.

Revision 79501 - Directory Listing
Modified Sun Jun 28 20:39:06 2009 UTC (10 years, 5 months ago) by jasonw

1. Added an AutoTest command line option to enable/disable logging for object states, because object states can be expensive and cause the log file to be huge.
2. Fixed a bug in result analyzing, which caused the time for precondition satisfaction was calculated wrongly.
3. Added analysis of precondition satisfaction failure rate in result analysis.
4. Added an AutoTest command line option to enable/disable object pool/predicate pool statistics logging.
5. Added an AutoTest command line option to provide the max number candidates that are returned during a precondition satisfaction search.
6. Avoid inserting duplicate integers generated by linear constraint solver into the object pool.

Revision 79466 - Directory Listing
Modified Fri Jun 26 15:14:09 2009 UTC (10 years, 5 months ago) by jasonw

Removed some unnecessary code.

Revision 79465 - Directory Listing
Modified Fri Jun 26 15:13:08 2009 UTC (10 years, 5 months ago) by jasonw

Fixed various bugs related to precondition satisfaction.

Revision 79424 - Directory Listing
Modified Tue Jun 23 19:31:40 2009 UTC (10 years, 5 months ago) by jasonw

Fixed various places in precondition evaluation.

Revision 79385 - Directory Listing
Modified Mon Jun 22 11:14:58 2009 UTC (10 years, 5 months ago) by jasonw

Added facility to search/update in predicate pool.

Revision 79358 - Directory Listing
Modified Thu Jun 18 20:03:34 2009 UTC (10 years, 5 months ago) by gserge

* Added generic predicate valuations
* Began implementing candidate selection (unfinished)

Revision 79346 - Directory Listing
Modified Thu Jun 18 12:49:04 2009 UTC (10 years, 5 months ago) by jasonw

Enabled random feature caller to use predicate pool.

Revision 79345 - Directory Listing
Modified Thu Jun 18 10:40:38 2009 UTC (10 years, 5 months ago) by jasonw

<<Merged from trunk#79263>> (6)
Added the eweasel directory.

Revision 79344 - Directory Listing
Modified Thu Jun 18 10:36:01 2009 UTC (10 years, 5 months ago) by jasonw

<<Merged from trunk#79263>> (5)
Added the Documentation directory.

Revision 79343 - Directory Listing
Modified Thu Jun 18 10:31:05 2009 UTC (10 years, 5 months ago) by jasonw

<<Merged from trunk#79263>> (4)
Added the delivery directory.

Revision 79342 - Directory Listing
Modified Thu Jun 18 09:23:38 2009 UTC (10 years, 5 months ago) by jasonw

<<Merged from trunk#79263>> (3)
Added only the library directory.

Revision 79341 - Directory Listing
Modified Thu Jun 18 09:19:47 2009 UTC (10 years, 5 months ago) by jasonw

<<Merged from trunk#79263>> (2)
Added only the the experimental directory.

Revision 79340 - Directory Listing
Modified Thu Jun 18 08:13:10 2009 UTC (10 years, 5 months ago) by jasonw

<<Merged from trunk#79263>>
This commit doesn't include the experimental directory.

Revision 79309 - Directory Listing
Modified Tue Jun 16 11:43:45 2009 UTC (10 years, 6 months ago) by jasonw

Added support for predicate constraint.

Revision 79308 - Directory Listing
Modified Tue Jun 16 11:42:59 2009 UTC (10 years, 6 months ago) by jasonw

added support for generating tests for CITADEL and for the "number of faults law" experiment  (commit 6)

Revision 79306 - Directory Listing
Modified Tue Jun 16 09:57:42 2009 UTC (10 years, 6 months ago) by ilinca_ciupa

added support for generating tests for CITADEL and for the "number of faults law" experiment  (commit 5)

Revision 79305 - Directory Listing
Modified Tue Jun 16 09:57:10 2009 UTC (10 years, 6 months ago) by ilinca_ciupa

added support for generating tests for CITADEL and for the "number of faults law" experiment  (commit 4)

Revision 79304 - Directory Listing
Modified Tue Jun 16 09:48:43 2009 UTC (10 years, 6 months ago) by ilinca_ciupa

added support for generating tests for CITADEL and for the "number of faults law" experiment  (commit 3)

Revision 79303 - Directory Listing
Modified Tue Jun 16 09:39:21 2009 UTC (10 years, 6 months ago) by ilinca_ciupa

added support for generating tests for CITADEL and for the "number of faults law" experiment  (commit 2)

Revision 79302 - Directory Listing
Modified Tue Jun 16 09:37:34 2009 UTC (10 years, 6 months ago) by ilinca_ciupa

added support for generating tests for CITADEL and for the "number of faults law" experiment  (commit 1)

Revision 79301 - Directory Listing
Modified Tue Jun 16 08:36:44 2009 UTC (10 years, 6 months ago) by ilinca_ciupa

added support for generating tests for CITADEL and for the "number of faults law" experiment

Revision 79292 - Directory Listing
Modified Mon Jun 15 22:30:47 2009 UTC (10 years, 6 months ago) by gserge

Undid local modifications

Revision 79291 - Directory Listing
Modified Mon Jun 15 22:20:39 2009 UTC (10 years, 6 months ago) by gserge

Undid external revision freeze on library/base/elk

Revision 79290 - Directory Listing
Modified Mon Jun 15 22:18:25 2009 UTC (10 years, 6 months ago) by gserge

Added nullary and unary predicate valuations.

Revision 79284 - Directory Listing
Modified Mon Jun 15 19:50:57 2009 UTC (10 years, 6 months ago) by jasonw

Fixed a precondition violation.

Revision 79281 - Directory Listing
Modified Mon Jun 15 16:46:57 2009 UTC (10 years, 6 months ago) by jasonw

Added API classes for predicate pool.

Revision 79279 - Directory Listing
Modified Mon Jun 15 12:32:29 2009 UTC (10 years, 6 months ago) by jasonw

Refactoring.

Revision 79277 - Directory Listing
Modified Mon Jun 15 08:05:44 2009 UTC (10 years, 6 months ago) by jasonw

Added the ability to evaluate predicates during testing.

Revision 79274 - Directory Listing
Modified Sun Jun 14 10:33:32 2009 UTC (10 years, 6 months ago) by jasonw

Enabled predicate evaluation during AutoTesting.

Revision 79230 - Directory Listing
Modified Fri Jun 12 08:01:59 2009 UTC (10 years, 6 months ago) by jasonw

Renamed a feature.

Revision 79220 - Directory Listing
Modified Thu Jun 11 19:47:20 2009 UTC (10 years, 6 months ago) by jasonw

1. Refactored contract extractor to reuse existing code.
2. Fixed various contract violation.

Revision 79209 - Directory Listing
Modified Thu Jun 11 08:18:03 2009 UTC (10 years, 6 months ago) by jasonw

Updated some comments.

Revision 79208 - Directory Listing
Modified Thu Jun 11 08:09:49 2009 UTC (10 years, 6 months ago) by jasonw

Refactored some predicate related classes.

Revision 79091 - Directory Listing
Modified Thu Jun 4 19:13:26 2009 UTC (10 years, 6 months ago) by jasonw

Fixed a bug that caused repeated logging of object states.

Revision 79083 - Directory Listing
Modified Thu Jun 4 14:49:51 2009 UTC (10 years, 6 months ago) by jasonw

Fixed a bug that caused test case index not to be retrieved during log parsing.

Revision 79032 - Directory Listing
Modified Tue Jun 2 19:46:36 2009 UTC (10 years, 6 months ago) by jasonw

Enhanced AutoTest result analysis.

Revision 79025 - Directory Listing
Modified Tue Jun 2 16:01:33 2009 UTC (10 years, 6 months ago) by jasonw

Removed unnecessary comments.

Revision 79015 - Directory Listing
Modified Tue Jun 2 12:42:29 2009 UTC (10 years, 6 months ago) by jasonw

Added command line option "max-precondition-time" for AutoTest to constrain the maximal time that can be spent in object searching for one feature.

Revision 79013 - Directory Listing
Modified Tue Jun 2 12:24:54 2009 UTC (10 years, 6 months ago) by jasonw

1. Fixed an issue that caused wrong object selection for precondition satisfaction after the interpreter restarted.
2. Fixed an issue that caused crash when analyzing preconditions of some classes.

Revision 78953 - Directory Listing
Modified Fri May 29 15:20:05 2009 UTC (10 years, 6 months ago) by jasonw

Added last time stamp into the output of result analysis.

Revision 78952 - Directory Listing
Modified Fri May 29 14:59:09 2009 UTC (10 years, 6 months ago) by jasonw

Corrected the command to start cvc3 on Linux.

Revision 78950 - Directory Listing
Modified Fri May 29 14:02:42 2009 UTC (10 years, 6 months ago) by jasonw

1. Fixed a bug that caused crashed when feature argument has anchored type.
2. Added classes to analyze precondition satisfaction results.

Revision 78940 - Directory Listing
Modified Fri May 29 10:08:30 2009 UTC (10 years, 6 months ago) by gserge

Strategy for Object State Exploration

Revision 78908 - Directory Listing
Modified Thu May 28 08:15:18 2009 UTC (10 years, 6 months ago) by jasonw

Added a missing class.

Revision 78907 - Directory Listing
Modified Thu May 28 08:05:37 2009 UTC (10 years, 6 months ago) by jasonw

Enabled linear constraint solving on Linux using CVC3 SAT solver.

Revision 78902 - Directory Listing
Modified Wed May 27 19:30:31 2009 UTC (10 years, 6 months ago) by jasonw

1. Fixed a bug which caused repeated object states checking of the same object during linear constraint solving.
2. Refactored linear constraing solver model reader to support Linux.

Revision 78894 - Directory Listing
Modified Wed May 27 12:55:05 2009 UTC (10 years, 6 months ago) by jasonw

Added some statistics output for precondition evaluation.

Revision 78893 - Directory Listing
Modified Wed May 27 12:54:33 2009 UTC (10 years, 6 months ago) by jasonw

Added the ability to calculate original faults.

Revision 78892 - Directory Listing
Modified Wed May 27 12:53:48 2009 UTC (10 years, 6 months ago) by jasonw

Added options to specify log file and log processor.

Revision 78841 - Directory Listing
Modified Fri May 22 22:02:10 2009 UTC (10 years, 6 months ago) by jasonw

Enabled continuing testing after a class invariant violation. Originally, after a class invariant violation, the interpreter process will be terminated. Now the interpreter process will continue to run, and it is made sure that object violating its class invariant will neither be put into the object pool non be selected (as target/argument) in future testing.

Revision 78829 - Directory Listing
Modified Thu May 21 19:54:29 2009 UTC (10 years, 6 months ago) by jasonw

Fixed a bug that caused types of feature arguments are not correctly retrieved.

Revision 78828 - Directory Listing
Modified Thu May 21 19:51:23 2009 UTC (10 years, 6 months ago) by jasonw

1. Generate test case start time and end time separately.
2. Added types under test to AutoTest configuration.

Revision 78792 - Directory Listing
Modified Wed May 20 09:49:18 2009 UTC (10 years, 6 months ago) by jasonw

1. Added the ability to do linearly constraint solving for integer arguments in precondition evaluation.
2. Added an command line option "--state_explore" for object state exploration.

Revision 78772 - Directory Listing
Modified Tue May 19 11:27:18 2009 UTC (10 years, 6 months ago) by jasonw

Fixed a bug that caused crash when classes are not test with precondition evaluation enabled.

Revision 78751 - Directory Listing
Modified Mon May 18 20:53:15 2009 UTC (10 years, 6 months ago) by jasonw

Added a missing class.

Revision 78746 - Directory Listing
Modified Mon May 18 16:41:18 2009 UTC (10 years, 6 months ago) by jasonw

In precondition satisfaction, Avoid searching for objects that are not mentioned in precondition.

Revision 78741 - Directory Listing
Modified Mon May 18 12:23:49 2009 UTC (10 years, 6 months ago) by jasonw

Fixed a bug that precondition with static access and object test were not translated correctly in precondition evaluator.

Revision 78735 - Directory Listing
Modified Sun May 17 20:29:33 2009 UTC (10 years, 6 months ago) by jasonw

Revert to an earlier revision.

Revision 78734 - Directory Listing
Modified Sun May 17 14:38:42 2009 UTC (10 years, 6 months ago) by jasonw

Removed empty folders.

Revision 78733 - Directory Listing
Modified Sun May 17 14:37:44 2009 UTC (10 years, 6 months ago) by jasonw

Relocated classes according to trunk.

Revision 78732 - Directory Listing
Modified Sun May 17 11:46:03 2009 UTC (10 years, 6 months ago) by jasonw

Fixed a bug that causes execution time of bad test cases was incorrectly calculated.

Revision 78731 - Directory Listing
Modified Sun May 17 11:45:08 2009 UTC (10 years, 6 months ago) by jasonw

Some refactoring.

Revision 78648 - Directory Listing
Modified Tue May 12 20:15:28 2009 UTC (10 years, 7 months ago) by jasonw

Added classes for AutoTest result analysis.

Revision 78647 - Directory Listing
Modified Tue May 12 20:14:44 2009 UTC (10 years, 7 months ago) by jasonw

Fixed a bug in object selection that caused object of the wrong type to be selected.

Revision 78646 - Directory Listing
Modified Tue May 12 20:13:08 2009 UTC (10 years, 7 months ago) by jasonw

Added time and duration information in AutoTest requests.

Revision 78601 - Directory Listing
Modified Sun May 10 21:31:00 2009 UTC (10 years, 7 months ago) by jasonw

Added the ability to evaluate precondition before a feature call.

Revision 78313 - Directory Listing
Modified Mon Apr 20 20:34:16 2009 UTC (10 years, 7 months ago) by jasonw

Fixed a bug that caused wrong number of queries are recorded.

Revision 78312 - Directory Listing
Modified Mon Apr 20 19:36:18 2009 UTC (10 years, 7 months ago) by jasonw

1. Enabled object state retrieval for query results and arguments.
2. Enabled object state retrieval for supplier classes of the class under test.

Revision 78272 - Directory Listing
Modified Thu Apr 16 19:21:48 2009 UTC (10 years, 8 months ago) by jasonw

Fixed an issue that too many creation procedures are called during AutoTest.

Revision 78250 - Directory Listing
Modified Wed Apr 15 12:10:02 2009 UTC (10 years, 8 months ago) by jasonw

Fixed a bug which caused only creators are tested by AutoTest after a while.

Revision 78249 - Directory Listing
Modified Wed Apr 15 11:47:32 2009 UTC (10 years, 8 months ago) by jasonw

Fixed a bug that caused generated ITP_INTERPRETER_ROOT to be syntax invalid.

Revision 78174 - Directory Listing
Modified Fri Apr 10 11:43:59 2009 UTC (10 years, 8 months ago) by jasonw

1. Fixed a bug that caused state retrieval request to be process one more time, which makes the interpreter to crash quite often.
2. Print test case index before a state retrieval request.

Revision 78173 - Directory Listing
Modified Fri Apr 10 11:41:47 2009 UTC (10 years, 8 months ago) by jasonw

Fixed a wrong precondition.

Revision 78172 - Directory Listing
Modified Fri Apr 10 11:40:35 2009 UTC (10 years, 8 months ago) by jasonw

Enabled generating object state retrieval automatically for classes under test.

Revision 78131 - Directory Listing
Modified Wed Apr 8 14:47:05 2009 UTC (10 years, 8 months ago) by jasonw

1. Corrected min port for AutoTest.
2. Commented out byte-code generation for object states retrieval.

Revision 78119 - Directory Listing
Modified Tue Apr 7 21:09:29 2009 UTC (10 years, 8 months ago) by jasonw

Added a missing class.

Revision 78115 - Directory Listing
Modified Tue Apr 7 20:43:45 2009 UTC (10 years, 8 months ago) by jasonw

Added some more classes whose states are to be monitored.

Revision 78114 - Directory Listing
Modified Tue Apr 7 20:43:11 2009 UTC (10 years, 8 months ago) by jasonw

Added a command line option --state to enable object state monitoring for AutoTest.

Revision 78103 - Directory Listing
Modified Mon Apr 6 22:06:24 2009 UTC (10 years, 8 months ago) by jasonw

1. Added support for retrieving states for ARRAYED_LIST.
2. Only take exported queries into consideration.

Revision 78089 - Directory Listing
Modified Sun Apr 5 22:17:52 2009 UTC (10 years, 8 months ago) by jasonw

<<Merged from trunk#77957>>

Revision 78086 - Directory Listing
Modified Sun Apr 5 20:10:41 2009 UTC (10 years, 8 months ago) by jasonw

Move a class into correct place.

Revision 78085 - Directory Listing
Modified Sun Apr 5 19:40:16 2009 UTC (10 years, 8 months ago) by jasonw

Added classes to enumerate abstract states of an object.

Revision 78047 - Directory Listing
Modified Thu Apr 2 10:13:07 2009 UTC (10 years, 8 months ago) by gserge

- new class AUT_OBJECT_STATE to model the state of an object (based on boolean queries for now).
- basic implementation of load_log (when running with -loop).

Revision 77947 - Directory Listing
Modified Fri Mar 27 20:32:53 2009 UTC (10 years, 8 months ago) by jasonw

Added classes to generate SMTLIB proof obligations from contracts.

Revision 77891 - Directory Listing
Modified Wed Mar 25 17:25:36 2009 UTC (10 years, 8 months ago) by jasonw

Added options to turn object state retrieval off.

Revision 77890 - Directory Listing
Modified Wed Mar 25 17:24:40 2009 UTC (10 years, 8 months ago) by jasonw

Removed some unnecessary code.

Revision 77889 - Directory Listing
Modified Wed Mar 25 17:24:06 2009 UTC (10 years, 8 months ago) by jasonw

Fixed a bug that in GUI mode, random testing is not performed.

Revision 77834 - Directory Listing
Modified Fri Mar 20 19:52:03 2009 UTC (10 years, 8 months ago) by jasonw

Enabled argument state recording.

Revision 77833 - Directory Listing
Modified Fri Mar 20 19:51:30 2009 UTC (10 years, 8 months ago) by jasonw

Added log loading option in AutoTest command line, to ease the analysis of proxy_log.txt.

Revision 77797 - Directory Listing
Modified Thu Mar 19 16:35:30 2009 UTC (10 years, 8 months ago) by jasonw

Added object state recording facility.

Revision 77796 - Directory Listing
Modified Thu Mar 19 13:33:30 2009 UTC (10 years, 8 months ago) by jasonw

<<Branched from trunk at rev#77762>>

Revision 76811 - Directory Listing
Modified Fri Jan 23 10:38:24 2009 UTC (10 years, 10 months ago) by jasonw

Updated Matlab files.

Revision 76785 - Directory Listing
Modified Wed Jan 21 09:39:39 2009 UTC (10 years, 10 months ago) by jasonw

1. Provided a walkaround to filter out class invariant violation on feature entry from AutoTest logs.
2. Added a tool to calculate all distinct faults from different test runs for the same class.

Revision 76752 - Directory Listing
Modified Mon Jan 19 13:18:30 2009 UTC (10 years, 10 months ago) by jasonw

Updated Matlab files.

Revision 76642 - Directory Listing
Modified Sat Jan 10 21:31:24 2009 UTC (10 years, 11 months ago) by jasonw

Updated Matlab files for branch coverage result calculation.

Revision 76638 - Directory Listing
Modified Sat Jan 10 11:17:18 2009 UTC (10 years, 11 months ago) by jasonw

Updated Matlab files for branch coverage result calculation.

Revision 76625 - Directory Listing
Modified Fri Jan 9 14:49:14 2009 UTC (10 years, 11 months ago) by jasonw

Updated some M-files.

Revision 76611 - Directory Listing
Modified Thu Jan 8 13:27:23 2009 UTC (10 years, 11 months ago) by jasonw

Added matlab files for branch coverage related calculation.

Revision 76354 - Directory Listing
Modified Tue Dec 23 21:35:44 2008 UTC (10 years, 11 months ago) by jasonw

Added the ability for using ITP_INTERPETER as root instead of ITP_INTERPRETER_ROOT.

Revision 76353 - Directory Listing
Modified Tue Dec 23 21:34:56 2008 UTC (10 years, 11 months ago) by jasonw

Removed a check because when working with optimized test result loading, this check doesn't make sense anymore. Because start requests are not put into the history.

Revision 76351 - Directory Listing
Modified Tue Dec 23 21:33:23 2008 UTC (10 years, 11 months ago) by jasonw

Fixed a bug that causes the interpreter frame was not calculated correctly from an exception trace.

Revision 76350 - Directory Listing
Modified Tue Dec 23 21:32:37 2008 UTC (10 years, 11 months ago) by jasonw

Added code to calculate original fault (from recipient in exception trace).

Revision 76349 - Directory Listing
Modified Tue Dec 23 21:31:16 2008 UTC (10 years, 11 months ago) by jasonw

Fixed a bug that the test case index of a covered branch is not reported correctly.

Revision 76348 - Directory Listing
Modified Tue Dec 23 21:29:57 2008 UTC (10 years, 11 months ago) by jasonw

Fixed an bug that ancestor version of a redefined feature is also instrumented for branch coverage calculation. In fact those ancestor versions should not be included because they are not part of the final version of a class anymore (They don't appear in the flat view of that class).

Revision 76338 - Directory Listing
Modified Tue Dec 23 15:51:29 2008 UTC (10 years, 11 months ago) by jasonw

1. Added a tool to start AutoTest.
2. Added a directory to store matlab M files.

Revision 76321 - Directory Listing
Modified Mon Dec 22 14:59:07 2008 UTC (10 years, 11 months ago) by jasonw

Added port retry: if failed to establish socket connection with a particular port, try with another port. This deals with a strange connection failure on Linux.

Revision 76320 - Directory Listing
Modified Mon Dec 22 14:57:49 2008 UTC (10 years, 11 months ago) by jasonw

Fixed a bug that local slot index was not correctly calculated causing visited code was highlighted properly.

Revision 76319 - Directory Listing
Modified Mon Dec 22 14:54:57 2008 UTC (10 years, 11 months ago) by jasonw

Fixed an issue because the interpreter root class changed from ITP_INTERPRETER to ITP_INTERPRETER_ROOT.

Revision 76318 - Directory Listing
Modified Mon Dec 22 14:54:05 2008 UTC (10 years, 11 months ago) by jasonw

Removed instrumentation in prefix/infix features because AutoTest cannot test them directly for the moment.

Revision 76275 - Directory Listing
Modified Thu Dec 18 15:03:56 2008 UTC (10 years, 11 months ago) by jasonw

Fixed a bug caused log file could not be read after AutoTest session.

Revision 76270 - Directory Listing
Modified Thu Dec 18 10:16:40 2008 UTC (10 years, 11 months ago) by jasonw

Fixed the bug that branch coverage log file cannot be generated.

Revision 76205 - Directory Listing
Modified Wed Dec 17 12:37:44 2008 UTC (10 years, 11 months ago) by jasonw

Enabled branch coverage information display in flat view. When coverage log is provided, in flat view, covered lines will be displayed in a different background color. Maybe, this should be done in a separate view to leave flat view as clean as before. Also, it is better to display uncovered lines in a special background color, because uncovered lines are more interesting.

Revision 76204 - Directory Listing
Modified Wed Dec 17 12:34:55 2008 UTC (10 years, 11 months ago) by jasonw

1. Disable statistics information generation when minimization is not enabled.
2. Fixed a bug that when type string contains "%R", "%N", the type is not correctly parsed.

Revision 76147 - Directory Listing
Modified Fri Dec 12 14:23:20 2008 UTC (11 years ago) by jasonw

Fixed a bug that instrument config files are not loaded correctly on Linux.

Revision 76130 - Directory Listing
Modified Wed Dec 10 21:54:51 2008 UTC (11 years ago) by jasonw

1. Fixed a bug that caused C compilation fail when compiled in finalized mode.
2. Fixed a bug that command line option for autotest was missing.

Revision 76128 - Directory Listing
Modified Wed Dec 10 15:51:25 2008 UTC (11 years ago) by jasonw

Added changes for branch coverage recording.

Revision 76108 - Directory Listing
Modified Mon Dec 8 21:51:30 2008 UTC (11 years ago) by jasonw

<<Merged from trunk at rev#76070>> This brings 6.3 official release into SATS project.

Revision 76099 - Directory Listing
Modified Mon Dec 8 16:48:31 2008 UTC (11 years ago) by jasonw

<<Branched from branches/eth/sats/Eiffel62 at rev#74350.>> This brings the SATS instrumenation infrastructure.

Revision 74350 - Directory Listing
Modified Tue Aug 5 14:43:50 2008 UTC (11 years, 4 months ago) by jasonw

Make sure that instrument result file is generated in current directory instead of melted directory.

Revision 74326 - Directory Listing
Modified Fri Aug 1 08:36:40 2008 UTC (11 years, 4 months ago) by jasonw

Disabled catcall detection printing in workbench mode.

Revision 74325 - Directory Listing
Modified Fri Aug 1 08:20:46 2008 UTC (11 years, 4 months ago) by jasonw

1. Changed comments from C++ convention // to C convention /**/
2. Removed some commented out code.

Revision 74302 - Directory Listing
Modified Thu Jul 31 18:24:23 2008 UTC (11 years, 4 months ago) by jasonw

Disabled catcall detection.

Revision 74260 - Directory Listing
Modified Tue Jul 29 18:26:38 2008 UTC (11 years, 4 months ago) by jasonw

Fixed a bug that coverage related functions were given wrong number of arguments.

Revision 74256 - Directory Listing
Modified Tue Jul 29 15:31:37 2008 UTC (11 years, 4 months ago) by jasonw

1. Refactoring SAT_SHARED_INSTRUMENTATION, move as much as code into other places, and minimize the change to SYSTEM_I.
2. Changed to use a new config file format, and all instrumentation related files conform to that format.
3. Changed the slot index for decision coverage and feature access coverage from 1-based to 0-based.

Revision 74061 - Directory Listing
Modified Fri Jul 11 09:15:35 2008 UTC (11 years, 5 months ago) by jasonw

Changed hook indexes used in decision coverage and feature access coverage from 1-based to 0-based to make them coordinate with underlying C code.

Revision 74060 - Directory Listing
Modified Fri Jul 11 09:12:46 2008 UTC (11 years, 5 months ago) by jasonw

Fixed a bug which caused memory crash when accessing feature visit count array in feature access coverage related data structure.

Revision 74021 - Directory Listing
Modified Sat Jul 5 19:34:23 2008 UTC (11 years, 5 months ago) by jasonw

Added a library to analyze sats results.

Revision 74020 - Directory Listing
Modified Sat Jul 5 13:40:53 2008 UTC (11 years, 5 months ago) by jasonw

Enabled feature access coverage record to log first visit time, last visit time and number of visit times.

Revision 74001 - Directory Listing
Modified Wed Jul 2 13:58:05 2008 UTC (11 years, 5 months ago) by jasonw

Added a instrument hook at entry point of every rescue clause.

Revision 73990 - Directory Listing
Modified Tue Jul 1 20:25:54 2008 UTC (11 years, 5 months ago) by jasonw

Fixed a bug that causes extra C code for instrument is not generated in eplug.c.

Revision 73989 - Directory Listing
Modified Tue Jul 1 20:24:58 2008 UTC (11 years, 5 months ago) by jasonw

Decoupled the code related to feature access coverage and decision coverage, but this causes code duplication. The reason for this is that the data structure needed for recording each kind of coverage criteria may change independently, and the fact that feature access coverage and decision coverage use the same data structure is just a coincident.

Revision 73962 - Directory Listing
Modified Sun Jun 29 17:41:11 2008 UTC (11 years, 5 months ago) by jasonw

Fixed a bug related to command line argument -instrument_config.

Revision 73961 - Directory Listing
Modified Sun Jun 29 16:00:53 2008 UTC (11 years, 5 months ago) by jasonw

Fixed a bug that a struc declaration appear after its reference.

Revision 73960 - Directory Listing
Modified Sun Jun 29 11:38:56 2008 UTC (11 years, 5 months ago) by jasonw

Added feature access coverage support.

Revision 73957 - Directory Listing
Modified Fri Jun 27 23:28:03 2008 UTC (11 years, 5 months ago) by jasonw

Modified the code coverage related command options for ec, following the underscore convention between two words in an option. For example, "decision_coverage" instead of "decision-coverage'.

Revision 73956 - Directory Listing
Modified Fri Jun 27 23:26:49 2008 UTC (11 years, 5 months ago) by jasonw

Fixed a bug that caused new instrumentor registration always fail.

Revision 73950 - Directory Listing
Modified Fri Jun 27 21:37:18 2008 UTC (11 years, 5 months ago) by jasonw

1. Make instrument work on finalized mode.
2. Generate log file in project path (W_code or F_code) instead of in current directory.
3. Generate the log file name from ec side instead of hard-coded directly in run-time.

Revision 73930 - Directory Listing
Modified Tue Jun 24 20:07:46 2008 UTC (11 years, 5 months ago) by jasonw

Added a function to get system time. Just a quick implementation. To be removed in the future.

Revision 73923 - Directory Listing
Modified Mon Jun 23 10:01:08 2008 UTC (11 years, 5 months ago) by jasonw

Added support for decision coverage.

Revision 73866 - Directory Listing
Modified Wed Jun 18 18:57:09 2008 UTC (11 years, 5 months ago) by jasonw

<<Branched trunk at rev#73753.>>

Revision 73865 - Directory Listing
Added Wed Jun 18 18:47:20 2008 UTC (11 years, 5 months ago) by jasonw

Created directory for Scientific Accessment of Testing Strategies (SATS) project.

	ViewVC Help
Powered by ViewVC 1.1.23