12,171 research outputs found
Cause Clue Clauses: Error Localization using Maximum Satisfiability
Much effort is spent everyday by programmers in trying to reduce long,
failing execution traces to the cause of the error. We present a new algorithm
for error cause localization based on a reduction to the maximal satisfiability
problem (MAX-SAT), which asks what is the maximum number of clauses of a
Boolean formula that can be simultaneously satisfied by an assignment. At an
intuitive level, our algorithm takes as input a program and a failing test, and
comprises the following three steps. First, using symbolic execution, we encode
a trace of a program as a Boolean trace formula which is satisfiable iff the
trace is feasible. Second, for a failing program execution (e.g., one that
violates an assertion or a post-condition), we construct an unsatisfiable
formula by taking the trace formula and additionally asserting that the input
is the failing test and that the assertion condition does hold at the end.
Third, using MAX-SAT, we find a maximal set of clauses in this formula that can
be satisfied together, and output the complement set as a potential cause of
the error. We have implemented our algorithm in a tool called bug-assist for C
programs. We demonstrate the surprising effectiveness of the tool on a set of
benchmark examples with injected faults, and show that in most cases,
bug-assist can quickly and precisely isolate the exact few lines of code whose
change eliminates the error. We also demonstrate how our algorithm can be
modified to automatically suggest fixes for common classes of errors such as
off-by-one.Comment: The pre-alpha version of the tool can be downloaded from
http://bugassist.mpi-sws.or
Program latihan industri di Kolej Universiti Teknologi Tun Hussein Onn : kajian terhadap perlaksanaan sistem penilaian
Kajian yang dijalankan adalah bertajuk "Program Lalilian lndustri Di Kolej Universiti Teknologi Tun Hussein Onn : Kajian Terhadap Perlaksanaan Sistem Penilaian". Sampel terdin daripada 6 orang pakar serta 63 orang pelajar yang terlibat dalam latihan industri. Maklumat yang diperolehi berdasarkan kaedah kualitatif dan kuantitatif Data dianalisis untuk meninjau kaedah penilaian yang dijalankan dan seterusnya memastikan apakali sistem penilaian yang perlu diperbaiki. Secara keseluruhannya, kebanyakan responden berpendapat bahawa sistem penilaian yang sedia ada adalah perlu diperbaki dan disistematikkan selaras dengan ISO 9000 : 2001. Berdasarkan daripada keputusan yang diperolehi dan bimbingnan pakar dari Unit Latihan lndustri KUiTTHO, maka satu "Buku Panduan Penilaian Latihan lndustri" dihasilkan dengan panduan yang ringkas dan lampiran borang-borang yang telah diperbaiki dan diubahsuai. Diharapkan produk mi dapat digunakan untuk masa-masa akan datang
- …