server.js

//nodejs

/////////////////////引入模块//////////////////////////
const express = require('express'); //web框架
const fs = require('fs'); //nodejs内置，文件操作
const cp = require('child_process'); //多线程

const bodyParser = require('body-parser'); //json解析
const glob = require('glob'); //文件查找
const co = require('co'); //异步编程库
/////////////////////引入模块//////////////////////////


///////////////////////配置express应用//////////////////////////////

let app = express(); //创建一个express应用

app.set('views', './views');//设置视图文件所在位置
app.set('view engine', 'pug');//设置视图引擎

//中间件
app.use(express.static('res'));
// 添加json解析
app.use(bodyParser.json());
app.use(bodyParser.urlencoded({ extended: false }));


///////////////////////配置express应用//////////////////////////////

///////////////////////路由处理**//////////////////////////////
app.get('/', (req, res) => {
  res.render('index', {});
});

app.post('/generateTest', (req, res) => {
  console.log(req.body.code);
  let code = '#include "klee_src/include/klee/klee.h" \t\n' + req.body.code;
  fs.writeFile('../test.c', code, (err) => { //把代码写入到c语言文件
    if (err) throw err;
    console.log('LOG: Writing to test.c..');

    //执行clang -emit-llvm -g -c test.c -o test.bc
    try {
      cp.execSync('clang -emit-llvm -g -c ../test.c -o ../test.bc', { encoding: 'utf-8' });
    } catch (err) {
      console.log(err);
      res.render('error', {
        err: err,
      });
    }

    co(function* () {
      const p1 = new Promise((resolve, reject) => {
        //执行命令，获取输出字符；获取生成的测试用例数量，计算覆盖率
        getTestInfo(resolve); //定义见下面
      });
      const p2 = new Promise((resolve, reject) => {
        //遍历测试用例，取出测试用例
        getTestcase(resolve); //定义见下面
      });
      let testInfo, testcase;
      [testInfo, testcase] = yield [p1, p2];
      console.log('LOG: resolve testInfo:', testInfo);
      console.log('LOG: resolve testcase:', testcase);
      // let rate = (parseInt(testInfo.completePath) / parseInt(testInfo.explorePath)) * 100;
      let rate = (parseInt(testInfo.completePath) / 3 * 100;

      //输出到页面模板
      res.render('testcase', {
        testInfo: testInfo,
        testcase: testcase,
      });
    })

  });
});
///////////////////////路由处理//////////////////////////////

//////////////////////监听3000端口//////////////////////////////
app.listen(3000, () => {
  console.log('Listening on 3000..');
});
//////////////////////监听3000端口//////////////////////////////

////////////////////其他函数///////////////////////
function getTestInfo(resolve) {
  let ret = {};
  //获取信息字符串
  cp.execSync('klee ../test.bc', { encoding: 'utf-8' });
  console.log('LOG: Executing klee ../test.bc\n');
  //读取info里面的内容
  let str = cp.execSync('cat ../klee-last/info', { encoding: 'utf-8' });
  console.log('LOG: Executing cat ../klee-last/info\n', str);
  //let str = fs.readFileSync('./doc/kleebc.txt', 'utf-8');
  let r1 = /explored paths = (\d+)/, r2 = /completed paths = (\d+)/, r3 = /tests = (\d+)/;
  ret.explorePath = str.match(r1)[1];
  console.log('LOG: Match explore path:', ret.explorePath);
  ret.completePath = str.match(r2)[1];
  console.log('LOG: Match complete path:', ret.completePath);
  ret.testcase = str.match(r3)[1];
  console.log('LOG: Match testcase:', ret.testcase);
  resolve(ret);
}

function getTestcase(resolve) {
  let testcase = [];
  //获取字符data: 0
  glob('../klee-last/test*.ktest', (err, files) => {
    let str;
    let r1 = /data: (-?\d+)/;
    for (let file of files) {
      let cmd = 'ktest-tool --write-ints ' + file;
      str = cp.execSync(cmd, { encoding: 'utf-8' });
      console.log('LOG: Reading ktest file..\n', str);
      //str = fs.readFileSync(file, 'utf-8');
      testcase.push(str.match(r1)[1]);
      console.log('LOG: Match testcase:', str.match(r1));
    }
    console.log('LOG: All testcase:', testcase);
    resolve(testcase);
  });
}